Milius, Stefan
- Complete Elgot Monads and Coalgebraic Resumptions
2016/03/07 by Goncharov, Sergey, Milius, Stefan, Rauch, Christoph · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- On Well-Founded and Recursive Coalgebras
2019/10/21 by Adámek, Jiří, Milius, Stefan, Moss, Lawrence S. · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Finitary Monads on the Category of Posets
2020/11/30 by Adámek, Jiří, Ford, Chase, Milius, Stefan +1 · 2 citations
#Category Theory (math.CT) #FOS: Mathematics
- Towards a Higher-Order Mathematical Operational Semantics
2022/10/24 by Goncharov, Sergey, Milius, Stefan, Schröder, Lutz +2 · 3 citations
#Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Coalgebraic Semantics for Nominal Automata
2022/02/14 by Frank, Florian, Milius, Stefan, Urbat, Henning · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Equational Axiomatization of Algebras with Structure
2018/12/05 by Milius, Stefan, Urbat, Henning · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Monads on Categories of Relational Structures
2021/07/08 by Ford, Chase, Milius, Stefan, Schröder, Lutz · 1 citation
#Category Theory (math.CT) #FOS: Mathematics
- Simplified Coalgebraic Trace Equivalence
2014/10/09 by Alexander Kurz, Kurz, Alexander, Stefan Milius +5 · 1 citation
Computer Science · #F.1.2 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Nominal Automata with Name Binding
2016/03/04 by Schröder, Lutz, Kozen, Dexter, Milius, Stefan +1 · 1 citation
#F.1.1 #F.4.3 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- Profinite Monads, Profinite Equations, and Reiterman's Theorem
2015/11/06 by Chen, Liang-Ting, Adamek, Jiri, Milius, Stefan +1 · 1 citation
#Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL)
- Behavioural Preorders via Graded Monads
2020/11/29 by Ford, Chase, Milius, Stefan, Schröder, Lutz · 1 citation
#03B45 #18C15 #Category Theory (math.CT) #F.3.1 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)
- Eilenberg Theorems for Free
2016/02/18 by Urbat, Henning, Adámek, Jiří, Chen, Liang-Ting +1 · 1 citation
#Category Theory (math.CT) #F.4.3 #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL)
- Regular Behaviours with Names
2016/07/26 by Stefan Milius, Milius, Stefan, Lutz Schröder +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #semigroups and automata theory
- Nominal Büchi Automata with Name Allocation
2021/07/07 by Urbat, Henning, Hausmann, Daniel, Milius, Stefan +1 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- A New Foundation for Finitary Corecursion and Iterative Algebras
2018/02/21 by Milius, Stefan, Pattinson, Dirk, Wißmann, Thorsten · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Graded Monads and Behavioural Equivalence Games
2022/03/29 by Ford, Chase, Beohar, Harsh, König, Barbara +2 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Reiterman's Theorem on Finite Algebras for a Monad
2021/01/04 by Adamek, Jiri, Chen, Liang-Ting, Milius, Stefan +1 · 1 citation
#Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL)
- Varieties of Languages in a Category
2015/01/21 by Jiřı́ Adámek, Adamek, Jiri, Stefan Milius +5 · 1 citation
Computer Science · #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #semigroups and automata theory
- Weak Similarity in Higher-Order Mathematical Operational Semantics
2023/02/16 by Urbat, Henning, Tsampas, Stelios, Goncharov, Sergey +2 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Alternating Nominal Automata with Name Allocation
2024/08/07 by Frank, Florian, Hausmann, Daniel, Milius, Stefan +2 · 1 citation
#68Q45 #F.4.3 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)