Edit Profile (opens in new tab) Milius, Stefan Compute Distance To: Compute Author ID: milius.stefan Published as: Milius, Stefan; Milius, S. External Links: MGP Documents Indexed: 101 Publications since 2002, including 1 Book 2 Contributions as Editor Co-Authors: 39 Co-Authors with 97 Joint Publications 786 Co-Co-Authors all top 5 Co-Authors 6 single-authored 61 Adámek, Jiří 28 Velebil, Jiří 18 Urbat, Henning 13 Moss, Lawrence S. 13 Wißmann, Thorsten 10 Schröder, Lutz 7 Myers, Robert S. R. 6 Silva, Alexandra 6 Sousa, Lurdes 4 Pattinson, Dirk 3 Bonchi, Filippo 3 Bonsangue, Marcello Maria 3 Chen, Liang-Ting 3 Dorsch, Ulrich 3 Goncharov, Sergeĭ Savost’yanovich 3 Schwencke, Daniel 2 Haddadi, Mahdieh 2 Levy, Paul Blain 2 Litak, Tadeusz 2 Rot, Jurriaan 2 Zanasi, Fabio 1 Aczel, Peter 1 Birkmann, Fabian 1 Bloom, Stephen L. 1 Börger, Reinhard 1 Bowler, Nathan 1 Deifel, Hans-Peter 1 Dubut, Jérémy 1 Ford, Chase 1 Frank, Florian 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 6 Information and Computation 6 MSCS. 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 Lecture Notes in Computer Science 1 Electronic Notes in Theoretical Computer Science all top 5 Fields 79 Computer science (68-XX) 74 Category theory; homological algebra (18-XX) 12 Mathematical logic and foundations (03-XX) 8 General algebraic systems (08-XX) 4 Group theory and generalizations (20-XX) 2 General and overarching topics; collections (00-XX) 2 General topology (54-XX) 2 Probability theory and stochastic processes (60-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 84 Publications have been cited 499 times in 204 Documents Cited by ▼ Year ▼ Infinite trees and completely iterative theories: A coalgebraic view. Zbl 1028.68077Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří 43 2003 Completely iterative algebras and completely iterative monads. Zbl 1062.68075Milius, Stefan 30 2005 Iterative algebras at work. Zbl 1112.18005Adámek, Jiří; Milius, Stefan; Velebil, Jiří 28 2006 Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra 26 2013 A coalgebraic perspective on minimization and determinization. Zbl 1352.68171Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra 16 2012 Elgot algebras. Zbl 1127.68058Adámek, Jiří; Milius, Stefan; Velebil, Jiří 15 2006 Free iterative theories: A coalgebraic view. Zbl 1030.18004Adámek, Jiří; Milius, Stefan; Velebil, Jiří 14 2003 Terminal coalgebras and free iterative theories. Zbl 1104.68068Adámek, Jiří; Milius, Stefan 13 2006 Abstract GSOS rules and a modular treatment of recursive definitions. Zbl 1307.68051Milius, Stefan; Moss, Lawrence S.; Schwencke, Daniel 12 2013 Generic trace semantics and graded monads. Zbl 1366.68211Milius, Stefan; Pattinson, Dirk; Schröder, Lutz 11 2015 Profinite monads, profinite equations, and Reiterman’s theorem. Zbl 1474.18010Chen, Liang-Ting; Adámek, Jiří; Milius, Stefan; Urbat, Henning 10 2016 Complete iterativity for algebras with effects. Zbl 1239.68046Milius, Stefan; Palm, Thorsten; Schwencke, Daniel 10 2009 Equational properties of iterative monads. Zbl 1234.68271Adámek, Jiří; Milius, Stefan; Velebil, Jiří 10 2010 The category-theoretic solution of recursive program schemes. Zbl 1154.68041Milius, Stefan; Moss, Lawrence S. 10 2006 Coalgebraic constructions of canonical nondeterministic automata. Zbl 1380.68290Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning 10 2015 Generalized Eilenberg theorem. I: Local varieties of languages. Zbl 1407.68314Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning 10 2014 Elgot theories: a new perspective on the equational properties of iteration. Zbl 1222.18002Adámek, Jiří; Milius, Stefan; Velebil, Jiří 8 2011 On coalgebra based on classes. Zbl 1047.18005Adámek, Jiří; Milius, Stefan; Velebil, Jiří 7 2004 Iterative reflections of monads. Zbl 1239.18005Adámek, Jiří; Milius, Stefan; Velebil, Jiří 7 2010 Well-pointed coalgebras. Zbl 1272.18002Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 7 2013 Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. Zbl 1330.68194Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 7 2015 On finitary functors and their presentations. Zbl 1328.18005Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Urbat, Henning 6 2015 Guard your daggers and traces: properties of guarded (co-)recursion. Zbl 1375.68042Milius, Stefan; Litak, Tadeusz 6 2017 A new foundation for finitary corecursion. The locally finite fixpoint and its properties. Zbl 1475.68196Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten 6 2016 Semantics of higher-order recursion schemes. Zbl 1218.03013Adámek, Jiří; Milius, Stefan; Velebil, Jiří 6 2011 Recursive coalgebras of finitary functors. Zbl 1147.18001Adámek, Jiří; Lücke, Dominik; Milius, Stefan 6 2007 Iterative algebras: how iterative are they? Zbl 1137.68042Adámek, J.; Börger, R.; Milius, S.; Velebil, J. 6 2007 Finitary corecursion for the infinitary lambda calculus. Zbl 1366.03172Milius, Stefan; Wißmann, Thorsten 6 2015 Nominal automata with name binding. Zbl 1486.68097Schröder, Lutz; Kozen, Dexter; Milius, Stefan; Wißmann, Thorsten 6 2017 Varieties of languages in a category. Zbl 1401.68212Adámek, Jiří; Myers, Robert S. R.; Urbat, Henning; Milius, Stefan 5 2015 Eilenberg theorems for free. Zbl 1441.68139Urbat, Henning; Adámek, Jiří; Chen, Liang-Ting; Milius, Stefan 5 2017 A new foundation for finitary corecursion and iterative algebras. Zbl 1435.68208Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten 5 2020 Some remarks on finitary and iterative monads. Zbl 1035.18002Adámek, Jiří; Milius, Stefan; Velebil, Jiří 5 2003 On iteratable endofunctors. Zbl 1270.18012Milius, Stefan 5 2003 Equational axiomatization of algebras with structure. Zbl 07158710Milius, Stefan; Urbat, Henning 4 2019 Complete Elgot monads and coalgebraic resumptions. Zbl 1395.18004Goncharov, Sergey; Milius, Stefan; Rauch, Christoph 4 2016 On finitary functors. Zbl 1470.18006Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten 4 2019 Efficient coalgebraic partition refinement. Zbl 1442.68112Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten 4 2017 On final coalgebras of power-set functors and saturated trees. Zbl 1328.03059Adámek, Jiří; Levy, Paul B.; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 4 2015 Syntactic monoids in a category. Zbl 1366.68188Adamek, Jiří; Milius, Stefan; Urbat, Henning 4 2015 Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets. Zbl 1375.18029Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten 4 2016 Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085Goncharov, Sergey; Milius, Stefan; Silva, Alexandra 4 2014 Corecursive algebras, corecursive monads and Bloom monads. Zbl 1341.68121Adámek, Jiří; Haddadi, Mahdie; Milius, Stefan 4 2014 On finitary functors and their presentations. Zbl 1328.18004Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. 4 2012 On rational monads and free iterative theories. Zbl 1270.18010Adámek, Jiří; Milius, Stefan; Velebil, Jiří 4 2003 What are iteration theories? Zbl 1147.18301Adámek, Jiří; Milius, Stefan; Velebil, Jiří 4 2007 Coproducts of monads on Set. Zbl 1364.18001Adámek, Jiří; Milius, Stefan; Bowler, Nathan; Levy, Paul B. 4 2012 Efficient and modular coalgebraic partition refinement. Zbl 1442.68113Wißmann, Thorsten; Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz 3 2020 Proper functors and their rational fixed point. Zbl 1433.18001Milius, Stefan 3 2017 Simplified coalgebraic trace equivalence. Zbl 1453.68112Kurz, Alexander; Milius, Stefan; Pattinson, Dirk; Schröder, Lutz 3 2015 Elgot theories: a new perspective of iteration theories (extended abstract). Zbl 1338.18017Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2009 Algebras with parametrized iterativity. Zbl 1131.18002Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2007 On colimits in categories of relations. Zbl 1038.18004Milius, Stefan 3 2003 Semantics of higher-order recursion schemes. Zbl 1239.68041Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2009 On second-order iterative monads. Zbl 1243.68206Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2011 Final coalgebras and a solution theorem for arbitrary endofunctors. Zbl 1270.68183Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2002 Iterative algebras for a base. Zbl 1272.68281Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2005 Bases for parametrized iterativity. Zbl 1160.18003Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2008 A coalgebraic view on reachability. Zbl 07177892Wißmann, Thorsten; Milius, Stefan; Katsumata, Shin-ya; Dubut, Jérémy 2 2019 Proper functors and fixed points for finite behaviour. Zbl 1448.18008Milius, Stefan 2 2018 On algebras with effectful iteration. Zbl 06962936Milius, Stefan; Adámek, Jiří; Urbat, Henning 2 2018 Canonical nondeterministic automata. Zbl 1331.68138Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning 2 2014 Rational operational models. Zbl 1334.68137Milius, Stefan; Bonsangue, Marcello M.; Myers, Robert S. R.; Rot, Jurriaan 2 2013 Well-pointed coalgebras (extended abstract). Zbl 1352.68168Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 2 2012 Power-set functors and saturated trees. Zbl 1247.03140Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 2 2011 Equational properties of recursive program scheme solutions. Zbl 1170.68009Milius, Stefan; Moss, Lawrence S. 2 2009 Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Zbl 1271.68041 2 2013 A description of iterative reflections of monads (extended abstract). Zbl 1234.18003Adámek, Jiří; Milius, Stefan; Velebil, Jiří 2 2009 On well-founded and recursive coalgebras. Zbl 1455.18001Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. 2 2020 Predicate liftings and functor presentations in coalgebraic expression languages. Zbl 06962932Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten 1 2018 Guard your daggers and traces: on the equational properties of guarded (co-)recursion. Zbl 1462.68027Milius, Stefan; Litak, Tadeusz 1 2013 On corecursive algebras for functors preserving coproducts. Zbl 1436.18002Adámek, Jiří; Milius, Stefan 1 2017 Finitely presentable algebras for finitary monads. Zbl 1468.18006Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten 1 2019 How to kill epsilons with a dagger. A coalgebraic take on systems with algebraic label structure. Zbl 1331.68148Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 1 2014 Generalized Eilenberg theorem. Varieties of languages in a category. Zbl 1407.68315Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning 1 2019 A general final coalgebra theorem. Zbl 1080.18004Adámek, Jiří; Milius, Stefan; Velebil, Jiří 1 2005 Recursive program schemes and context-free monads. Zbl 1247.68049Adámek, Jiří; Milius, Stefan; Velebil, Jiří 1 2010 CIA structures and the semantics of recursion. Zbl 1284.68374Milius, Stefan; Moss, Lawrence S.; Schwencke, Daniel 1 2010 The category theoretic solution of recursive program schemes. Zbl 1151.68376Milius, Stefan; Moss, Lawrence S. 1 2005 From iterative algebras to iterative theories (extended abstract). Zbl 1271.68153Adámek, Jiří; Milius, Stefan 1 2004 Elgot algebras (extended abstract). Zbl 1273.18008Adámek, Jiří; Milius, Stefan; Velebil, Jiří 1 2006 Base modules for parametrized iterativity. Zbl 1282.68168Adámek, Jiří; Milius, Stefan; Velebil, Jiří 1 2014 Toward a uniform theory of effectful state machines. Zbl 1446.68085Goncharov, Sergey; Milius, Stefan; Silva, Alexandra 1 2020 From generic partition refinement to weighted tree automata minimization. Zbl 07395149Wißmann, Thorsten; Deifel, Hans-Peter; Milius, Stefan; Schröder, Lutz 1 2021 From generic partition refinement to weighted tree automata minimization. Zbl 07395149Wißmann, Thorsten; Deifel, Hans-Peter; Milius, Stefan; Schröder, Lutz 1 2021 A new foundation for finitary corecursion and iterative algebras. Zbl 1435.68208Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten 5 2020 Efficient and modular coalgebraic partition refinement. Zbl 1442.68113Wißmann, Thorsten; Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz 3 2020 On well-founded and recursive coalgebras. Zbl 1455.18001Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. 2 2020 Toward a uniform theory of effectful state machines. Zbl 1446.68085Goncharov, Sergey; Milius, Stefan; Silva, Alexandra 1 2020 Equational axiomatization of algebras with structure. Zbl 07158710Milius, Stefan; Urbat, Henning 4 2019 On finitary functors. Zbl 1470.18006Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten 4 2019 A coalgebraic view on reachability. Zbl 07177892Wißmann, Thorsten; Milius, Stefan; Katsumata, Shin-ya; Dubut, Jérémy 2 2019 Finitely presentable algebras for finitary monads. Zbl 1468.18006Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten 1 2019 Generalized Eilenberg theorem. Varieties of languages in a category. Zbl 1407.68315Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning 1 2019 Proper functors and fixed points for finite behaviour. Zbl 1448.18008Milius, Stefan 2 2018 On algebras with effectful iteration. Zbl 06962936Milius, Stefan; Adámek, Jiří; Urbat, Henning 2 2018 Predicate liftings and functor presentations in coalgebraic expression languages. Zbl 06962932Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten 1 2018 Guard your daggers and traces: properties of guarded (co-)recursion. Zbl 1375.68042Milius, Stefan; Litak, Tadeusz 6 2017 Nominal automata with name binding. Zbl 1486.68097Schröder, Lutz; Kozen, Dexter; Milius, Stefan; Wißmann, Thorsten 6 2017 Eilenberg theorems for free. Zbl 1441.68139Urbat, Henning; Adámek, Jiří; Chen, Liang-Ting; Milius, Stefan 5 2017 Efficient coalgebraic partition refinement. Zbl 1442.68112Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten 4 2017 Proper functors and their rational fixed point. Zbl 1433.18001Milius, Stefan 3 2017 On corecursive algebras for functors preserving coproducts. Zbl 1436.18002Adámek, Jiří; Milius, Stefan 1 2017 Profinite monads, profinite equations, and Reiterman’s theorem. Zbl 1474.18010Chen, Liang-Ting; Adámek, Jiří; Milius, Stefan; Urbat, Henning 10 2016 A new foundation for finitary corecursion. The locally finite fixpoint and its properties. Zbl 1475.68196Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten 6 2016 Complete Elgot monads and coalgebraic resumptions. Zbl 1395.18004Goncharov, Sergey; Milius, Stefan; Rauch, Christoph 4 2016 Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets. Zbl 1375.18029Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten 4 2016 Generic trace semantics and graded monads. Zbl 1366.68211Milius, Stefan; Pattinson, Dirk; Schröder, Lutz 11 2015 Coalgebraic constructions of canonical nondeterministic automata. Zbl 1380.68290Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning 10 2015 Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. Zbl 1330.68194Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 7 2015 On finitary functors and their presentations. Zbl 1328.18005Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Urbat, Henning 6 2015 Finitary corecursion for the infinitary lambda calculus. Zbl 1366.03172Milius, Stefan; Wißmann, Thorsten 6 2015 Varieties of languages in a category. Zbl 1401.68212Adámek, Jiří; Myers, Robert S. R.; Urbat, Henning; Milius, Stefan 5 2015 On final coalgebras of power-set functors and saturated trees. Zbl 1328.03059Adámek, Jiří; Levy, Paul B.; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 4 2015 Syntactic monoids in a category. Zbl 1366.68188Adamek, Jiří; Milius, Stefan; Urbat, Henning 4 2015 Simplified coalgebraic trace equivalence. Zbl 1453.68112Kurz, Alexander; Milius, Stefan; Pattinson, Dirk; Schröder, Lutz 3 2015 Generalized Eilenberg theorem. I: Local varieties of languages. Zbl 1407.68314Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning 10 2014 Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085Goncharov, Sergey; Milius, Stefan; Silva, Alexandra 4 2014 Corecursive algebras, corecursive monads and Bloom monads. Zbl 1341.68121Adámek, Jiří; Haddadi, Mahdie; Milius, Stefan 4 2014 Canonical nondeterministic automata. Zbl 1331.68138Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning 2 2014 How to kill epsilons with a dagger. A coalgebraic take on systems with algebraic label structure. Zbl 1331.68148Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 1 2014 Base modules for parametrized iterativity. Zbl 1282.68168Adámek, Jiří; Milius, Stefan; Velebil, Jiří 1 2014 Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra 26 2013 Abstract GSOS rules and a modular treatment of recursive definitions. Zbl 1307.68051Milius, Stefan; Moss, Lawrence S.; Schwencke, Daniel 12 2013 Well-pointed coalgebras. Zbl 1272.18002Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 7 2013 Rational operational models. Zbl 1334.68137Milius, Stefan; Bonsangue, Marcello M.; Myers, Robert S. R.; Rot, Jurriaan 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 Guard your daggers and traces: on the equational properties of guarded (co-)recursion. Zbl 1462.68027Milius, Stefan; Litak, Tadeusz 1 2013 A coalgebraic perspective on minimization and determinization. Zbl 1352.68171Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra 16 2012 On finitary functors and their presentations. Zbl 1328.18004Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. 4 2012 Coproducts of monads on Set. Zbl 1364.18001Adámek, Jiří; Milius, Stefan; Bowler, Nathan; Levy, Paul B. 4 2012 Well-pointed coalgebras (extended abstract). Zbl 1352.68168Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 2 2012 Elgot theories: a new perspective on the equational properties of iteration. Zbl 1222.18002Adámek, Jiří; Milius, Stefan; Velebil, Jiří 8 2011 Semantics of higher-order recursion schemes. Zbl 1218.03013Adámek, Jiří; Milius, Stefan; Velebil, Jiří 6 2011 On second-order iterative monads. Zbl 1243.68206Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2011 Power-set functors and saturated trees. Zbl 1247.03140Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 2 2011 Equational properties of iterative monads. Zbl 1234.68271Adámek, Jiří; Milius, Stefan; Velebil, Jiří 10 2010 Iterative reflections of monads. Zbl 1239.18005Adámek, Jiří; Milius, Stefan; Velebil, Jiří 7 2010 Recursive program schemes and context-free monads. Zbl 1247.68049Adámek, Jiří; Milius, Stefan; Velebil, Jiří 1 2010 CIA structures and the semantics of recursion. Zbl 1284.68374Milius, Stefan; Moss, Lawrence S.; Schwencke, Daniel 1 2010 Complete iterativity for algebras with effects. Zbl 1239.68046Milius, Stefan; Palm, Thorsten; Schwencke, Daniel 10 2009 Elgot theories: a new perspective of iteration theories (extended abstract). Zbl 1338.18017Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2009 Semantics of higher-order recursion schemes. Zbl 1239.68041Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2009 Equational properties of recursive program scheme solutions. Zbl 1170.68009Milius, Stefan; Moss, Lawrence S. 2 2009 A description of iterative reflections of monads (extended abstract). Zbl 1234.18003Adámek, Jiří; Milius, Stefan; Velebil, Jiří 2 2009 Bases for parametrized iterativity. Zbl 1160.18003Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2008 Recursive coalgebras of finitary functors. Zbl 1147.18001Adámek, Jiří; Lücke, Dominik; Milius, Stefan 6 2007 Iterative algebras: how iterative are they? Zbl 1137.68042Adámek, J.; Börger, R.; Milius, S.; Velebil, J. 6 2007 What are iteration theories? Zbl 1147.18301Adámek, Jiří; Milius, Stefan; Velebil, Jiří 4 2007 Algebras with parametrized iterativity. Zbl 1131.18002Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2007 Iterative algebras at work. Zbl 1112.18005Adámek, Jiří; Milius, Stefan; Velebil, Jiří 28 2006 Elgot algebras. Zbl 1127.68058Adámek, Jiří; Milius, Stefan; Velebil, Jiří 15 2006 Terminal coalgebras and free iterative theories. Zbl 1104.68068Adámek, Jiří; Milius, Stefan 13 2006 The category-theoretic solution of recursive program schemes. Zbl 1154.68041Milius, Stefan; Moss, Lawrence S. 10 2006 Elgot algebras (extended abstract). Zbl 1273.18008Adámek, Jiří; Milius, Stefan; Velebil, Jiří 1 2006 Completely iterative algebras and completely iterative monads. Zbl 1062.68075Milius, Stefan 30 2005 Iterative algebras for a base. Zbl 1272.68281Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2005 A general final coalgebra theorem. Zbl 1080.18004Adámek, Jiří; Milius, Stefan; Velebil, Jiří 1 2005 The category theoretic solution of recursive program schemes. Zbl 1151.68376Milius, Stefan; Moss, Lawrence S. 1 2005 On coalgebra based on classes. Zbl 1047.18005Adámek, Jiří; Milius, Stefan; Velebil, Jiří 7 2004 From iterative algebras to iterative theories (extended abstract). Zbl 1271.68153Adámek, Jiří; Milius, Stefan 1 2004 Infinite trees and completely iterative theories: A coalgebraic view. Zbl 1028.68077Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří 43 2003 Free iterative theories: A coalgebraic view. Zbl 1030.18004Adámek, Jiří; Milius, Stefan; Velebil, Jiří 14 2003 Some remarks on finitary and iterative monads. Zbl 1035.18002Adámek, Jiří; Milius, Stefan; Velebil, Jiří 5 2003 On iteratable endofunctors. Zbl 1270.18012Milius, Stefan 5 2003 On rational monads and free iterative theories. Zbl 1270.18010Adámek, Jiří; Milius, Stefan; Velebil, Jiří 4 2003 On colimits in categories of relations. Zbl 1038.18004Milius, Stefan 3 2003 Final coalgebras and a solution theorem for arbitrary endofunctors. Zbl 1270.68183Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2002 all cited Publications top 5 cited Publications all top 5 Cited by 206 Authors 48 Milius, Stefan 33 Adámek, Jiří 20 Velebil, Jiří 13 Schröder, Lutz 11 Silva, Alexandra 10 Rot, Jurriaan 10 Urbat, Henning 9 Goncharov, Sergeĭ Savost’yanovich 9 Uustalu, Tarmo 9 Wißmann, Thorsten 6 Hansen, Helle Hvid 6 Rauch, Christoph 5 Bonsangue, Marcello Maria 5 Dagnino, Francesco 5 Jacobs, Bart 5 Kurz, Alexander 5 Moss, Lawrence S. 5 Piróg, Maciej 5 Sammartino, Matteo 4 Ghani, Neil 4 Hasuo, Ichiro 4 Myers, Robert S. R. 4 Rutten, Jan J. M. M. 3 Balan, Adriana 3 Birkedal, Lars 3 Bonchi, Filippo 3 Brengos, Tomasz 3 Chen, Liang-Ting 3 Ésik, Zoltán 3 Gibbons, Jeremy 3 Hamana, Makoto 3 Katsumata, Shin-ya 3 Klin, Bartek 3 Kozen, Dexter C. 3 Larsen, Kim Guldstrand 3 Levy, Paul Blain 3 Moerman, Joshua 3 Pattinson, Dirk 3 Petrisan, Daniela Luan 3 Pous, Damien 3 Schwencke, Daniel 3 Sokolova, Ana 3 van Heerdt, Gerco 3 Vene, Varmo 2 Abramsky, Samson 2 Ancona, Davide 2 Bacci, Giorgio 2 Bacci, Giovanni 2 Ballester-Bolinches, Adolfo 2 Bizjak, Aleš 2 Blumensath, Achim 2 Capretta, Venanzio 2 Cho, Kenta 2 Colcombet, Thomas 2 Cosme-Llópez, Enric 2 De Marchi, Federico 2 Dorsch, Ulrich 2 Dubut, Jérémy 2 Endrullis, Jörg 2 Fong, Brendan 2 Ganty, Pierre 2 Gutiérrez, Elena 2 Jakob, Julian 2 Kappé, Tobias 2 Kataoka, Toshiki 2 Kavvos, G. A. 2 König, Barbara 2 Küpper, Sebastian 2 Litak, Tadeusz 2 Lüth, Christoph 2 Mardare, Radu 2 Miculan, Marino 2 Neves, Renato 2 Orchard, Dominic A. 2 Palm, Thorsten 2 Peressotti, Marco 2 Reggio, Luca 2 Rosický, Jiří 2 Salamanca, Julian 2 Sangiorgi, Davide 2 Sin’ya, Ryoma 2 Sobociński, Paweł 2 Sousa, Lurdes 2 Sprunger, David 2 Urabe, Natsuki 2 Valero, Pedro 2 Zanasi, Fabio 2 Zapata, Octavio 2 Zucca, Elena 1 Abuhlail, Jawad Y. 1 Aczel, Peter 1 Ahman, Danel 1 Al-Sulaiman, Nabeela 1 Asada, Kazuyuki 1 Badia, Guillermo 1 Barbosa, Luís Soares 1 Basold, Henning 1 Beohar, Harsh 1 Bernardo, Marco 1 Bílková, Marta ...and 106 more Authors all top 5 Cited in 25 Serials 27 Logical Methods in Computer Science 21 Theoretical Computer Science 12 Information and Computation 12 MSCS. Mathematical Structures in Computer Science 7 Journal of Logical and Algebraic Methods in Programming 5 Theory and Applications of Categories 4 RAIRO. Theoretical Informatics and Applications 3 Communications in Algebra 3 Journal of Pure and Applied Algebra 3 Applied Categorical Structures 2 Journal of Computer and System Sciences 2 Annals of Pure and Applied Logic 2 Formal Aspects of Computing 2 ACM Transactions on Computational Logic 1 Algebra Universalis 1 Commentationes Mathematicae Universitatis Carolinae 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 Journal of Functional Programming 1 Soft Computing 1 Higher-Order and Symbolic Computation 1 Theory and Practice of Logic Programming all top 5 Cited in 17 Fields 155 Computer science (68-XX) 101 Category theory; homological algebra (18-XX) 51 Mathematical logic and foundations (03-XX) 19 General algebraic systems (08-XX) 5 Associative rings and algebras (16-XX) 5 Group theory and generalizations (20-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 General topology (54-XX) 3 Probability theory and stochastic processes (60-XX) 3 Quantum theory (81-XX) 2 Measure and integration (28-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Functional analysis (46-XX) 1 Convex and discrete geometry (52-XX) 1 Algebraic topology (55-XX) Citations by Year