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)
Coalgebraic Weak Bisimulation from Recursive Equations over Monads (2014)
Goncharov S, Pattinson D
Conference contribution, Conference Contribution
Canonical Nondeterministic Automata (2014)
Myers R, Adámek J, Milius S, Urbat H, Urbat H
Conference contribution
An Open Alternative for SMT-based Verification of SCADE Models (2014)
Basold H, Günther H, Huhn M, Milius S
Conference contribution
On Continuous Nondeterminism and State Minimality (2014)
Adámek J, Milius S, Myers R, Urbat H, Urbat H
Journal article
Base modules for parametrized iterativity (2014)
Adámek J, Milius S, Velebil J
Journal article
Corecursive Algebras, Corecursive Monads and Bloom Monads (2014)
Milius S, Adámek J, Haddadi M
Journal article
Relational Lattices (2014)
Litak T, Mikulás S, Hidders J
Conference contribution, Original article
Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics (2014)
Gorin D, Schröder L
Conference contribution, Original article
Constructive modalities with provability smack (2014)
Litak T
Book chapter / Article in edited volumes
Observations on formal safety analysis in practice (2014)
Huhn M, Milius S
Journal article
‹
1
...
16
17
18
19
20
...
22
›