Articles with public access mandates - Stefan MiliusLearn more
Available somewhere: 44
A sound and complete calculus for finite stream circuits
S Milius
2010 25th Annual IEEE Symposium on Logic in Computer Science, 421-430, 2010
Mandates: German Research Foundation
A coalgebraic perspective on minimization and determinization
J Adámek, F Bonchi, M Hülsbusch, B König, S Milius, A Silva
Foundations of Software Science and Computational Structures: 15th …, 2012
Mandates: German Research Foundation
Generic trace semantics and graded monads
S Milius, D Pattinson, L Schröder
6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), 2015
Mandates: German Research Foundation
Fixed points of functors
J Adámek, S Milius, LS Moss
Journal of Logical and Algebraic Methods in Programming 95, 41-81, 2018
Mandates: German Research Foundation
Profinite monads, profinite equations, and Reiterman’s theorem
LT Chen, J Adámek, S Milius, H Urbat
International Conference on Foundations of Software Science and Computation …, 2016
Mandates: German Research Foundation
Varieties of languages in a category
J Adámek, RSR Myers, H Urbat, S Milius
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 414-425, 2015
Mandates: German Research Foundation
Equational properties of iterative monads
J Adámek, S Milius, J Velebil
Information and Computation 208 (12), 1306-1348, 2010
Mandates: German Research Foundation
Finitary monads on the category of posets
J Adámek, C Ford, S Milius, L Schröder
Mathematical Structures in Computer Science 31 (7), 799-821, 2021
Mandates: German Research Foundation
Equational axiomatization of algebras with structure
S Milius, H Urbat
Foundations of Software Science and Computation Structures: 22nd …, 2019
Mandates: German Research Foundation
Complete iterativity for algebras with effects
S Milius, T Palm, D Schwencke
Algebra and Coalgebra in Computer Science: Third International Conference …, 2009
Mandates: German Research Foundation
Coalgebraic constructions of canonical nondeterministic automata
RSR Myers, J Adámek, S Milius, H Urbat
Theoretical Computer Science 604, 81-101, 2015
Mandates: German Research Foundation
Guard your daggers and traces: Properties of guarded (co-) recursion
S Milius, T Litak
Fundamenta Informaticae 150 (3-4), 407-449, 2017
Mandates: German Research Foundation
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure
F Bonchi, S Milius, A Silva, F Zanasi
Theoretical Computer Science 604, 102-126, 2015
Mandates: German Research Foundation, Fundação para a Ciência e a Tecnologia, Portugal
On Final Coalgebras of Power-Set Functors and Saturated Trees: To George Janelidze on the Occasion of His Sixtieth Birthday
J Adámek, PB Levy, S Milius, LS Moss, L Sousa
Applied Categorical Structures 23, 609-641, 2015
Mandates: Fundação para a Ciência e a Tecnologia, Portugal, UK Engineering and …
Behavioural preorders via graded monads
C Ford, S Milius, L Schröder
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021
Mandates: German Research Foundation
Complete Elgot monads and coalgebraic resumptions
S Goncharov, S Milius, C Rauch
Electronic Notes in Theoretical Computer Science 325, 147-168, 2016
Mandates: German Research Foundation
A new foundation for finitary corecursion: The locally finite fixpoint and its properties
S Milius, D Pattinson, T Wißmann
International Conference on Foundations of Software Science and Computation …, 2016
Mandates: German Research Foundation
Towards a higher-order mathematical operational semantics
S Goncharov, S Milius, L Schröder, S Tsampas, H Urbat
Proceedings of the ACM on Programming Languages 7 (POPL), 632-658, 2023
Mandates: German Research Foundation
Automatic verification of application-tailored OSEK kernels
HP Deifel, M Göttlinger, S Milius, L Schröder, C Dietrich, D Lohmann
2017 Formal Methods in Computer Aided Design (FMCAD), 196-203, 2017
Mandates: German Research Foundation
Graded monads and behavioural equivalence games
C Ford, S Milius, L Schröder, H Beohar, B König
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
Mandates: German Research Foundation
Publication and funding information is determined automatically by a computer program