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)
Nominal Automata with Name binding (2017)
Schröder L, Kozen D, Milius S, Wißmann T
Conference contribution, Original article
Unifying Guarded and Unguarded Iteration (2017)
Goncharov S, Schröder L, Rauch C, Piróg M
Conference contribution, Original article
Generic Hoare Logic for Order-Enriched Effects with Exceptions (2017)
Rauch C, Goncharov S, Schröder L
Conference contribution, Original article
Finite behaviours and finitary corecursion (2017)
Urbat H
Conference contribution, Conference Contribution
Knowledge-Based Interoperability for Mathematical Software Systems (2017)
Kohlhase M, Müller D, Pfeiffer M, Rabe F, Thiery N, Vasilyev V, Wiesing T
Conference contribution, Original article
Eilenberg Theorems for Free (2017)
Urbat H, Adámek J, Chen LT, Milius S
Conference contribution, Conference Contribution
On Corecursive Algebras for Functors Preserving Coproducts (2017)
Adámek J, Milius S
Conference contribution
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion (2017)
Milius S, Litak T
Journal article
Probabilistic Description Logics for Subjective Uncertainty (2017)
Gutierreiz-Basulto V, Jung JC, Lutz C, Schröder L
Journal article, Original article
Proper Functors and their Rational Fixed Point (2017)
Milius S
Conference contribution
‹
1
...
10
11
12
13
14
...
22
›