Stefan Milius

210 papers A* 12A 2B 49C 3Misc 1Journal 116Unranked 24
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on.
CoRR
Fabian Lenke, Stefan Milius, Henning Urbat
2026 A conf
Demystifying Codensity Monads via Duality.
STACS
Fabian Lenke, Nico Wittrock, Stefan Milius, Henning Urbat
2026 B ed.
Foundations of Software Science and Computation Structures - 29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings
FoSSaCS
Nathalie Bertrand, Stefan Milius
2026 J jnl
Nominal Automata with Name Deallocation.
CoRR
Simon Prucker, Stefan Milius, Lutz Schröder
2025 A* conf
Algebraic Language Theory with Effects.
ICALP
Fabian Lenke, Stefan Milius, Henning Urbat, Thorsten Wißmann
2025 A* conf
Alternating Nominal Automata with Name Allocation.
LICS
Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schröder, Henning Urbat
2025 A conf
Automated Analysis and Synthesis of Message Authentication Codes.
CSF
Stefan Milius, Dominik Paulus, Dominique Schröder, Lutz Schröder, Julian Thomas
2025 J jnl
Automated Analysis and Synthesis of Message Authentication Codes.
IACR Cryptol. ePrint Arch.
Stefan Milius, Dominik Paulus, Dominique Schröder, Lutz Schröder, Julian Thomas
2025 J jnl
Bialgebraic Reasoning on Stateful Languages.
CoRR
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2025 J jnl
Bialgebraic Reasoning on Stateful Languages.
Proc. ACM Program. Lang.
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2025 J jnl
Demystifying Codensity Monads via Duality.
CoRR
Fabian Lenke, Nico Wittrock, Stefan Milius, Henning Urbat
2025 J jnl
Extended Stone Duality via Monoidal Adjunctions.
Log. Methods Comput. Sci.
Fabian Lenke, Henning Urbat, Stefan Milius
2025 J jnl
Learning Automata with Name Allocation.
CoRR
Florian Frank, Stefan Milius, Jurriaan Rot, Henning Urbat
2025 B ed.
Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, MFPS XLI, University of Strathclyde, Glasgow, UK, June 16-21, 2025
MFPS
Clemens Kupke, Stefan Milius
2025 B conf
Terminal Coalgebras for Finitary Functors.
CALCO
Jirí Adámek, Stefan Milius, Lawrence S. Moss
2024 J jnl
Algebraic Language Theory with Effects.
CoRR
Fabian Birkmann, Stefan Milius, Henning Urbat, Thorsten Wißmann
2024 B conf
Algebraic Reasoning over Relational Structures.
MFPS
Jan Jurka, Stefan Milius, Henning Urbat
2024 J jnl
Alternating Nominal Automata with Name Allocation.
CoRR
Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schröder, Henning Urbat
2024 J jnl
Bialgebraic Reasoning on Higher-Order Program Equivalence.
CoRR
Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat
2024 A* conf
Bialgebraic Reasoning on Higher-order Program Equivalence.
LICS
Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat
2024 J jnl
Higher-Order Mathematical Operational Semantics.
CoRR
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2024 A* conf
Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda.
LICS
Thorsten Wißmann, Stefan Milius
2024 J jnl
Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda.
CoRR
Thorsten Wißmann, Stefan Milius
2024 — conf
Monoidal Extended Stone Duality.
FoSSaCS (1)
Fabian Birkmann, Henning Urbat, Stefan Milius
2024 J jnl
Monoidal Extended Stone Duality.
CoRR
Fabian Birkmann, Henning Urbat, Stefan Milius
2023 J jnl
Eilenberg's variety theorem without Boolean operations.
Inf. Comput.
Fabian Birkmann, Stefan Milius, Henning Urbat
2023 B conf
Higher-Order Mathematical Operational Semantics (Early Ideas).
CALCO
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2023 A* conf
Nominal Topology for Data Languages.
ICALP
Fabian Birkmann, Stefan Milius, Henning Urbat
2023 J jnl
Nominal Topology for Data Languages.
CoRR
Henning Urbat, Stefan Milius, Fabian Birkmann
2023 B conf
On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls).
CALCO
Jirí Adámek, Stefan Milius, Lawrence S. Moss
2023 J jnl
On Kripke, Vietoris and Hausdorff Polynomial Functors.
CoRR
Jirí Adámek, Stefan Milius, Lawrence S. Moss
2023 B conf
Positive Data Languages.
MFCS
Florian Frank, Stefan Milius, Henning Urbat
2023 J jnl
Positive Data Languages.
CoRR
Florian Frank, Stefan Milius, Henning Urbat
2023 J jnl
Towards a Higher-Order Mathematical Operational Semantics.
Proc. ACM Program. Lang.
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2023 A* conf
Weak Similarity in Higher-Order Mathematical Operational Semantics.
LICS
Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
2023 J jnl
Weak Similarity in Higher-Order Mathematical Operational Semantics.
CoRR
Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
2022 — conf
Coalgebraic Semantics for Nominal Automata.
CMCS
Florian Frank, Stefan Milius, Henning Urbat
2022 J jnl
Coalgebraic Semantics for Nominal Automata.
CoRR
Florian Frank, Stefan Milius, Henning Urbat
2022 — conf
Distributed Coalgebraic Partition Refinement.
TACAS (2)
Fabian Birkmann, Hans-Peter Deifel, Stefan Milius
2022 J jnl
Distributed Coalgebraic Partition Refinement.
CoRR
Fabian Birkmann, Hans-Peter Deifel, Stefan Milius
2022 A* conf
Graded Monads and Behavioural Equivalence Games.
LICS
Chase Ford, Stefan Milius, Lutz Schröder, Harsh Beohar, Barbara König
2022 J jnl
Graded Monads and Behavioural Equivalence Games.
CoRR
Harsh Beohar, Chase Ford, Barbara König, Stefan Milius, Lutz Schröder
2022 J jnl
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence.
CoRR
Thorsten Wißmann, Stefan Milius, Lutz Schröder
2022 J jnl
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence.
Log. Methods Comput. Sci.
Thorsten Wißmann, Stefan Milius, Lutz Schröder
2022 B conf
Stateful Structural Operational Semantics.
FSCD
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2022 J jnl
Stateful Structural Operational Semantics.
CoRR
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2021 B conf
A Linear-Time Nominal μ-Calculus with Name Allocation.
MFCS
Daniel Hausmann, Stefan Milius, Lutz Schröder
2021 J jnl
An Initial Algebra Theorem Without Iteration.
CoRR
Jirí Adámek, Stefan Milius, Lawrence S. Moss
2021 A* conf
Behavioural Preorders via Graded Monads.
LICS
Chase Ford, Stefan Milius, Lutz Schröder
2021 B conf
Coalgebra Encoding for Efficient Minimization.
FSCD
Hans-Peter Deifel, Stefan Milius, Thorsten Wißmann
2021 J jnl
Coalgebra Encoding for Efficient Minimization.
CoRR
Hans-Peter Deifel, Stefan Milius, Thorsten Wißmann
2021 B conf
Explaining Behavioural Inequivalence Generically in Quasilinear Time.
CONCUR
Thorsten Wißmann, Stefan Milius, Lutz Schröder
2021 J jnl
Explaining Behavioural Inequivalence Generically in Quasilinear Time.
CoRR
Thorsten Wißmann, Stefan Milius, Lutz Schröder
2021 J jnl
Finitary monads on the category of posets.
Math. Struct. Comput. Sci.
Jirí Adámek, Chase Ford, Stefan Milius, Lutz Schröder
2021 J jnl
From generic partition refinement to weighted tree automata minimization.
Formal Aspects Comput.
Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius, Lutz Schröder
2021 B conf
Initial Algebras Without Iteration ((Co)algebraic pearls).
CALCO
Jirí Adámek, Stefan Milius, Lawrence S. Moss
2021 B conf
Monads on Categories of Relational Structures.
CALCO
Chase Ford, Stefan Milius, Lutz Schröder
2021 B conf
Nominal Büchi Automata with Name Allocation.
CONCUR
Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
2021 J jnl
Nominal Büchi Automata with Name Allocation.
CoRR
Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
2021 B conf
Nondeterministic Syntactic Complexity.
FoSSaCS
Robert S. R. Myers, Stefan Milius, Henning Urbat
2021 J jnl
Nondeterministic Syntactic Complexity.
CoRR
Robert S. R. Myers, Stefan Milius, Henning Urbat
2021 C conf
On Language Varieties Without Boolean Operations.
LATA
Fabian Birkmann, Stefan Milius, Henning Urbat
2021 J jnl
On the behaviour of coalgebras with side effects and algebras with effectful iteration.
J. Log. Comput.
Jirí Adámek, Stefan Milius, Henning Urbat
2021 J jnl
Reiterman's Theorem on Finite Algebras for a Monad.
CoRR
Jirí Adámek, Liang-Ting Chen, Stefan Milius, Henning Urbat
2021 J jnl
Reiterman's Theorem on Finite Algebras for a Monad.
ACM Trans. Comput. Log.
Jirí Adámek, Liang-Ting Chen, Stefan Milius, Henning Urbat
2020 J jnl
A new foundation for finitary corecursion and iterative algebras.
Inf. Comput.
Stefan Milius, Dirk Pattinson, Thorsten Wißmann
2020 J jnl
Behavioural Preorders via Graded Monads.
CoRR
Chase Ford, Stefan Milius, Lutz Schröder
2020 J jnl
Efficient and Modular Coalgebraic Partition Refinement.
Log. Methods Comput. Sci.
Thorsten Wißmann, Ulrich Dorsch, Stefan Milius, Lutz Schröder
2020 J jnl
From Generic Partition Refinement to Weighted Tree Automata Minimization.
CoRR
Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius, Lutz Schröder
2020 J jnl
Harnessing LTL With Freeze Quantification.
CoRR
Daniel Hausmann, Stefan Milius, Lutz Schröder
2020 J jnl
On Language Varieties Without Boolean Operations.
CoRR
Fabian Birkmann, Stefan Milius, Henning Urbat
2020 B conf
On Well-Founded and Recursive Coalgebras.
FoSSaCS
Jirí Adámek, Stefan Milius, Lawrence S. Moss
2020 J jnl
Toward a Uniform Theory of Effectful State Machines.
ACM Trans. Comput. Log.
Sergey Goncharov, Stefan Milius, Alexandra Silva
2020 J jnl
Unifying Metadata-Based Storage Reconstruction and Carving with LAYR.
Digit. Investig.
Janine Schneider, Hans-Peter Deifel, Stefan Milius, Felix C. Freiling
2019 B conf
Equational Axiomatization of Algebras with Structure.
FoSSaCS
Stefan Milius, Henning Urbat
2019 B conf
From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper).
CALCO
Stefan Milius
2019 J jnl
Generalized Eilenberg Theorem: Varieties of Languages in a Category.
ACM Trans. Comput. Log.
Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
2019 B conf
Generic Partition Refinement and Weighted Tree Automata.
FM
Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann
2019 B conf
Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum.
CONCUR
Ulrich Dorsch, Stefan Milius, Lutz Schröder
2019 J jnl
On Well-Founded and Recursive Coalgebras.
CoRR
Jirí Adámek, Stefan Milius, Lawrence S. Moss
2019 J jnl
On functors preserving coproducts and algebras with iterativity.
Theor. Comput. Sci.
Jirí Adámek, Stefan Milius
2019 J jnl
On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration.
CoRR
Stefan Milius, Jirí Adámek, Henning Urbat
2019 A* conf
Varieties of Data Languages.
ICALP
Henning Urbat, Stefan Milius
2019 J jnl
Varieties of Data Languages.
CoRR
Henning Urbat, Stefan Milius
2018 J jnl
A Categorical Approach to Syntactic Monoids.
CoRR
Jirí Adámek, Stefan Milius, Henning Urbat
2018 J jnl
A Categorical Approach to Syntactic Monoids.
Log. Methods Comput. Sci.
Jirí Adámek, Stefan Milius, Henning Urbat
2018 J jnl
A New Foundation for Finitary Corecursion and Iterative Algebras.
CoRR
Stefan Milius, Dirk Pattinson, Thorsten Wißmann
2018 J jnl
CoPaR: An Efficient Generic Partition Refiner.
CoRR
Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann
2018 J jnl
Efficient and Modular Coalgebraic Partition Refinement.
CoRR
Thorsten Wißmann, Ulrich Dorsch, Stefan Milius, Lutz Schröder
2018 J jnl
Equational Axiomatization of Algebras with Structure.
CoRR
Stefan Milius, Henning Urbat
2018 J jnl
Fixed points of functors.
J. Log. Algebraic Methods Program.
Jirí Adámek, Stefan Milius, Lawrence S. Moss
2018 J jnl
Graded Monads for the Linear Time - Branching Time Spectrum.
CoRR
Ulrich Dorsch, Stefan Milius, Lutz Schröder
2018 — conf
On Algebras with Effectful Iteration.
CMCS
Stefan Milius, Jirí Adámek, Henning Urbat
2018 — conf
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages.
CMCS
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
2018 J jnl
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages.
CoRR
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
2018 J jnl
Proper Functors and Fixed Points for Finite Behaviour.
Log. Methods Comput. Sci.
Stefan Milius
2017 J jnl
A Coalgebraic Paige-Tarjan Algorithm.
CoRR
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
2017 B conf
Automatic verification of application-tailored OSEK kernels.
FMCAD
Hans-Peter Deifel, Merlin Göttlinger, Stefan Milius, Lutz Schröder, Christian Dietrich, Daniel Lohmann
2017 B conf
Efficient Coalgebraic Partition Refinement.
CONCUR
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
2017 B conf
Eilenberg Theorems for Free.
MFCS
Henning Urbat, Jirí Adámek, Liang-Ting Chen, Stefan Milius
2017 J jnl
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion.
Fundam. Informaticae
Stefan Milius, Tadeusz Litak
2017 B conf
Nominal Automata with Name Binding.
FoSSaCS
Lutz Schröder, Dexter Kozen, Stefan Milius, Thorsten Wißmann
2017 B conf
On Corecursive Algebras for Functors Preserving Coproducts.
CALCO
Jirí Adámek, Stefan Milius
2017 J jnl
On Corecursive Algebras for Functors Preserving Coproducts.
CoRR
Jirí Adámek, Stefan Milius
2017 B conf
Proper Functors and their Rational Fixed Point.
CALCO
Stefan Milius
2017 J jnl
Proper Functors and their Rational Fixed Point.
CoRR
Stefan Milius
2016 B conf
A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties.
FoSSaCS
Stefan Milius, Dirk Pattinson, Thorsten Wißmann
2016 J jnl
A New Foundation for Finitary Corecursion.
CoRR
Stefan Milius, Dirk Pattinson, Thorsten Wißmann
2016 Misc conf
An Attack Possibility on Time Synchronization Protocols Secured with TESLA-Like Mechanisms.
ICISS
Kristof Teichel, Dieter Sibold, Stefan Milius
2016 J jnl
Complete Elgot Monads and Coalgebraic Resumptions.
CoRR
Sergey Goncharov, Stefan Milius, Christoph Rauch
2016 B conf
Complete Elgot Monads and Coalgebraic Resumptions.
MFPS
Sergey Goncharov, Stefan Milius, Christoph Rauch
2016 J jnl
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion.
CoRR
Stefan Milius, Tadeusz Litak
2016 J jnl
Nominal Automata with Name Binding.
CoRR
Lutz Schröder, Dexter Kozen, Stefan Milius, Thorsten Wißmann
2016 J jnl
One Eilenberg Theorem to Rule Them All.
CoRR
Henning Urbat, Jirí Adámek, Liang-Ting Chen, Stefan Milius
2016 B conf
Profinite Monads, Profinite Equations, and Reiterman's Theorem.
FoSSaCS
Liang-Ting Chen, Jirí Adámek, Stefan Milius, Henning Urbat
2016 J jnl
Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets.
Appl. Categorical Struct.
Stefan Milius, Lutz Schröder, Thorsten Wißmann
2016 J jnl
Regular Behaviours with Names.
CoRR
Stefan Milius, Lutz Schröder, Thorsten Wißmann
2015 J jnl
Coalgebraic constructions of canonical nondeterministic automata.
Theor. Comput. Sci.
Robert S. R. Myers, Jirí Adámek, Stefan Milius, Henning Urbat
2015 B conf
Finitary Corecursion for the Infinitary Lambda Calculus.
CALCO
Stefan Milius, Thorsten Wißmann
2015 J jnl
Finitary Corecursion for the Infinitary Lambda Calculus.
CoRR
Stefan Milius, Thorsten Wißmann
2015 — conf
First Results of a Formal Analysis of the Network Time Security Specification.
SSR
Kristof Teichel, Dieter Sibold, Stefan Milius
2015 J jnl
Generalized Eilenberg Theorem I: Local Varieties of Languages.
CoRR
Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
2015 B conf
Generic Trace Semantics and Graded Monads.
CALCO
Stefan Milius, Dirk Pattinson, Lutz Schröder
2015 J jnl
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure.
Theor. Comput. Sci.
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
2015 J jnl
On Final Coalgebras of Power-Set Functors and Saturated Trees - To George Janelidze on the Occasion of His Sixtieth Birthday.
Appl. Categorical Struct.
Jirí Adámek, Paul Blain Levy, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
2015 J jnl
On finitary functors and their presentations.
J. Comput. Syst. Sci.
Jirí Adámek, Stefan Milius, Lawrence S. Moss, Henning Urbat
2015 J jnl
Profinite Monads, Profinite Equations and Reiterman's Theorem.
CoRR
Liang-Ting Chen, Jirí Adámek, Stefan Milius, Henning Urbat
2015 — conf
Simplified Coalgebraic Trace Equivalence.
Software, Services, and Systems
Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder
2015 B conf
Syntactic Monoids in a Category.
CALCO
Jirí Adámek, Stefan Milius, Henning Urbat
2015 J jnl
Syntactic Monoids in a Category.
CoRR
Jirí Adámek, Stefan Milius, Henning Urbat
2015 A* conf
Varieties of Languages in a Category.
LICS
Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius
2015 J jnl
Varieties of Languages in a Category.
CoRR
Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
2014 C conf
An Open Alternative for SMT-Based Verification of Scade Models.
FMICS
Henning Basold, Henning Günther, Michaela Huhn, Stefan Milius
2014 J jnl
Base modules for parametrized iterativity.
Theor. Comput. Sci.
Jirí Adámek, Stefan Milius, Jirí Velebil
2014 — conf
Canonical Nondeterministic Automata.
CMCS
Robert S. R. Myers, Jirí Adámek, Stefan Milius, Henning Urbat
2014 J jnl
Coproducts of Monads on Set.
CoRR
Jirí Adámek, Nathan J. Bowler, Paul Blain Levy, Stefan Milius
2014 J jnl
Corecursive Algebras, Corecursive Monads and Bloom Monads.
Log. Methods Comput. Sci.
Jirí Adámek, Mahdieh Haddadi, Stefan Milius
2014 B conf
Generalized Eilenberg Theorem I: Local Varieties of Languages.
FoSSaCS
Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
2014 — conf
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure.
CMCS
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
2014 J jnl
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure.
CoRR
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
2014 J jnl
Observations on formal safety analysis in practice.
Sci. Comput. Program.
Michaela Huhn, Stefan Milius
2014 B conf
On Continuous Nondeterminism and State Minimality.
MFPS
Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius
2014 J jnl
Simplified Coalgebraic Trace Equivalence.
CoRR
Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder
2014 — conf
Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract).
IFIP TCS
Sergey Goncharov, Stefan Milius, Alexandra Silva
2014 J jnl
Towards a Coalgebraic Chomsky Hierarchy.
CoRR
Sergey Goncharov, Stefan Milius, Alexandra Silva
2013 J jnl
Abstract GSOS Rules and a Modular Treatment of Recursive Definitions.
Log. Methods Comput. Sci.
Stefan Milius, Lawrence S. Moss, Daniel Schwencke
2013 B ed.
Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
CALCO
Reiko Heckel, Stefan Milius
2013 — conf
Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion.
FICS
Stefan Milius, Tadeusz Litak
2013 J jnl
How iterative reflections of monads are constructed.
Inf. Comput.
Jirí Adámek, Stefan Milius, Jirí Velebil
2013 B conf
Rational Operational Models.
MFPS
Stefan Milius, Marcello M. Bonsangue, Robert S. R. Myers, Jurriaan Rot
2013 J jnl
Sound and Complete Axiomatizations of Coalgebraic Language Equivalence.
ACM Trans. Comput. Log.
Marcello M. Bonsangue, Stefan Milius, Alexandra Silva
2013 J jnl
Well-Pointed Coalgebras
Log. Methods Comput. Sci.
Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
2012 B conf
A Coalgebraic Perspective on Minimization and Determinization.
FoSSaCS
Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva
2012 — conf
A framework for formal verification of systems of synchronous components.
MBEES
Stefan Milius, Henning Günther, Jan Peleska, Oliver Möller, Helge Löding, Martin Sulzmann, Ramin Hedayati, Axel Zechner
2012 A* conf
Coproducts of Monads on Set.
LICS
Jirí Adámek, Stefan Milius, Nathan J. Bowler, Paul Blain Levy
2012 — conf
On Finitary Functors and Their Presentations.
CMCS
Jirí Adámek, Stefan Milius, Lawrence S. Moss
2012 B conf
On the Formal Verification of Systems of Synchronous Software Components.
SAFECOMP
Henning Günther, Stefan Milius, Oliver Möller
2012 — conf
On the specification of operations on the rational behaviour of systems
EXPRESS/SOS
Marcello M. Bonsangue, Stefan Milius, Jurriaan Rot
2012 B conf
Well-Pointed Coalgebras (Extended Abstract).
FoSSaCS
Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
2011 J jnl
Elgot theories: a new perspective on the equational properties of iteration.
Math. Struct. Comput. Sci.
Jirí Adámek, Stefan Milius, Jirí Velebil
2011 C conf
Formal Safety Analysis in Industrial Practice.
FMICS
Ilyas Daskaya, Michaela Huhn, Stefan Milius
2011 B conf
From Corecursive Algebras to Corecursive Monads.
CALCO
Jirí Adámek, Mahdieh Haddadi, Stefan Milius
2011 J jnl
On second-order iterative monads.
Theor. Comput. Sci.
Jirí Adámek, Stefan Milius, Jirí Velebil
2011 B conf
Power-Set Functors and Saturated Trees.
CSL
Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
2011 J jnl
Semantics of Higher-Order Recursion Schemes
Log. Methods Comput. Sci.
Jirí Adámek, Stefan Milius, Jirí Velebil
2011 J jnl
Sound and complete axiomatizations of coalgebraic language equivalence
CoRR
Marcello M. Bonsangue, Stefan Milius, Alexandra Silva
2010 A* conf
A Sound and Complete Calculus for Finite Stream Circuits.
LICS
Stefan Milius
2010 B conf
CIA Structures and the Semantics of Recursion.
FoSSaCS
Stefan Milius, Lawrence S. Moss, Daniel Schwencke
2010 J jnl
Equational properties of iterative monads.
Inf. Comput.
Jirí Adámek, Stefan Milius, Jirí Velebil
2010 J jnl
Iterative reflections of monads.
Math. Struct. Comput. Sci.
Jirí Adámek, Stefan Milius, Jirí Velebil
2010 — conf
Recursive Program Schemes and Context-Free Monads.
CMCS@ETAPS
Jirí Adámek, Stefan Milius, Jirí Velebil
2009 B conf
A Description of Iterative Reflections of Monads (Extended Abstract).
FoSSaCS
Jirí Adámek, Stefan Milius, Jirí Velebil
2009 B conf
Complete Iterativity for Algebras with Effects.
CALCO
Stefan Milius, Thorsten Palm, Daniel Schwencke
2009 B conf
Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract).
MFPS
Jirí Adámek, Stefan Milius, Jirí Velebil
2009 B conf
Semantics of Higher-Order Recursion Schemes.
CALCO
Jirí Adámek, Stefan Milius, Jirí Velebil
2009 J jnl
The Category Theoretic Solution of Recursive Program Schemes
CoRR
Stefan Milius, Lawrence S. Moss
2008 J jnl
Bases for parametrized iterativity.
Inf. Comput.
Jirí Adámek, Stefan Milius, Jirí Velebil
2008 J jnl
Corrigendum to: "The category theoretic solution of recursive program schemes" [TCS 366 (2006) 3-59].
Theor. Comput. Sci.
Stefan Milius, Lawrence S. Moss
2008 — conf
Modelbasierte Softwareentwicklung mit SCADE in der Eisenbahnautomatisierung.
MBEES
Stefan Milius, Uwe Steinke
2008 J jnl
On Algebras with Iteration.
J. Log. Comput.
Jirí Adámek, Stephen L. Bloom, Stefan Milius
2007 J jnl
Algebras with parametrized iterativity.
Theor. Comput. Sci.
Jirí Adámek, Stefan Milius, Jirí Velebil
2007 J jnl
Recursive coalgebras of finitary functors.
RAIRO Theor. Informatics Appl.
Jirí Adámek, Dominik Lücke, Stefan Milius
2007 B conf
What Are Iteration Theories?
MFCS
Jirí Adámek, Stefan Milius, Jirí Velebil
2006 J jnl
Elgot Algebras
CoRR
Jirí Adámek, Stefan Milius, Jirí Velebil
2006 J jnl
Elgot Algebras.
Log. Methods Comput. Sci.
Jirí Adámek, Stefan Milius, Jirí Velebil
2006 — conf
How Iterative are Iterative Algebras?
CMCS
Jirí Adámek, Stefan Milius, Jirí Velebil
2006 J jnl
Iterative algebras at work.
Math. Struct. Comput. Sci.
Jirí Adámek, Stefan Milius, Jirí Velebil
2006 J jnl
Special Issue: Seventh Workshop on Coalgebraic Methods in Computer Science 2004.
Inf. Comput.
Jirí Adámek, Stefan Milius
2006 J jnl
Terminal coalgebras and free iterative theories.
Inf. Comput.
Jirí Adámek, Stefan Milius
2006 J jnl
The category-theoretic solution of recursive program schemes.
Theor. Comput. Sci.
Stefan Milius, Lawrence S. Moss
2005 J jnl
A general final coalgebra theorem.
Math. Struct. Comput. Sci.
Jirí Adámek, Stefan Milius, Jirí Velebil
2005 — —
Coalgebras, monads and semantics.
Stefan Milius
2005 J jnl
Completely iterative algebras and completely iterative monads.
Inf. Comput.
Stefan Milius
2005 B conf
Elgot Algebras: (Extended Abstract).
MFPS
Jirí Adámek, Stefan Milius, Jirí Velebil
2005 — ch.
Koalgebren Monaden und Semantik.
Ausgezeichnete Informatikdissertationen
Stefan Milius
2005 B conf
The Category Theoretic Solution of Recursive Program Schemes.
CALCO
Stefan Milius, Lawrence S. Moss
2004 — conf
From Iterative Algebras to Iterative Theories (Extended Abstract).
CMCS
Jirí Adámek, Stefan Milius, Jirí Velebil
2004 — conf
Iterative Algebras for a Base.
CTCS
Jirí Adámek, Stefan Milius, Jirí Velebil
2004 J jnl
On coalgebra based on classes.
Theor. Comput. Sci.
Jirí Adámek, Stefan Milius, Jirí Velebil
2004 — conf
Preface.
CMCS
Jirí Adámek, Stefan Milius
2004 — ed.
Proceedings of the Workshop on Coalgebraic Methods in Computer Science, CMCS 2004, Barcelona, Spain, March 27-29, 2004
CMCS
Jirí Adámek, Stefan Milius
2003 J jnl
Free Iterative Theories: A Coalgebraic View.
Math. Struct. Comput. Sci.
Jirí Adámek, Stefan Milius, Jirí Velebil
2003 J jnl
Infinite trees and completely iterative theories: a coalgebraic view.
Theor. Comput. Sci.
Peter Aczel, Jirí Adámek, Stefan Milius, Jirí Velebil
2003 J jnl
On Colimits in Categories of Relations.
Appl. Categorical Struct.
Stefan Milius
2003 J jnl
On coalgebra based on classes
CoRR
Jirí Adámek, Stefan Milius, Jirí Velebil
2003 J jnl
Some Remarks on Finitary and Iterative Monads.
Appl. Categorical Struct.
Jirí Adámek, Stefan Milius, Jirí Velebil
2002 — conf
Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors.
CMCS
Jirí Adámek, Stefan Milius, Jirí Velebil
2002 — conf
On Iteratable Endofunctors.
CTCS
Stefan Milius
2002 — conf
On Rational Monads and Free Iterative Theories.
CTCS
Jirí Adámek, Stefan Milius, Jirí Velebil
2002 — conf
Parametric corecursion and completely iterative monads.
FICS
Jirí Adámek, Stefan Milius, Jirí Velebil