Edit Profile (opens in new tab) Milius, Stefan Co-Author Distance Author ID: milius.stefan Published as: Milius, Stefan; Milius, S. External Links: MGP Documents Indexed: 123 Publications since 2002, including 2 Books and 4 Additional arXiv Preprints 2 Contributions as Editor Co-Authors: 41 Co-Authors with 118 Joint Publications 898 Co-Co-Authors all top 5 Co-Authors 7 single-authored 65 Adámek, Jiří 28 Velebil, Jiří 26 Urbat, Henning 20 Schröder, Lutz 17 Moss, Lawrence S. 17 Wißmann, Thorsten 7 Myers, Robert S. R. 6 Goncharov, Sergeĭ Savost’yanovich 6 Silva, Alexandra 6 Sousa, Lurdes 5 Birkmann, Fabian 5 Pattinson, Dirk 4 Deifel, Hans-Peter 4 Dorsch, Ulrich 3 Bonchi, Filippo 3 Bonsangue, Marcello Maria 3 Chen, Liang-Ting 3 Ford, Chase 3 Schwencke, Daniel 3 Tsampas, Stelios 2 Frank, Florian 2 Haddadi, Mahdieh 2 Hausmann, Daniel 2 Levy, Paul Blain 2 Litak, Tadeusz 2 Rot, Jurriaan 2 Zanasi, Fabio 1 Aczel, Peter 1 Bloom, Stephen L. 1 Börger, Reinhard 1 Bowler, Nathan 1 Dubut, Jérémy 1 Heckel, Reiko 1 Hülsbusch, Mathias 1 Katsumata, Shin-ya 1 König, Barbara 1 Kozen, Dexter C. 1 Kurz, Alexander 1 Lücke, Dominik 1 Palm, Thorsten 1 Rauch, Christoph all top 5 Serials 10 Theoretical Computer Science 9 Logical Methods in Computer Science 7 Information and Computation 6 Mathematical Structures in Computer Science 4 Applied Categorical Structures 4 Theory and Applications of Categories 4 ACM Transactions on Computational Logic 2 Journal of Logic and Computation 1 Commentationes Mathematicae Universitatis Carolinae 1 Journal of Computer and System Sciences 1 Formal Aspects of Computing 1 RAIRO. Theoretical Informatics and Applications 1 Fundamenta Informaticae 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Cambridge Tracts in Theoretical Computer Science 1 Lecture Notes in Computer Science 1 Electronic Notes in Theoretical Computer Science all top 5 Fields 94 Computer science (68-XX) 80 Category theory; homological algebra (18-XX) 12 Mathematical logic and foundations (03-XX) 11 General algebraic systems (08-XX) 4 Group theory and generalizations (20-XX) 3 Probability theory and stochastic processes (60-XX) 2 General and overarching topics; collections (00-XX) 2 General topology (54-XX) 1 Associative rings and algebras (16-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 99 Publications have been cited 647 times in 277 Documents Cited by ▼ Year ▼ Infinite trees and completely iterative theories: A coalgebraic view. Zbl 1028.68077 Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří 44 2003 Iterative algebras at work. Zbl 1112.18005 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 32 2006 Completely iterative algebras and completely iterative monads. Zbl 1062.68075 Milius, Stefan 32 2005 Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186 Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra 28 2013 A coalgebraic perspective on minimization and determinization. Zbl 1352.68171 Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra 21 2012 Generalized Eilenberg theorem. I: Local varieties of languages. Zbl 1407.68314 Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning 17 2014 Elgot algebras. Zbl 1127.68058 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 16 2006 Eilenberg theorems for free. Zbl 1441.68139 Urbat, Henning; Adámek, Jiří; Chen, Liang-Ting; Milius, Stefan 16 2017 Free iterative theories: A coalgebraic view. Zbl 1030.18004 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 15 2003 Generic trace semantics and graded monads. Zbl 1366.68211 Milius, Stefan; Pattinson, Dirk; Schröder, Lutz 14 2015 Abstract GSOS rules and a modular treatment of recursive definitions. Zbl 1307.68051 Milius, Stefan; Moss, Lawrence S.; Schwencke, Daniel 13 2013 Profinite monads, profinite equations, and Reiterman’s theorem. Zbl 1474.18010 Chen, Liang-Ting; Adámek, Jiří; Milius, Stefan; Urbat, Henning 13 2016 Terminal coalgebras and free iterative theories. Zbl 1104.68068 Adámek, Jiří; Milius, Stefan 13 2006 Coalgebraic constructions of canonical nondeterministic automata. Zbl 1380.68290 Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning 12 2015 Equational properties of iterative monads. Zbl 1234.68271 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 11 2010 Complete iterativity for algebras with effects. Zbl 1239.68046 Milius, Stefan; Palm, Thorsten; Schwencke, Daniel 10 2009 The category-theoretic solution of recursive program schemes. Zbl 1154.68041 Milius, Stefan; Moss, Lawrence S. 10 2006 Efficient coalgebraic partition refinement. Zbl 1442.68112 Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten 10 2017 Well-pointed coalgebras. Zbl 1272.18002 Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 10 2013 Varieties of languages in a category. Zbl 1401.68212 Adámek, Jiří; Myers, Robert S. R.; Urbat, Henning; Milius, Stefan 10 2015 Elgot theories: a new perspective on the equational properties of iteration. Zbl 1222.18002 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 9 2011 On finitary functors. Zbl 1470.18006 Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten 9 2019 Coproducts of monads on Set. Zbl 1364.18001 Adámek, Jiří; Milius, Stefan; Bowler, Nathan; Levy, Paul B. 9 2012 Nominal automata with name binding. Zbl 1486.68097 Schröder, Lutz; Kozen, Dexter; Milius, Stefan; Wißmann, Thorsten 9 2017 Equational axiomatization of algebras with structure. Zbl 1524.08003 Milius, Stefan; Urbat, Henning 9 2019 Iterative algebras: how iterative are they? Zbl 1137.68042 Adámek, J.; Börger, R.; Milius, S.; Velebil, J. 8 2007 Iterative reflections of monads. Zbl 1239.18005 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 8 2010 Recursive coalgebras of finitary functors. Zbl 1147.18001 Adámek, Jiří; Lücke, Dominik; Milius, Stefan 8 2007 On finitary functors and their presentations. Zbl 1328.18004 Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. 8 2012 On finitary functors and their presentations. Zbl 1328.18005 Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Urbat, Henning 7 2015 Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. Zbl 1330.68194 Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 7 2015 On coalgebra based on classes. Zbl 1047.18005 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 7 2004 Graded monads and graded logics for the linear time – branching time spectrum. Zbl 07649944 Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz 7 2019 Semantics of higher-order recursion schemes. Zbl 1218.03013 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 6 2011 A new foundation for finitary corecursion. The locally finite fixpoint and its properties. Zbl 1475.68196 Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten 6 2016 Guard your daggers and traces: properties of guarded (co-)recursion. Zbl 1375.68042 Milius, Stefan; Litak, Tadeusz 6 2017 Some remarks on finitary and iterative monads. Zbl 1035.18002 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 6 2003 Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085 Goncharov, Sergey; Milius, Stefan; Silva, Alexandra 6 2014 Efficient and modular coalgebraic partition refinement. Zbl 1442.68113 Wißmann, Thorsten; Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz 6 2020 Finitary corecursion for the infinitary lambda calculus. Zbl 1366.03172 Milius, Stefan; Wißmann, Thorsten 6 2015 On iteratable endofunctors. Zbl 1270.18012 Milius, Stefan 6 2003 Corecursive algebras, corecursive monads and Bloom monads. Zbl 1341.68121 Adámek, Jiří; Haddadi, Mahdie; Milius, Stefan 5 2014 A new foundation for finitary corecursion and iterative algebras. Zbl 1435.68208 Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten 5 2020 Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets. Zbl 1375.18029 Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten 5 2016 From generic partition refinement to weighted tree automata minimization. Zbl 1519.68126 Wißmann, Thorsten; Deifel, Hans-Peter; Milius, Stefan; Schröder, Lutz 5 2021 On final coalgebras of power-set functors and saturated trees. Zbl 1328.03059 Adámek, Jiří; Levy, Paul B.; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 5 2015 Syntactic monoids in a category. Zbl 1366.68188 Adamek, Jiří; Milius, Stefan; Urbat, Henning 5 2015 Complete Elgot monads and coalgebraic resumptions. Zbl 1395.18004 Goncharov, Sergey; Milius, Stefan; Rauch, Christoph 5 2016 On rational monads and free iterative theories. Zbl 1270.18010 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 5 2003 Generalized Eilenberg theorem. Varieties of languages in a category. Zbl 1407.68315 Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning 5 2019 Canonical nondeterministic automata. Zbl 1331.68138 Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning 4 2014 On colimits in categories of relations. Zbl 1038.18004 Milius, Stefan 4 2003 What are iteration theories? Zbl 1147.18301 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 4 2007 Finitary monads on the category of posets. Zbl 1495.18007 Adámek, Jiří; Ford, Chase; Milius, Stefan; Schröder, Lutz 4 2021 Well-pointed coalgebras (extended abstract). Zbl 1352.68168 Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 3 2012 Semantics of higher-order recursion schemes. Zbl 1239.68041 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2009 On second-order iterative monads. Zbl 1243.68206 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2011 Proper functors and their rational fixed point. Zbl 1433.18001 Milius, Stefan 3 2017 Algebras with parametrized iterativity. Zbl 1131.18002 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2007 Toward a uniform theory of effectful state machines. Zbl 1446.68085 Goncharov, Sergey; Milius, Stefan; Silva, Alexandra 3 2020 Elgot theories: a new perspective of iteration theories (extended abstract). Zbl 1338.18017 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2009 Generic partition refinement and weighted tree automata. Zbl 1539.68156 Deifel, Hans-Peter; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten 3 2019 Simplified coalgebraic trace equivalence. Zbl 1453.68112 Kurz, Alexander; Milius, Stefan; Pattinson, Dirk; Schröder, Lutz 3 2015 Bases for parametrized iterativity. Zbl 1160.18003 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2008 Final coalgebras and a solution theorem for arbitrary endofunctors. Zbl 1270.68183 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2002 Iterative algebras for a base. Zbl 1272.68281 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2005 Explaining behavioural inequivalence generically in quasilinear time. Zbl 07730634 Wißmann, Thorsten; Milius, Stefan; Schröder, Lutz 3 2021 Monads on categories of relational structures. Zbl 07774240 Ford, Chase; Milius, Stefan; Schröder, Lutz 3 2021 Guard your daggers and traces: on the equational properties of guarded (co-)recursion. Zbl 1462.68027 Milius, Stefan; Litak, Tadeusz 2 2013 Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Zbl 1271.68041 2 2013 Rational operational models. Zbl 1334.68137 Milius, Stefan; Bonsangue, Marcello M.; Myers, Robert S. R.; Rot, Jurriaan 2 2013 On well-founded and recursive coalgebras. Zbl 1455.18001 Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. 2 2020 On the specification of operations on the rational behaviour of systems. Zbl 1459.68124 Bonsangue, Marcello M.; Milius, Stefan; Rot, Jurriaan 2 2012 Proper functors and fixed points for finite behaviour. Zbl 1448.18008 Milius, Stefan 2 2018 On algebras with effectful iteration. Zbl 1520.18003 Milius, Stefan; Adámek, Jiří; Urbat, Henning 2 2018 A general final coalgebra theorem. Zbl 1080.18004 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 2 2005 A description of iterative reflections of monads (extended abstract). Zbl 1234.18003 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 2 2009 Equational properties of recursive program scheme solutions. Zbl 1170.68009 Milius, Stefan; Moss, Lawrence S. 2 2009 A coalgebraic view on reachability. Zbl 1538.18001 Wißmann, Thorsten; Milius, Stefan; Katsumata, Shin-ya; Dubut, Jérémy 2 2019 Power-set functors and saturated trees. Zbl 1247.03140 Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 2 2011 Nondeterministic syntactic complexity. Zbl 07410438 Myers, Robert S. R.; Milius, Stefan; Urbat, Henning 2 2021 Base modules for parametrized iterativity. Zbl 1282.68168 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 1 2014 Elgot algebras (extended abstract). Zbl 1273.18008 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 1 2006 Finitely presentable algebras for finitary monads. Zbl 1468.18006 Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten 1 2019 CIA structures and the semantics of recursion. Zbl 1284.68374 Milius, Stefan; Moss, Lawrence S.; Schwencke, Daniel 1 2010 Initial algebras and terminal coalgebras. The theory of fixed points of functors (to appear). Zbl 07854921 Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. 1 2024 On corecursive algebras for functors preserving coproducts. Zbl 1436.18002 Adámek, Jiří; Milius, Stefan 1 2017 Predicate liftings and functor presentations in coalgebraic expression languages. Zbl 1519.68146 Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten 1 2018 Eilenberg’s variety theorem without Boolean operations. Zbl 07798807 Birkmann, Fabian; Milius, Stefan; Urbat, Henning 1 2023 How to kill epsilons with a dagger. A coalgebraic take on systems with algebraic label structure. Zbl 1331.68148 Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 1 2014 The category theoretic solution of recursive program schemes. Zbl 1151.68376 Milius, Stefan; Moss, Lawrence S. 1 2005 From iterative algebras to iterative theories (extended abstract). Zbl 1271.68153 Adámek, Jiří; Milius, Stefan 1 2004 Proceedings of the 7th workshop on coalgebraic methods in computer science (CMCS), Barcelona, Spain, March 27–29, 2004. Zbl 1271.68014 1 2004 Recursive program schemes and context-free monads. Zbl 1247.68049 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 1 2010 Varieties of data languages. Zbl 07561623 Urbat, Henning; Milius, Stefan 1 2019 Initial algebras without iteration ((Co)algebraic pearls). Zbl 07774231 Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. 1 2021 On language varieties without Boolean operations. Zbl 07405973 Birkmann, Fabian; Milius, Stefan; Urbat, Henning 1 2021 Quasilinear-time computation of generic modal witnesses for behavioural inequivalence. Zbl 07639914 Wißmann, Thorsten; Milius, Stefan; Schröder, Lutz 1 2022 Coalgebra encoding for efficient minimization. Zbl 07700633 Deifel, Hans-Peter; Milius, Stefan; Wißmann, Thorsten 1 2021 Initial algebras and terminal coalgebras. The theory of fixed points of functors (to appear). Zbl 07854921 Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. 1 2024 Eilenberg’s variety theorem without Boolean operations. Zbl 07798807 Birkmann, Fabian; Milius, Stefan; Urbat, Henning 1 2023 Quasilinear-time computation of generic modal witnesses for behavioural inequivalence. Zbl 07639914 Wißmann, Thorsten; Milius, Stefan; Schröder, Lutz 1 2022 From generic partition refinement to weighted tree automata minimization. Zbl 1519.68126 Wißmann, Thorsten; Deifel, Hans-Peter; Milius, Stefan; Schröder, Lutz 5 2021 Finitary monads on the category of posets. Zbl 1495.18007 Adámek, Jiří; Ford, Chase; Milius, Stefan; Schröder, Lutz 4 2021 Explaining behavioural inequivalence generically in quasilinear time. Zbl 07730634 Wißmann, Thorsten; Milius, Stefan; Schröder, Lutz 3 2021 Monads on categories of relational structures. Zbl 07774240 Ford, Chase; Milius, Stefan; Schröder, Lutz 3 2021 Nondeterministic syntactic complexity. Zbl 07410438 Myers, Robert S. R.; Milius, Stefan; Urbat, Henning 2 2021 Initial algebras without iteration ((Co)algebraic pearls). Zbl 07774231 Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. 1 2021 On language varieties without Boolean operations. Zbl 07405973 Birkmann, Fabian; Milius, Stefan; Urbat, Henning 1 2021 Coalgebra encoding for efficient minimization. Zbl 07700633 Deifel, Hans-Peter; Milius, Stefan; Wißmann, Thorsten 1 2021 Efficient and modular coalgebraic partition refinement. Zbl 1442.68113 Wißmann, Thorsten; Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz 6 2020 A new foundation for finitary corecursion and iterative algebras. Zbl 1435.68208 Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten 5 2020 Toward a uniform theory of effectful state machines. Zbl 1446.68085 Goncharov, Sergey; Milius, Stefan; Silva, Alexandra 3 2020 On well-founded and recursive coalgebras. Zbl 1455.18001 Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. 2 2020 On finitary functors. Zbl 1470.18006 Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten 9 2019 Equational axiomatization of algebras with structure. Zbl 1524.08003 Milius, Stefan; Urbat, Henning 9 2019 Graded monads and graded logics for the linear time – branching time spectrum. Zbl 07649944 Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz 7 2019 Generalized Eilenberg theorem. Varieties of languages in a category. Zbl 1407.68315 Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning 5 2019 Generic partition refinement and weighted tree automata. Zbl 1539.68156 Deifel, Hans-Peter; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten 3 2019 A coalgebraic view on reachability. Zbl 1538.18001 Wißmann, Thorsten; Milius, Stefan; Katsumata, Shin-ya; Dubut, Jérémy 2 2019 Finitely presentable algebras for finitary monads. Zbl 1468.18006 Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten 1 2019 Varieties of data languages. Zbl 07561623 Urbat, Henning; Milius, Stefan 1 2019 Proper functors and fixed points for finite behaviour. Zbl 1448.18008 Milius, Stefan 2 2018 On algebras with effectful iteration. Zbl 1520.18003 Milius, Stefan; Adámek, Jiří; Urbat, Henning 2 2018 Predicate liftings and functor presentations in coalgebraic expression languages. Zbl 1519.68146 Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten 1 2018 Eilenberg theorems for free. Zbl 1441.68139 Urbat, Henning; Adámek, Jiří; Chen, Liang-Ting; Milius, Stefan 16 2017 Efficient coalgebraic partition refinement. Zbl 1442.68112 Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten 10 2017 Nominal automata with name binding. Zbl 1486.68097 Schröder, Lutz; Kozen, Dexter; Milius, Stefan; Wißmann, Thorsten 9 2017 Guard your daggers and traces: properties of guarded (co-)recursion. Zbl 1375.68042 Milius, Stefan; Litak, Tadeusz 6 2017 Proper functors and their rational fixed point. Zbl 1433.18001 Milius, Stefan 3 2017 On corecursive algebras for functors preserving coproducts. Zbl 1436.18002 Adámek, Jiří; Milius, Stefan 1 2017 Profinite monads, profinite equations, and Reiterman’s theorem. Zbl 1474.18010 Chen, Liang-Ting; Adámek, Jiří; Milius, Stefan; Urbat, Henning 13 2016 A new foundation for finitary corecursion. The locally finite fixpoint and its properties. Zbl 1475.68196 Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten 6 2016 Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets. Zbl 1375.18029 Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten 5 2016 Complete Elgot monads and coalgebraic resumptions. Zbl 1395.18004 Goncharov, Sergey; Milius, Stefan; Rauch, Christoph 5 2016 Generic trace semantics and graded monads. Zbl 1366.68211 Milius, Stefan; Pattinson, Dirk; Schröder, Lutz 14 2015 Coalgebraic constructions of canonical nondeterministic automata. Zbl 1380.68290 Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning 12 2015 Varieties of languages in a category. Zbl 1401.68212 Adámek, Jiří; Myers, Robert S. R.; Urbat, Henning; Milius, Stefan 10 2015 On finitary functors and their presentations. Zbl 1328.18005 Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Urbat, Henning 7 2015 Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. Zbl 1330.68194 Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 7 2015 Finitary corecursion for the infinitary lambda calculus. Zbl 1366.03172 Milius, Stefan; Wißmann, Thorsten 6 2015 On final coalgebras of power-set functors and saturated trees. Zbl 1328.03059 Adámek, Jiří; Levy, Paul B.; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 5 2015 Syntactic monoids in a category. Zbl 1366.68188 Adamek, Jiří; Milius, Stefan; Urbat, Henning 5 2015 Simplified coalgebraic trace equivalence. Zbl 1453.68112 Kurz, Alexander; Milius, Stefan; Pattinson, Dirk; Schröder, Lutz 3 2015 Generalized Eilenberg theorem. I: Local varieties of languages. Zbl 1407.68314 Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning 17 2014 Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085 Goncharov, Sergey; Milius, Stefan; Silva, Alexandra 6 2014 Corecursive algebras, corecursive monads and Bloom monads. Zbl 1341.68121 Adámek, Jiří; Haddadi, Mahdie; Milius, Stefan 5 2014 Canonical nondeterministic automata. Zbl 1331.68138 Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning 4 2014 Base modules for parametrized iterativity. Zbl 1282.68168 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 1 2014 How to kill epsilons with a dagger. A coalgebraic take on systems with algebraic label structure. Zbl 1331.68148 Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 1 2014 Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186 Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra 28 2013 Abstract GSOS rules and a modular treatment of recursive definitions. Zbl 1307.68051 Milius, Stefan; Moss, Lawrence S.; Schwencke, Daniel 13 2013 Well-pointed coalgebras. Zbl 1272.18002 Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 10 2013 Guard your daggers and traces: on the equational properties of guarded (co-)recursion. Zbl 1462.68027 Milius, Stefan; Litak, Tadeusz 2 2013 Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Zbl 1271.68041 2 2013 Rational operational models. Zbl 1334.68137 Milius, Stefan; Bonsangue, Marcello M.; Myers, Robert S. R.; Rot, Jurriaan 2 2013 A coalgebraic perspective on minimization and determinization. Zbl 1352.68171 Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra 21 2012 Coproducts of monads on Set. Zbl 1364.18001 Adámek, Jiří; Milius, Stefan; Bowler, Nathan; Levy, Paul B. 9 2012 On finitary functors and their presentations. Zbl 1328.18004 Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. 8 2012 Well-pointed coalgebras (extended abstract). Zbl 1352.68168 Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 3 2012 On the specification of operations on the rational behaviour of systems. Zbl 1459.68124 Bonsangue, Marcello M.; Milius, Stefan; Rot, Jurriaan 2 2012 Elgot theories: a new perspective on the equational properties of iteration. Zbl 1222.18002 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 9 2011 Semantics of higher-order recursion schemes. Zbl 1218.03013 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 6 2011 On second-order iterative monads. Zbl 1243.68206 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2011 Power-set functors and saturated trees. Zbl 1247.03140 Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 2 2011 Equational properties of iterative monads. Zbl 1234.68271 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 11 2010 Iterative reflections of monads. Zbl 1239.18005 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 8 2010 CIA structures and the semantics of recursion. Zbl 1284.68374 Milius, Stefan; Moss, Lawrence S.; Schwencke, Daniel 1 2010 Recursive program schemes and context-free monads. Zbl 1247.68049 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 1 2010 Complete iterativity for algebras with effects. Zbl 1239.68046 Milius, Stefan; Palm, Thorsten; Schwencke, Daniel 10 2009 Semantics of higher-order recursion schemes. Zbl 1239.68041 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2009 Elgot theories: a new perspective of iteration theories (extended abstract). Zbl 1338.18017 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2009 A description of iterative reflections of monads (extended abstract). Zbl 1234.18003 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 2 2009 Equational properties of recursive program scheme solutions. Zbl 1170.68009 Milius, Stefan; Moss, Lawrence S. 2 2009 Bases for parametrized iterativity. Zbl 1160.18003 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2008 Iterative algebras: how iterative are they? Zbl 1137.68042 Adámek, J.; Börger, R.; Milius, S.; Velebil, J. 8 2007 Recursive coalgebras of finitary functors. Zbl 1147.18001 Adámek, Jiří; Lücke, Dominik; Milius, Stefan 8 2007 What are iteration theories? Zbl 1147.18301 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 4 2007 Algebras with parametrized iterativity. Zbl 1131.18002 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2007 Iterative algebras at work. Zbl 1112.18005 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 32 2006 Elgot algebras. Zbl 1127.68058 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 16 2006 Terminal coalgebras and free iterative theories. Zbl 1104.68068 Adámek, Jiří; Milius, Stefan 13 2006 The category-theoretic solution of recursive program schemes. Zbl 1154.68041 Milius, Stefan; Moss, Lawrence S. 10 2006 Elgot algebras (extended abstract). Zbl 1273.18008 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 1 2006 Completely iterative algebras and completely iterative monads. Zbl 1062.68075 Milius, Stefan 32 2005 Iterative algebras for a base. Zbl 1272.68281 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2005 A general final coalgebra theorem. Zbl 1080.18004 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 2 2005 The category theoretic solution of recursive program schemes. Zbl 1151.68376 Milius, Stefan; Moss, Lawrence S. 1 2005 On coalgebra based on classes. Zbl 1047.18005 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 7 2004 From iterative algebras to iterative theories (extended abstract). Zbl 1271.68153 Adámek, Jiří; Milius, Stefan 1 2004 Proceedings of the 7th workshop on coalgebraic methods in computer science (CMCS), Barcelona, Spain, March 27–29, 2004. Zbl 1271.68014 1 2004 Infinite trees and completely iterative theories: A coalgebraic view. Zbl 1028.68077 Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří 44 2003 Free iterative theories: A coalgebraic view. Zbl 1030.18004 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 15 2003 Some remarks on finitary and iterative monads. Zbl 1035.18002 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 6 2003 On iteratable endofunctors. Zbl 1270.18012 Milius, Stefan 6 2003 On rational monads and free iterative theories. Zbl 1270.18010 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 5 2003 On colimits in categories of relations. Zbl 1038.18004 Milius, Stefan 4 2003 Final coalgebras and a solution theorem for arbitrary endofunctors. Zbl 1270.68183 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2002 all cited Publications top 5 cited Publications all top 5 Cited by 244 Authors 60 Milius, Stefan 37 Adámek, Jiří 21 Velebil, Jiří 20 Schröder, Lutz 17 Urbat, Henning 14 Rot, Jurriaan 14 Silva, Alexandra 14 Wißmann, Thorsten 12 Goncharov, Sergeĭ Savost’yanovich 10 Uustalu, Tarmo 8 Bonsangue, Marcello Maria 7 Hansen, Helle Hvid 7 Levy, Paul Blain 7 Moss, Lawrence S. 7 Sammartino, Matteo 6 Dagnino, Francesco 6 Kurz, Alexander 6 Myers, Robert S. R. 6 Rauch, Christoph 6 Rutten, Jan J. M. M. 5 Hasuo, Ichiro 5 Jacobs, Bart 5 Kupke, Clemens 5 Mardare, Radu 5 Panangaden, Prakash 5 Piróg, Maciej 4 Bacci, Giorgio 4 Birkmann, Fabian 4 Ghani, Neil 4 Gibbons, Jeremy 4 Katsumata, Shin-ya 4 Kozen, Dexter C. 4 Parker, Jason T. 4 Pattinson, Dirk 4 Plotkin, Gordon D. 4 Salamanca, Julian 4 van Heerdt, Gerco 3 Ancona, Davide 3 Balan, Adriana 3 Ballester-Bolinches, Adolfo 3 Birkedal, Lars 3 Blumensath, Achim 3 Bonchi, Filippo 3 Brengos, Tomasz 3 Chen, Liang-Ting 3 Cosme-Llópez, Enric 3 Deifel, Hans-Peter 3 Dezani-Ciancaglini, Mariangiola 3 Dorsch, Ulrich 3 Dubut, Jérémy 3 Ésik, Zoltán 3 Hamana, Makoto 3 Kappé, Tobias 3 Klin, Bartek 3 König, Barbara 3 Küpper, Sebastian 3 Larsen, Kim Guldstrand 3 Litak, Tadeusz 3 Miculan, Marino 3 Moerman, Joshua 3 Neves, Renato 3 Noquez, Victoria 3 Petrisan, Daniela Luan 3 Pous, Damien 3 Reggio, Luca 3 Rosický, Jiří 3 Sangiorgi, Davide 3 Schwencke, Daniel 3 Sin’ya, Ryoma 3 Sobociński, Paweł 3 Sokolova, Ana 3 Sousa, Lurdes 3 Tamm, Hellis 3 Vene, Varmo 3 Zucca, Elena 2 Bacci, Giovanni 2 Barbanera, Franco 2 Beohar, Harsh 2 Bezhanishvili, Nick 2 Bizjak, Aleš 2 Bruni, Roberto 2 Capretta, Venanzio 2 Cho, Kenta 2 Colcombet, Thomas 2 De Marchi, Federico 2 Dostál, Matěj 2 Endrullis, Jörg 2 Fong, Brendan 2 Ganty, Pierre 2 Garner, Richard 2 Gehrke, Mai 2 Gutiérrez, Elena 2 Hirschowitz, André 2 Hirschowitz, Tom 2 Hofmann, Dirk 2 Jakob, Julian 2 Kataoka, Toshiki 2 Kavvos, G. A. 2 Kostolányi, Peter 2 Lafont, Ambroise ...and 144 more Authors all top 5 Cited in 29 Serials 39 Logical Methods in Computer Science 23 Theoretical Computer Science 15 Information and Computation 15 Mathematical Structures in Computer Science 9 Theory and Applications of Categories 9 Journal of Logical and Algebraic Methods in Programming 5 Journal of Pure and Applied Algebra 5 Applied Categorical Structures 4 RAIRO. Theoretical Informatics and Applications 3 Communications in Algebra 3 ACM Transactions on Computational Logic 2 Journal of Computer and System Sciences 2 Annals of Pure and Applied Logic 2 Formal Aspects of Computing 2 Journal of Functional Programming 1 Acta Informatica 1 Israel Journal of Mathematics 1 Advances in Mathematics 1 Algebra Universalis 1 Commentationes Mathematicae Universitatis Carolinae 1 Journal of Algebra 1 Notre Dame Journal of Formal Logic 1 Topology and its Applications 1 International Journal of Approximate Reasoning 1 Indagationes Mathematicae. New Series 1 Applicable Algebra in Engineering, Communication and Computing 1 Soft Computing 1 Higher-Order and Symbolic Computation 1 Theory and Practice of Logic Programming all top 5 Cited in 22 Fields 207 Computer science (68-XX) 145 Category theory; homological algebra (18-XX) 63 Mathematical logic and foundations (03-XX) 27 General algebraic systems (08-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 9 Group theory and generalizations (20-XX) 7 Associative rings and algebras (16-XX) 5 Probability theory and stochastic processes (60-XX) 4 General topology (54-XX) 3 Measure and integration (28-XX) 3 Quantum theory (81-XX) 2 General and overarching topics; collections (00-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Information and communication theory, circuits (94-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Functional analysis (46-XX) 1 Convex and discrete geometry (52-XX) 1 Algebraic topology (55-XX) 1 Manifolds and cell complexes (57-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year