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 the behaviour of coalgebras with side effects and algebras with effectful iteration (2021)
Adamek J, Milius S, Urbat H
Journal article
Nominal Büchi Automata with Name Allocation (2021)
Urbat H, Hausmann D, Milius S, Schröder L
Conference contribution
Explaining Behavioural Inequivalence Generically in Quasilinear Time (2021)
Wißmann T, Milius S, Schröder L
Conference contribution
Syntactic Minimization of Nondeterministic Finite Automata (2021)
Myers RS, Urbat H
Conference contribution
A Linear-Time Nominal μ-Calculus with Name Allocation (2021)
Hausmann D, Milius S, Schröder L
Conference contribution
Coalgebra encoding for efficient minimization (2021)
Deifel HP, Milius S, Wißmann T
Conference contribution
Uniform elgot iteration in foundations (2021)
Goncharov S
Conference contribution
Behavioural Preorders via Graded Monads (2021)
Ford M, Milius S, Schröder L
Conference contribution
Argument parsing via corpus queries (2021)
Dykes N, Evert S, Göttlinger M, Heinrich P, Schröder L
Journal article
From generic partition refinement to weighted tree automata minimization (2021)
Wißmann T, Deifel HP, Milius S, Schröder L
Journal article
‹
1
...
3
4
5
6
7
...
22
›