Stefan Milius

引用先

	すべて	2020 年以来
引用	2303	840
h 指標	28	17
i10 指標	64	29

220

110

165

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202534 21 61 66 31 50 39 69 71 35 93 141 133 119 148 168 157 135 147 142 201 196 19

オープンアクセス

すべて表示

47 件の論文

0 件の論文

利用可能

利用不可

助成機関の要件に基づく

共著者

Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg確認したメールアドレス: cs.fau.de
Lawrence S. MossProfessor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, Philosophy確認したメールアドレス: indiana.edu
Alexandra SilvaCornell University確認したメールアドレス: cornell.edu
Sergey GoncharovSchool of Computer Science, University of Birmingham確認したメールアドレス: bham.ac.uk
Barbara KönigUniversität Duisburg-Essen, Theoretische Informatik確認したメールアドレス: uni-due.de
Dirk PattinsonAustralian National University確認したメールアドレス: anu.edu.au
Liang-Ting ChenInstitute of Information Science, Academia Sinica確認したメールアドレス: iis.sinica.edu.tw
Marcello BonsangueProfessor of Computer Science, Leiden University確認したメールアドレス: liacs.leidenuniv.nl
Filippo BonchiCNRS ENS-Lyon確認したメールアドレス: ens-lyon.fr
Michaela HuhnOstfalia, University of Applied Sciences, Computer Science Faculty確認したメールアドレス: ostfalia.de
Paul Blain LevySenior Lecturer, University of Birmingham確認したメールアドレス: cs.bham.ac.uk
Dexter KozenProfessor of Computer Science, Cornell University確認したメールアドレス: cs.cornell.edu
tadeusz litakFAU Erlangen-Nürnberg, Informatik 8確認したメールアドレス: cs.fau.de
Fabio ZanasiProfessor of Computer Science, University College London確認したメールアドレス: ucl.ac.uk
Jurriaan RotRadboud University確認したメールアドレス: cs.ru.nl
Mahdie HaddadiSemnan University確認したメールアドレス: semnan.ac.ir
Daniel HausmannUniversity of Liverpool確認したメールアドレス: liverpool.ac.uk
Alexander KurzChapman University確認したメールアドレス: chapman.edu
İlyas Daşkaya確認したメールアドレス: daskaya.com
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of Leicester確認したメールアドレス: mcs.le.ac.uk

フォロー

Stefan Milius

FAU Erlangen-Nürnberg

確認したメールアドレス: stefan-milius.eu - ホームページ

Semantics Coalgebra Category Theory Verification Formal Methods


タイトル引用回数順公開年順タイトル順	引用先引用先	年
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	104	2005
Iterative algebras at work J Adámek, S Milius, J Velebil Mathematical Structures in Computer Science 16 (6), 1085-1131, 2006	94	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	78	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	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	47	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	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	36*	2016
Fixed points of functors J Adámek, S Milius, LS Moss Journal of Logical and Algebraic Methods in Programming 95, 41-81, 2018	35	2018
Well-pointed coalgebras J Adámek, S Milius, LS Moss, L Sousa Logical Methods in Computer Science 9, 2013	34	2013
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	33	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
On finitary functors and their presentations J Adámek, S Milius, LS Moss, H Urbat Journal of Computer and System Sciences 81 (5), 813-833, 2015	31	2015

現在システムで処理を実行できません。しばらくしてからもう一度お試しください。

論文 1–20

年間引用数

重複した引用

結合された引用

共著者を追加共著者

フォロー

引用先

共著者