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)
A New Foundation for Finitary Corecursion (2016)
Milius S, Pattinson D, Wißmann T
Conference contribution
An Attack Possibility on Time Synchronization Protocols Secured with TESLA-Like Mechanisms (2016)
Teichel K, Sibold D, Milius S
Conference contribution
Global Caching for the Flat Coalgebraic μ-Calculus (2015)
Hausmann D, Schröder L
Conference contribution, Conference Contribution
From the Editors (2015)
Pattinson D, Schröder L
Journal article, Editorial
Global Caching for the Flat Coalgebraic mu-Calculus (2015)
Hausmann D, Schröder L
Conference contribution, Original article
Killing Epsilons with a Dagger: A Coalgebraic Study of Systems with Algebraic Label Structure (2015)
Bonchi F, Milius S, Silva A, Zanasi F
Journal article
A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic (2015)
Schröder L, Litak T, Pattinson D
Journal article, Original article
Finitary Corecursion for the Infinitary Lambda Calculus (2015)
Milius S, Wißmann T
Conference contribution
Visual comparison of speaker groups (2015)
Wankerl S, Hönig FT, Batliner A, Orozco Arroyave JR, Nöth E
Conference contribution, Conference Contribution
Varieties of Languages in a Category (2015)
Adámek J, Milius S, Myers R, Urbat H, Urbat H
Conference contribution
‹
1
...
13
14
15
16
17
...
22
›