( en | de | ru )

 

Disambiguation of "Milius, Stefan"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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)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)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 Description of Iterative Reflections of Monads (Extended Abstract)., , and . FoSSaCS, volume 5504 of Lecture Notes in Computer Science, page 152-166. Springer, (2009)Eilenberg's variety theorem without Boolean operations., , and . Inf. Comput., 295 (Part B): 104916 (December 2023)Positive Data Languages., , and . MFCS, volume 272 of LIPIcs, page 48:1-48:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Towards a Higher-Order Mathematical Operational Semantics., , , , and . Proc. ACM Program. Lang., 7 (POPL): 632-658 (January 2023)From Generic Partition Refinement to Weighted Tree Automata Minimization., , , and . CoRR, (2020)Toward a Uniform Theory of Effectful State Machines., , and . ACM Trans. Comput. Log., 21 (3): 23:1-23:63 (2020)