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