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)
On Finitary Functors (2019)
Adámek J, Milius S, Sousa L, Wißmann T
Journal article
Complete Additivity and Modal Incompleteness (2019)
Holliday WH, Litak T
Journal article
Game-based local model checking for the coalgebraic µ-calculus (2019)
Hausmann D, Schröder L
Conference contribution
Graded monads and graded logics for the linear time – Branching time spectrum (2019)
Dorsch U, Milius S, Schröder L
Conference contribution
Varieties of data languages (2019)
Urbat H, Milius S
Conference contribution
Completeness for mu-calculi: A coalgebraic approach (2019)
Enqvist S, Seifan F, Venema Y
Journal article
On functors preserving coproducts and algebras with iterativity (2019)
Adamek J, Milius S
Journal article
The high-level benefits of low-level sandboxing (2019)
Sammler M, Garg D, Dreyer DR, Litak T
Journal article
An Adequate While-Language for Hybrid Computation (2019)
Goncharov S, Neves R
Conference contribution
A coalgebraic view on reachability (2019)
Wißmann T, Milius S, Katsumata SY, Dubut J
Journal article
‹
1
...
6
7
8
9
10
...
22
›