Stefan Milius
Identifiers
- name variant Stefan Milius 0.60 · backfill
Papers (23)
- Higher-order bialgebraic semantics cs.LO · 2024 · author #2
- Towards a Higher-Order Mathematical Operational Semantics cs.LO · 2022 · author #2
- Varieties of Data Languages cs.FL · 2019 · author #2
- Equational Axiomatization of Algebras with Structure cs.LO · 2018 · author #1
- Generic Partition Refinement and Weighted Tree Automata cs.DS · 2018 · author #2
- Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages cs.LO · 2018 · author #2
- On Corecursive Algebras for Functors Preserving Coproducts cs.LO · 2017 · author #2
- Regular Behaviours with Names cs.LO · 2016 · author #1
- Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion cs.LO · 2016 · author #1
- Complete Elgot Monads and Coalgebraic Resumptions cs.LO · 2016 · author #2
- Eilenberg Theorems for Free cs.FL · 2016 · author #4
- A New Foundation for Finitary Corecursion math.CT · 2016 · author #1
- Profinite Monads, Profinite Equations, and Reiterman's Theorem cs.FL · 2015 · author #3
- Finitary Corecursion for the Infinitary Lambda Calculus math.CT · 2015 · author #1
- Syntactic Monoids in a Category cs.LO · 2015 · author #2
- Varieties of Languages in a Category cs.FL · 2015 · author #2
- Generalized Eilenberg Theorem I: Local Varieties of Languages cs.FL · 2015 · author #2
- Simplified Coalgebraic Trace Equivalence cs.LO · 2014 · author #2
- Coproducts of Monads on Set cs.LO · 2014 · author #4
- How to Kill Epsilons with a Dagger -- A Coalgebraic Take on Systems with Algebraic Label Structure cs.LO · 2014 · author #2
- Sound and complete axiomatizations of coalgebraic language equivalence cs.LO · 2011 · author #2
- The Category Theoretic Solution of Recursive Program Schemes cs.LO · 2009 · author #1
- Elgot Algebras cs.LO · 2006 · author #2
Mentions
- 1511.02147 #3 · backfill · confidence 0.70 Stefan Milius
- 1505.07736 #1 · backfill · confidence 0.70 Stefan Milius
- 1504.02694 #2 · backfill · confidence 0.70 Stefan Milius
- 1501.05180 #2 · backfill · confidence 0.70 Stefan Milius
- 1501.02834 #2 · backfill · confidence 0.70 Stefan Milius
- 1410.2463 #2 · backfill · confidence 0.70 Stefan Milius
- 2405.16708 #2 · arxiv_oai · confidence 0.70 Stefan Milius
- 1409.3804 #4 · backfill · confidence 0.70 Stefan Milius
- 1402.4062 #2 · backfill · confidence 0.70 Stefan Milius
- 1104.2803 #2 · backfill · confidence 0.70 Stefan Milius
- 0904.2385 #1 · backfill · confidence 0.70 Stefan Milius
Frequent Coauthors
- Henning Urbat 9 shared papers
- Lutz Schr\"oder 6 shared papers
- Jiri Adamek 5 shared papers
- Thorsten Wi{\ss}mann 5 shared papers
- Ji\v{r}\'i Ad\'amek 3 shared papers
- Sergey Goncharov 3 shared papers
- Alexandra Silva 2 shared papers
- Dirk Pattinson 2 shared papers
- Liang-Ting Chen 2 shared papers
- Robert Myers 2 shared papers
- Stelios Tsampas 2 shared papers
- Alexander Kurz 1 shared papers
- Christoph Rauch 1 shared papers
- Fabio Zanasi 1 shared papers
- Filippo Bonchi 1 shared papers
- Hans-Peter Deifel 1 shared papers
- Jiri Velebil 1 shared papers
- Lawrence S. Moss 1 shared papers
- Marcello M. Bonsangue 1 shared papers
- Nathan Bowler 1 shared papers