Stefan Milius
AuthID: R-00H-3QZ
1
TITLE: Toward a Uniform Theory of Effectful State Machines
AUTHORS: Sergey Goncharov; Stefan Milius; Alexandra Silva;
PUBLISHED: 2020, SOURCE: ACM Trans. Comput. Log., VOLUME: 21, ISSUE: 3
AUTHORS: Sergey Goncharov; Stefan Milius; Alexandra Silva;
PUBLISHED: 2020, SOURCE: ACM Trans. Comput. Log., VOLUME: 21, ISSUE: 3
INDEXED IN: 
DBLP
DBLP2
TITLE: ON FINITARY FUNCTORS Full Text
AUTHORS: Adamek, J; Milius, S; Sousa, L; Wissmann, T;
PUBLISHED: 2019, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 34
AUTHORS: Adamek, J; Milius, S; Sousa, L; Wissmann, T;
PUBLISHED: 2019, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 34
INDEXED IN: 
WOS
WOS3
TITLE: FINITELY PRESENTABLE ALGEBRAS FOR FINITARY MONADS Full Text
AUTHORS: Adamek, J; Milius, S; Sousa, L; Wissmann, T;
PUBLISHED: 2019, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 34
AUTHORS: Adamek, J; Milius, S; Sousa, L; Wissmann, T;
PUBLISHED: 2019, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 34
INDEXED IN: WOS
WOS4
TITLE: Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure Full Text
AUTHORS: Filippo Bonchi; Stefan Milius; Alexandra Silva ; Fabio Zanasi;
PUBLISHED: 2015, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 604
AUTHORS: Filippo Bonchi; Stefan Milius; Alexandra Silva ; Fabio Zanasi;
PUBLISHED: 2015, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 604
5
TITLE: Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract)
AUTHORS: Sergey Goncharov; Stefan Milius; Alexandra Silva ;
PUBLISHED: 2014, SOURCE: Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings, VOLUME: 8705
AUTHORS: Sergey Goncharov; Stefan Milius; Alexandra Silva ;
PUBLISHED: 2014, SOURCE: Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings, VOLUME: 8705
INDEXED IN: DBLP
DBLP6
TITLE: How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure PDF
AUTHORS: Filippo Bonchi; Stefan Milius; Alexandra Silva ; Fabio Zanasi;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1402.4062
AUTHORS: Filippo Bonchi; Stefan Milius; Alexandra Silva ; Fabio Zanasi;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1402.4062
INDEXED IN: DBLP 
arXiv
DBLP arXiv7
TITLE: Towards a Coalgebraic Chomsky Hierarchy PDF
AUTHORS: Sergey Goncharov; Stefan Milius; Alexandra Silva ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1401.5277
AUTHORS: Sergey Goncharov; Stefan Milius; Alexandra Silva ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1401.5277
INDEXED IN: DBLP arXiv
DBLP arXiv8
TITLE: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
AUTHORS: Reiko Heckel; Stefan Milius;
PUBLISHED: 2013, SOURCE: CALCO, VOLUME: 8089
AUTHORS: Reiko Heckel; Stefan Milius;
PUBLISHED: 2013, SOURCE: CALCO, VOLUME: 8089
INDEXED IN: DBLP
DBLP9
TITLE: Well-Pointed Coalgebras
AUTHORS: Jiri Adamek; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Foundations of Software Science and Computational Structures (FOSSACS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, VOLUME: 7213
AUTHORS: Jiri Adamek; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Foundations of Software Science and Computational Structures (FOSSACS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, VOLUME: 7213
INDEXED IN: WOS
WOS10
TITLE: Sound and complete axiomatizations of coalgebraic language equivalence PDF
AUTHORS: Marcello M. Bonsangue; Stefan Milius; Alexandra Silva ;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1104.2803
AUTHORS: Marcello M. Bonsangue; Stefan Milius; Alexandra Silva ;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1104.2803
INDEXED IN: DBLP arXiv
DBLP arXiv