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)
Sound and Complete Equational Reasoning over Comodels (2015)
Schröder L, Pattinson D
Conference contribution, Original article
Simplified Coalgebraic Trace Equivalence (2015)
Kurz A, Milius S, Pattinson D, Schröder L
Book chapter / Article in edited volumes
On Finitary Functors and Their Presentation (2015)
Adámek J, Milius S, Moss L, Urbat H, Urbat H
Journal article
Syntactic Monoids in a Category (2015)
Adámek J, Milius S, Urbat H, Urbat H
Conference contribution, Conference Contribution
Coalgebraic Constructions of Canonical Nondeterministic Automata (2015)
Myers R, Adámek J, Milius S, Urbat H, Urbat H
Journal article
Generic Trace Semantics and Graded Monads (2015)
Milius S, Pattinson D, Schröder L
Conference contribution, Original article
Reasoning with Global Assumptions in Arithmetic Modal Logics (2015)
Kupke C, Pattinson D, Schröder L
Conference contribution
On Final Coalgebras of Power-Set Functors and Saturated Trees (2015)
Adámek J, Levy P, Milius S, Moss L, Sousa L
Journal article
First Results of a Formal Analysis of the Network Time Security Specification (2015)
Teichel K, Sibold D, Milius S
Conference contribution
Special Issue with Selected Papers of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 (2015)
Heckel R, Milius S
Edited Volume
‹
1
...
14
15
16
17
18
...
22
›