Stefan Milius

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 116

Top Venues

Braunschweig University of Technology, Germany (PHD)

Education History

Braunschweig University of Technology, Germany

PHD

Publications

Thorsten Wißmann, Stefan Milius
Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda. CoRR (2024)
Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat
Bialgebraic Reasoning on Higher-order Program Equivalence. LICS (2024)
Fabian Birkmann, Henning Urbat, Stefan Milius
Monoidal Extended Stone Duality. CoRR (2024)
Jan Jurka, Stefan Milius, Henning Urbat
Algebraic Reasoning over Relational Structures. CoRR (2024)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Higher-Order Mathematical Operational Semantics. CoRR (2024)
Fabian Birkmann, Henning Urbat, Stefan Milius
Monoidal Extended Stone Duality. FoSSaCS (1) (2024)
Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat
Bialgebraic Reasoning on Higher-Order Program Equivalence. CoRR (2024)
Thorsten Wißmann, Stefan Milius
Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda. LICS (2024)
Fabian Birkmann, Stefan Milius, Henning Urbat
Eilenberg's variety theorem without Boolean operations. Inf. Comput. 295 (Part B) (2023)
Fabian Birkmann, Stefan Milius, Henning Urbat
Nominal Topology for Data Languages. ICALP (2023)
Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
Weak Similarity in Higher-Order Mathematical Operational Semantics. CoRR (2023)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls). CALCO (2023)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Higher-Order Mathematical Operational Semantics (Early Ideas). CALCO (2023)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Towards a Higher-Order Mathematical Operational Semantics. Proc. ACM Program. Lang. 7 (POPL) (2023)
Florian Frank, Stefan Milius, Henning Urbat
Positive Data Languages. MFCS (2023)
Florian Frank, Stefan Milius, Henning Urbat
Positive Data Languages. CoRR (2023)
Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
Weak Similarity in Higher-Order Mathematical Operational Semantics. LICS (2023)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
On Kripke, Vietoris and Hausdorff Polynomial Functors. CoRR (2023)
Henning Urbat, Stefan Milius, Fabian Birkmann
Nominal Topology for Data Languages. CoRR (2023)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Stateful Structural Operational Semantics. CoRR (2022)
Florian Frank, Stefan Milius, Henning Urbat
Coalgebraic Semantics for Nominal Automata. CoRR (2022)
Thorsten Wißmann, Stefan Milius, Lutz Schröder
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence. Log. Methods Comput. Sci. 18 (4) (2022)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Towards a Higher-Order Mathematical Operational Semantics. CoRR (2022)
Chase Ford, Stefan Milius, Lutz Schröder, Harsh Beohar, Barbara König
Graded Monads and Behavioural Equivalence Games. LICS (2022)
Florian Frank, Stefan Milius, Henning Urbat
Coalgebraic Semantics for Nominal Automata. CMCS (2022)
Fabian Birkmann, Hans-Peter Deifel, Stefan Milius
Distributed Coalgebraic Partition Refinement. CoRR (2022)
Harsh Beohar, Chase Ford, Barbara König, Stefan Milius, Lutz Schröder
Graded Monads and Behavioural Equivalence Games. CoRR (2022)
Fabian Birkmann, Hans-Peter Deifel, Stefan Milius
Distributed Coalgebraic Partition Refinement. TACAS (2) (2022)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Stateful Structural Operational Semantics. FSCD (2022)
Thorsten Wißmann, Stefan Milius, Lutz Schröder
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence. CoRR (2022)
Jirí Adámek, Stefan Milius, Henning Urbat
On the behaviour of coalgebras with side effects and algebras with effectful iteration. J. Log. Comput. 31 (6) (2021)
Jirí Adámek, Chase Ford, Stefan Milius, Lutz Schröder
Finitary monads on the category of posets. Math. Struct. Comput. Sci. 31 (7) (2021)
Thorsten Wißmann, Stefan Milius, Lutz Schröder
Explaining Behavioural Inequivalence Generically in Quasilinear Time. CONCUR (2021)
Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
Nominal Büchi Automata with Name Allocation. CONCUR (2021)
Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
Nominal Büchi Automata with Name Allocation. CoRR (2021)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
Initial Algebras Without Iteration ((Co)algebraic pearls). CALCO (2021)
Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius, Lutz Schröder
From generic partition refinement to weighted tree automata minimization. Formal Aspects Comput. 33 (4-5) (2021)
Chase Ford, Stefan Milius, Lutz Schröder
Monads on Categories of Relational Structures. CALCO (2021)
Jirí Adámek, Liang-Ting Chen, Stefan Milius, Henning Urbat
Reiterman's Theorem on Finite Algebras for a Monad. CoRR (2021)
Thorsten Wißmann, Stefan Milius, Lutz Schröder
Explaining Behavioural Inequivalence Generically in Quasilinear Time. CoRR (2021)
Hans-Peter Deifel, Stefan Milius, Thorsten Wißmann
Coalgebra Encoding for Efficient Minimization. FSCD (2021)
Fabian Birkmann, Stefan Milius, Henning Urbat
On Language Varieties Without Boolean Operations. LATA (2021)
Hans-Peter Deifel, Stefan Milius, Thorsten Wißmann
Coalgebra Encoding for Efficient Minimization. CoRR (2021)
Chase Ford, Stefan Milius, Lutz Schröder
Behavioural Preorders via Graded Monads. LICS (2021)
Daniel Hausmann, Stefan Milius, Lutz Schröder
A Linear-Time Nominal μ-Calculus with Name Allocation. MFCS (2021)
Jirí Adámek, Liang-Ting Chen, Stefan Milius, Henning Urbat
Reiterman's Theorem on Finite Algebras for a Monad. ACM Trans. Comput. Log. 22 (4) (2021)
Robert S. R. Myers, Stefan Milius, Henning Urbat
Nondeterministic Syntactic Complexity. CoRR (2021)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
An Initial Algebra Theorem Without Iteration. CoRR (2021)
Robert S. R. Myers, Stefan Milius, Henning Urbat
Nondeterministic Syntactic Complexity. FoSSaCS (2021)
Thorsten Wißmann, Ulrich Dorsch, Stefan Milius, Lutz Schröder
Efficient and Modular Coalgebraic Partition Refinement. Log. Methods Comput. Sci. 16 (1) (2020)
Chase Ford, Stefan Milius, Lutz Schröder
Behavioural Preorders via Graded Monads. CoRR (2020)
Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius, Lutz Schröder
From Generic Partition Refinement to Weighted Tree Automata Minimization. CoRR (2020)
Stefan Milius, Dirk Pattinson, Thorsten Wißmann
A new foundation for finitary corecursion and iterative algebras. Inf. Comput. 271 (2020)
Sergey Goncharov, Stefan Milius, Alexandra Silva
Toward a Uniform Theory of Effectful State Machines. ACM Trans. Comput. Log. 21 (3) (2020)
Fabian Birkmann, Stefan Milius, Henning Urbat
On Language Varieties Without Boolean Operations. CoRR (2020)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
On Well-Founded and Recursive Coalgebras. FoSSaCS (2020)
Daniel Hausmann, Stefan Milius, Lutz Schröder
Harnessing LTL With Freeze Quantification. CoRR (2020)
Janine Schneider, Hans-Peter Deifel, Stefan Milius, Felix C. Freiling
Unifying Metadata-Based Storage Reconstruction and Carving with LAYR. Digit. Investig. (2020)
Ulrich Dorsch, Stefan Milius, Lutz Schröder
Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum. CONCUR (2019)
Stefan Milius, Henning Urbat
Equational Axiomatization of Algebras with Structure. FoSSaCS (2019)
Henning Urbat, Stefan Milius
Varieties of Data Languages. ICALP (2019)
Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann
Generic Partition Refinement and Weighted Tree Automata. FM (2019)
Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
Generalized Eilenberg Theorem: Varieties of Languages in a Category. ACM Trans. Comput. Log. 20 (1) (2019)
Stefan Milius
From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper). CALCO (2019)
Henning Urbat, Stefan Milius
Varieties of Data Languages. CoRR (2019)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
On Well-Founded and Recursive Coalgebras. CoRR (2019)
Stefan Milius, Jirí Adámek, Henning Urbat
On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration. CoRR (2019)
Jirí Adámek, Stefan Milius
On functors preserving coproducts and algebras with iterativity. Theor. Comput. Sci. 763 (2019)
Stefan Milius, Jirí Adámek, Henning Urbat
On Algebras with Effectful Iteration. CMCS (2018)
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. CoRR (2018)
Thorsten Wißmann, Ulrich Dorsch, Stefan Milius, Lutz Schröder
Efficient and Modular Coalgebraic Partition Refinement. CoRR (2018)
Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann
CoPaR: An Efficient Generic Partition Refiner. CoRR (2018)
Jirí Adámek, Stefan Milius, Henning Urbat
A Categorical Approach to Syntactic Monoids. Log. Methods Comput. Sci. 14 (2) (2018)
Stefan Milius, Dirk Pattinson, Thorsten Wißmann
A New Foundation for Finitary Corecursion and Iterative Algebras. CoRR (2018)
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. CMCS (2018)
Ulrich Dorsch, Stefan Milius, Lutz Schröder
Graded Monads for the Linear Time - Branching Time Spectrum. CoRR (2018)
Jirí Adámek, Stefan Milius, Henning Urbat
A Categorical Approach to Syntactic Monoids. CoRR (2018)
Stefan Milius, Henning Urbat
Equational Axiomatization of Algebras with Structure. CoRR (2018)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
Fixed points of functors. J. Log. Algebraic Methods Program. 95 (2018)
Stefan Milius
Proper Functors and Fixed Points for Finite Behaviour. Log. Methods Comput. Sci. 14 (3) (2018)
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
Efficient Coalgebraic Partition Refinement. CONCUR (2017)
Jirí Adámek, Stefan Milius
On Corecursive Algebras for Functors Preserving Coproducts. CoRR (2017)
Stefan Milius
Proper Functors and their Rational Fixed Point. CALCO (2017)
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
A Coalgebraic Paige-Tarjan Algorithm. CoRR (2017)
Henning Urbat, Jirí Adámek, Liang-Ting Chen, Stefan Milius
Eilenberg Theorems for Free. MFCS (2017)
Stefan Milius, Tadeusz Litak
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion. Fundam. Informaticae 150 (3-4) (2017)
Stefan Milius
Proper Functors and their Rational Fixed Point. CoRR (2017)
Hans-Peter Deifel, Merlin Göttlinger, Stefan Milius, Lutz Schröder, Christian Dietrich, Daniel Lohmann
Automatic verification of application-tailored OSEK kernels. FMCAD (2017)
Jirí Adámek, Stefan Milius
On Corecursive Algebras for Functors Preserving Coproducts. CALCO (2017)
Lutz Schröder, Dexter Kozen, Stefan Milius, Thorsten Wißmann
Nominal Automata with Name Binding. FoSSaCS (2017)
Henning Urbat, Jirí Adámek, Liang-Ting Chen, Stefan Milius
One Eilenberg Theorem to Rule Them All. CoRR (2016)
Sergey Goncharov, Stefan Milius, Christoph Rauch
Complete Elgot Monads and Coalgebraic Resumptions. MFPS (2016)
Liang-Ting Chen, Jirí Adámek, Stefan Milius, Henning Urbat
Profinite Monads, Profinite Equations, and Reiterman's Theorem. FoSSaCS (2016)
Stefan Milius, Lutz Schröder, Thorsten Wißmann
Regular Behaviours with Names. CoRR (2016)
Kristof Teichel, Dieter Sibold, Stefan Milius
An Attack Possibility on Time Synchronization Protocols Secured with TESLA-Like Mechanisms. ICISS (2016)
Lutz Schröder, Dexter Kozen, Stefan Milius, Thorsten Wißmann
Nominal Automata with Name Binding. CoRR (2016)
Sergey Goncharov, Stefan Milius, Christoph Rauch
Complete Elgot Monads and Coalgebraic Resumptions. CoRR (2016)
Stefan Milius, Lutz Schröder, Thorsten Wißmann
Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets. Appl. Categorical Struct. 24 (5) (2016)
Stefan Milius, Tadeusz Litak
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion. CoRR (2016)
Stefan Milius, Dirk Pattinson, Thorsten Wißmann
A New Foundation for Finitary Corecursion. CoRR (2016)

Stefan Milius.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Milius