Stefan Milius

Cited by

	All	Since 2019
Citations	2253	945
h-index	27	17
i10-index	64	32

220

110

165

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202434 21 61 66 31 50 39 69 74 35 90 141 132 120 148 168 158 135 147 140 209 154

Public access

View all

44 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 GoncharovResearcher, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at fau.de
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Dirk PattinsonAustralian National UniversityVerified email at anu.edu.au
Liang-Ting ChenInstitute of Information Science, Academia SinicaVerified email at iis.sinica.edu.tw
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
Dexter KozenProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
tadeusz litakFAU Erlangen-Nürnberg, Informatik 8Verified email at cs.fau.de
Fabio ZanasiProfessor of Computer ScienceVerified email at ucl.ac.uk
Jurriaan RotRadboud UniversityVerified email at cs.ru.nl
Mahdie HaddadiSemnan UniversityVerified email at semnan.ac.ir
Daniel HausmannUniversity of LiverpoolVerified email at liverpool.ac.uk
Alexander KurzChapman UniversityVerified email at chapman.edu
İ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	146	2003
Completely iterative algebras and completely iterative monads S Milius Information and Computation 196 (1), 1-41, 2005	103	2005
Iterative algebras at work J Adámek, S Milius, J Velebil Mathematical Structures in Computer Science 16 (6), 1085-1131, 2006	93	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	77	2010
Elgot algebras J Adámek, S Milius, J Velebil Logical Methods in Computer Science 2, 2006	74	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	67	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	66	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
On coalgebra based on classes J Adámek, S Milius, J Velebil Theoretical Computer Science 316 (1-3), 3-23, 2004	47	2004
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	46	2015
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	40	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	36	2017
Eilenberg Theorems for Free H Urbat, J Adámek, LT Chen, S Milius Mathematical Foundations of Computer Science 2017, 2016	34*	2016
Well-pointed coalgebras J Adámek, S Milius, LS Moss, L Sousa Logical Methods in Computer Science 9, 2013	34	2013
Fixed points of functors J Adámek, S Milius, LS Moss Journal of Logical and Algebraic Methods in Programming 95, 41-81, 2018	33	2018
Generalized eilenberg theorem I: local varieties of languages J Adámek, S Milius, RSR Myers, H Urbat Foundations of Software Science and Computation Structures: 17th …, 2014	32	2014
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
Abstract GSOS rules and a modular treatment of recursive definitions S Milius, LS Moss, D Schwencke Logical Methods in Computer Science 9, 2013	30	2013

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