FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Friedrich-Alexander-Universität Erlangen-Nürnberg
Technische Fakultät
Department Informatik
Overview
Publications
(266)
Research Grants
(23)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
Preface (2013)
Mossakowski T, Roggenbach M, Schröder L
Journal article, Editorial
Proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012) (2012)
Pattinson D, Schröder L
Edited Volume
Wellpointed coalgebras (2012)
Adámek J, Milius S, Moss L, Sousa L
Conference contribution
Well-Pointed Coalgebras (Extended Abstract) (2012)
Adámek J, Milius S, Moss L, Sousa L
Conference contribution
On the specification of operations on the rational behaviour of systems (2012)
Bonsangue M, Milius S, Rot J
Conference contribution
On the Formal Verification of Systems of Synchronous Software Components (2012)
Günther H, Milius S, Möller O
Conference contribution
On Finitary Functors and Their Presentations (2012)
Adámek J, Milius S, Moss L
Conference contribution, Conference Contribution
Narcissists Are Easy, Stepmothers Are Hard (2012)
Gorin D, Schröder L
Conference contribution, Original article
Extending ALCQ With Bounded Self-Reference (2012)
Gorin D, Schröder L
Conference contribution, Original article
Coproducts of Monads on Set (2012)
Adámek J, Bowler N, Levy P, Milius S
Conference contribution
‹
1
...
19
20
21
22
›