Stefan Milius
Scholar

Stefan Milius

Google Scholar ID: d2StQHQAAAAJ
FAU Erlangen-Nürnberg
SemanticsCoalgebraCategory TheoryVerificationFormal Methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
982
 
H-index
19
 
i10-index
37
 
Publications
20
 
Co-authors
27
list available
Contact
No contact links provided.
Publications
10 items
Nominal Automata with Name Deallocation
2026
Cited
0
A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
2026
Cited
0
Demystifying Codensity Monads via Duality
2025
Cited
0
Bialgebraic Reasoning on Stateful Languages
2025
Cited
0
Learning Automata with Name Allocation
2025
Cited
0
Algebraic Language Theory with Effects
arXiv.org · 2024
Cited
0
Alternating Nominal Automata with Name Allocation
arXiv.org · 2024
Cited
0
Higher-Order Mathematical Operational Semantics (Early Ideas)
Conference on Algebra and Coalgebra in Computer Science · 2024
Cited
0
Resume (English only)
Co-authors
27 total
Lutz Schröder
Lutz Schröder
Professor of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg
Lawrence S. Moss
Lawrence S. Moss
Professor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, Philosophy
Sergey Goncharov
Sergey Goncharov
School of Computer Science, University of Birmingham
Alexandra Silva
Alexandra Silva
Cornell University
Barbara König
Barbara König
Universität Duisburg-Essen, Theoretische Informatik
Co-author 6
Co-author 6
Filippo Bonchi
Filippo Bonchi
CNRS ENS-Lyon
Marcello Bonsangue
Marcello Bonsangue
Professor of Computer Science, Leiden University