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 Presentation of Bases for Parametrized Iterativity (2017)
Adámek J, Milius S, Velebil J
Journal article
Automatic verification of application-tailored OSEK kernels (2017)
Deifel HP, Göttlinger M, Milius S, Schröder L, Dietrich C, Lohmann D
Conference contribution, Original article
Ontological Modelling of a Psychiatric Clinical Practice Guideline (2017)
Gorin D, Meyn M, Naumann A, Polzer M, Rabenstein U, Schröder L
Conference contribution, Original article
A Characterization Theorem for a Modal Description Logic (2017)
Wild P, Schröder L
Conference contribution, Original article
Uniform Interpolation in Coalgebraic Modal Logic (2017)
Seifan F, Schröder L, Pattinson D
Conference contribution
Virtual Theories -- A Uniform Interface to Mathematical Knowledge Bases (2017)
Wiesing T, Kohlhase M, Rabe F, Kohlhase M
Conference contribution, Original article
Efficient Coalgebraic Partition Refinement (2017)
Dorsch U, Milius S, Schröder L, Wißmann T
Conference contribution
Complete Elgot Monads and Coalgebraic Resumptions (2016)
Goncharov S, Milius S, Rauch C
Conference contribution, Original article
Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets (2016)
Milius S, Schröder L, Wißmann T
Journal article, Original article
Program Equivalence is Coinductive (2016)
Schröder L, Pattinson D
Conference contribution, Original article
‹
1
...
11
12
13
14
15
...
22
›