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)
Trace Semantics via Generic Observations (2013)
Goncharov S
Conference contribution, Conference Contribution
Well-pointed Coalgebras (2013)
Adámek J, Milius S, Moss L, Sousa L
Journal article
Integrating generic sensor fusion algorithms with sound state representations through encapsulation of manifolds (2013)
Hertzberg C, Wagner R, Frese U, Schröder L
Journal article, Original article
Exploring the Boundaries of Monad Tensorability on Set (2013)
Bowler N, Goncharov S, Levy P, Schröder L
Journal article, Original article
A coinductive calculus for asynchronous side-effecting processes (2013)
Goncharov S, Schröder L
Journal article, Original article
Abstract GSOS rules and a Modular Treatment of Recursive Definitions (2013)
Milius S, Moss L, Schwencke D
Journal article
Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013 (Proceedings) (2013)
Heckel R, Milius S
Edited Volume
How Iterative Reflections of Monads are Constructed (2013)
Adámek J, Milius S, Velebil J
Journal article
Coalgebraic Predicate Logic: Equipollence Results and Proof Theory (2013)
Litak T, Pattinson D, Sano K
Conference contribution
A characterisation of NL/poly via nondeterministic finite automata (2013)
Myers R, Urbat H
Conference contribution
‹
1
...
18
19
20
21
22
›