Stefan Milius

Cited by

	All	Since 2017
Citations	1873	867
h-index	23	16
i10-index	56	32

180

135

2003200420052006200720082009201020112012201320142015201620172018201920202021202230 24 47 76 34 50 34 70 70 41 109 148 134 120 147 176 150 138 155 98

Public access

View all

50 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de
Lawrence S. MossProfessor of Mathematics, Indiana University, Bloomington. Also, Adjunct Professor: ComputerVerified email at indiana.edu
Alexandra SilvaCornell UniversityVerified email at cornell.edu
Dirk PattinsonAustralian National UniversityVerified email at anu.edu.au
Liang-Ting ChenInstitute of Information Science, Academia SinicaVerified email at iis.sinica.edu.tw
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Sergey GoncharovAkademischer Oberrat, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at fau.de
Michaela HuhnOstfalia, University of Applied Science, Computer Science FacultyVerified email at ostfalia.de
Paul Blain LevySenior Lecturer, University of BirminghamVerified email at cs.bham.ac.uk
Dexter KozenProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Mahdie HaddadiSemnan UniversityVerified email at semnan.ac.ir
tadeusz litakFAU Erlangen-Nürnberg, Informatik 8Verified email at cs.fau.de
Fabio ZanasiAssociate Professor at University College LondonVerified email at ucl.ac.uk
Jurriaan RotUniversity College London & Radboud UniversityVerified email at cs.ru.nl
Alexander KurzChapman UniversityVerified email at chapman.edu
Jérémy DubutNational Institute of Advanced Industrial Science and TechnologyVerified email at aist.go.jp
İlyas DaşkayaVerified email at daskaya.com
Daniel LohmannLeibniz Universität Hannover, Institute for Systems EngineeringVerified email at sra.uni-hannover.de

Stefan Milius

FAU Erlangen-Nürnberg

Verified email at stefan-milius.eu - Homepage

Semantics Coalgebra Category Theory Verification Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Infinite trees and completely iterative theories: a coalgebraic view P Aczel, J Adámek, S Milius, J Velebil Theoretical Computer Science 300 (1-3), 1-45, 2003	135	2003
Completely iterative algebras and completely iterative monads S Milius Information and Computation 196 (1), 1-41, 2005	97	2005
Iterative algebras at work J Adámek, S Milius, J Velebil Mathematical Structures in Computer Science 16 (6), 1085-1131, 2006	86	2006
Elgot algebras J Adámek, S Milius, J Velebil Electronic Notes in Theoretical Computer Science 155, 87-109, 2006	71	2006
A sound and complete calculus for finite stream circuits S Milius 2010 25th Annual IEEE Symposium on Logic in Computer Science, 421-430, 2010	68	2010
A coalgebraic perspective on minimization and determinization J Adámek, F Bonchi, M Hülsbusch, B König, S Milius, A Silva International Conference on Foundations of Software Science and …, 2012	66	2012
Sound and complete axiomatizations of coalgebraic language equivalence MM Bonsangue, S Milius, A Silva ACM Transactions on Computational Logic (TOCL) 14 (1), 1-52, 2013	58	2013
Free iterative theories: a coalgebraic view JIRÍ ADÁMEK, S Milius, JIRÍ VELEBIL Mathematical Structures in Computer Science 13 (2), 259, 2003	58	2003
On coalgebra based on classes J Adámek, S Milius, J Velebil Theoretical Computer Science 316 (1-3), 3-23, 2004	44	2004
The category-theoretic solution of recursive program schemes S Milius, LS Moss Theoretical Computer Science 366 (1-2), 3-59, 2006	42	2006
Recursive coalgebras of finitary functors J Adámek, D Lücke, S Milius RAIRO-Theoretical Informatics and Applications 41 (4), 447-462, 2007	38	2007
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	34	2015
Generalized eilenberg theorem I: local varieties of languages J Adámek, S Milius, RSR Myers, H Urbat International Conference on Foundations of Software Science and Computation …, 2014	33	2014
Terminal coalgebras and free iterative theories S Milius Information and Computation 204 (7), 1139-1172, 2006	30	2006
Nominal automata with name binding L Schröder, D Kozen, S Milius, T Wißmann International Conference on Foundations of Software Science and Computation …, 2017	29	2017
Eilenberg Theorems for Free H Urbat, J Adámek, LT Chen, S Milius Mathematical Foundations of Computer Science 2017, 2016	28*	2016
Semantics of higher-order recursion schemes J Velebil, S Milius, J Adamek Logical Methods in Computer Science 7, 2011	28	2011
Abstract GSOS rules and a modular treatment of recursive definitions S Milius, LS Moss, D Schwencke arXiv preprint arXiv:1307.2538, 2013	27	2013
Well-pointed coalgebras J Adámek, S Milius, LS Moss, L Sousa International Conference on Foundations of Software Science and …, 2012	27	2012
Elgot theories: a new perspective on the equational properties of iteration J Adámek, S Milius, J Velebil Mathematical Structures in Computer Science 21 (2), 417-480, 2011	27	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors