Stefan Milius

Cited by

	All	Since 2020
Citations	2344	868
h-index	28	18
i10-index	64	30

220

110

165

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202534 21 61 66 30 50 39 69 75 35 93 140 141 123 149 168 155 131 150 141 199 203 44

Public access

View all

46 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: Math, IU;. Adjunct Prof: Computer Science, Linguistics, PhilosophyVerified email at indiana.edu
Alexandra SilvaCornell UniversityVerified email at cornell.edu
Sergey GoncharovSchool of Computer Science, University of BirminghamVerified email at bham.ac.uk
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Liang-Ting ChenInstitute of Information Science, Academia SinicaVerified email at iis.sinica.edu.tw
Dirk PattinsonAustralian National UniversityVerified email at anu.edu.au
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Michaela HuhnOstfalia, University of Applied Sciences, Computer Science FacultyVerified email at ostfalia.de
Paul Blain LevySenior Lecturer, University of BirminghamVerified email at cs.bham.ac.uk
Fabio ZanasiProfessor of Computer Science, University College LondonVerified email at ucl.ac.uk
Dexter KozenProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Jurriaan RotRadboud UniversityVerified email at cs.ru.nl
tadeusz litakFAU Erlangen-Nürnberg, Informatik 8Verified email at cs.fau.de
Alexander KurzChapman UniversityVerified email at chapman.edu
Mahdie HaddadiSemnan UniversityVerified email at semnan.ac.ir
Daniel HausmannUniversity of LiverpoolVerified email at liverpool.ac.uk
İlyas DaşkayaVerified email at daskaya.com
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterVerified email at mcs.le.ac.uk

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	147	2003
Completely iterative algebras and completely iterative monads S Milius Information and Computation 196 (1), 1-41, 2005	105	2005
Iterative algebras at work J Adámek, S Milius, J Velebil Mathematical Structures in Computer Science 16 (6), 1085-1131, 2006	96	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	79	2010
Elgot algebras J Adámek, S Milius, J Velebil Logical Methods in Computer Science 2, 2006	77	2006
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	68	2013
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	67	2012
Free iterative theories: a coalgebraic view JIRÍ ADÁMEK, S Milius, JIRÍ VELEBIL Mathematical Structures in Computer Science 13 (2), 259, 2003	59	2003
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	48	2015
On coalgebra based on classes J Adámek, S Milius, J Velebil Theoretical Computer Science 316 (1-3), 3-23, 2004	46	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	41	2007
Nominal automata with name binding L Schröder, D Kozen, S Milius, T Wißmann Foundations of Software Science and Computation Structures: 20th …, 2017	38	2017
Eilenberg Theorems for Free H Urbat, J Adámek, LT Chen, S Milius Mathematical Foundations of Computer Science 2017, 2016	38*	2016
Fixed points of functors J Adámek, S Milius, LS Moss Journal of Logical and Algebraic Methods in Programming 95, 41-81, 2018	37	2018
Well-pointed coalgebras J Adámek, S Milius, LS Moss, L Sousa Logical Methods in Computer Science 9, 2013	36	2013
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	35	2014
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	32	2011
Semantics of higher-order recursion schemes J Adamek, S Milius, J Velebil Logical Methods in Computer Science 7, 2011	32	2011
Terminal coalgebras and free iterative theories S Milius Information and Computation 204 (7), 1139-1172, 2006	32	2006

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

Cited by

Co-authors