( en | de | ru )

 

Disambiguation of "Milius, Stefan"

Author of the publication

copydeleteadd this publication to your clipboard
Graded Monads and Behavioural Equivalence Games.

, , , , and . LICS, page 61:1-61:13. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefan Milius

Birgit Milius

Doreen Milius

Matthias Milius

Wolfgang Milius

 

Other publications of authors with the same name

Finitary monads on the category of posets., , , and . Math. Struct. Comput. Sci., 31 (7): 799-821 (2021)Efficient and Modular Coalgebraic Partition Refinement., , , and . Log. Methods Comput. Sci., (2020)On Well-Founded and Recursive Coalgebras., , and . FoSSaCS, volume 12077 of Lecture Notes in Computer Science, page 17-36. Springer, (2020)A Linear-Time Nominal μ-Calculus with Name Allocation., , and . MFCS, volume 202 of LIPIcs, page 58:1-58:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)A Description of Iterative Reflections of Monads (Extended Abstract)., , and . FoSSaCS, volume 5504 of Lecture Notes in Computer Science, page 152-166. Springer, (2009)Positive Data Languages., , and . MFCS, volume 272 of LIPIcs, page 48:1-48:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration., , and . CoRR, (2019)From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper).. CALCO, volume 139 of LIPIcs, page 2:1-2:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)From Generic Partition Refinement to Weighted Tree Automata Minimization., , , and . CoRR, (2020)Towards a Higher-Order Mathematical Operational Semantics., , , , and . Proc. ACM Program. Lang., 7 (POPL): 632-658 (January 2023)