pith. sign in

Stefan Milius

Identifiers

  • name variant Stefan Milius 0.60 · backfill

Papers (23)

  1. Higher-order bialgebraic semantics cs.LO · 2024 · author #2
  2. Towards a Higher-Order Mathematical Operational Semantics cs.LO · 2022 · author #2
  3. Varieties of Data Languages cs.FL · 2019 · author #2
  4. Equational Axiomatization of Algebras with Structure cs.LO · 2018 · author #1
  5. Generic Partition Refinement and Weighted Tree Automata cs.DS · 2018 · author #2
  6. Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages cs.LO · 2018 · author #2
  7. On Corecursive Algebras for Functors Preserving Coproducts cs.LO · 2017 · author #2
  8. Regular Behaviours with Names cs.LO · 2016 · author #1
  9. Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion cs.LO · 2016 · author #1
  10. Complete Elgot Monads and Coalgebraic Resumptions cs.LO · 2016 · author #2
  11. Eilenberg Theorems for Free cs.FL · 2016 · author #4
  12. A New Foundation for Finitary Corecursion math.CT · 2016 · author #1
  13. Profinite Monads, Profinite Equations, and Reiterman's Theorem cs.FL · 2015 · author #3
  14. Finitary Corecursion for the Infinitary Lambda Calculus math.CT · 2015 · author #1
  15. Syntactic Monoids in a Category cs.LO · 2015 · author #2
  16. Varieties of Languages in a Category cs.FL · 2015 · author #2
  17. Generalized Eilenberg Theorem I: Local Varieties of Languages cs.FL · 2015 · author #2
  18. Simplified Coalgebraic Trace Equivalence cs.LO · 2014 · author #2
  19. Coproducts of Monads on Set cs.LO · 2014 · author #4
  20. How to Kill Epsilons with a Dagger -- A Coalgebraic Take on Systems with Algebraic Label Structure cs.LO · 2014 · author #2
  21. Sound and complete axiomatizations of coalgebraic language equivalence cs.LO · 2011 · author #2
  22. The Category Theoretic Solution of Recursive Program Schemes cs.LO · 2009 · author #1
  23. 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