×
Compute Distance To:
Author ID: milius.stefan Recent zbMATH articles by "Milius, Stefan"
Published as: Milius, Stefan; Milius, S.
External Links: MGP

Publications by Year

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.68077
Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří
43
2003
Completely iterative algebras and completely iterative monads. Zbl 1062.68075
Milius, Stefan
30
2005
Iterative algebras at work. Zbl 1112.18005
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
28
2006
Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186
Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra
26
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
16
2012
Elgot algebras. Zbl 1127.68058
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
15
2006
Free iterative theories: A coalgebraic view. Zbl 1030.18004
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
14
2003
Terminal coalgebras and free iterative theories. Zbl 1104.68068
Adámek, Jiří; Milius, Stefan
13
2006
Abstract GSOS rules and a modular treatment of recursive definitions. Zbl 1307.68051
Milius, Stefan; Moss, Lawrence S.; Schwencke, Daniel
12
2013
Generic trace semantics and graded monads. Zbl 1366.68211
Milius, Stefan; Pattinson, Dirk; Schröder, Lutz
11
2015
Profinite monads, profinite equations, and Reiterman’s theorem. Zbl 1474.18010
Chen, Liang-Ting; Adámek, Jiří; Milius, Stefan; Urbat, Henning
10
2016
Complete iterativity for algebras with effects. Zbl 1239.68046
Milius, Stefan; Palm, Thorsten; Schwencke, Daniel
10
2009
Equational properties of iterative monads. Zbl 1234.68271
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
10
2010
The category-theoretic solution of recursive program schemes. Zbl 1154.68041
Milius, Stefan; Moss, Lawrence S.
10
2006
Coalgebraic constructions of canonical nondeterministic automata. Zbl 1380.68290
Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning
10
2015
Generalized Eilenberg theorem. I: Local varieties of languages. Zbl 1407.68314
Adá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.18002
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
8
2011
On coalgebra based on classes. Zbl 1047.18005
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
7
2004
Iterative reflections of monads. Zbl 1239.18005
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
7
2010
Well-pointed coalgebras. Zbl 1272.18002
Adá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.68194
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio
7
2015
On finitary functors and their presentations. Zbl 1328.18005
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Urbat, Henning
6
2015
Guard your daggers and traces: properties of guarded (co-)recursion. Zbl 1375.68042
Milius, Stefan; Litak, Tadeusz
6
2017
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
Semantics of higher-order recursion schemes. Zbl 1218.03013
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
6
2011
Recursive coalgebras of finitary functors. Zbl 1147.18001
Adámek, Jiří; Lücke, Dominik; Milius, Stefan
6
2007
Iterative algebras: how iterative are they? Zbl 1137.68042
Adámek, J.; Börger, R.; Milius, S.; Velebil, J.
6
2007
Finitary corecursion for the infinitary lambda calculus. Zbl 1366.03172
Milius, Stefan; Wißmann, Thorsten
6
2015
Nominal automata with name binding. Zbl 1486.68097
Schröder, Lutz; Kozen, Dexter; Milius, Stefan; Wißmann, Thorsten
6
2017
Varieties of languages in a category. Zbl 1401.68212
Adámek, Jiří; Myers, Robert S. R.; Urbat, Henning; Milius, Stefan
5
2015
Eilenberg theorems for free. Zbl 1441.68139
Urbat, Henning; Adámek, Jiří; Chen, Liang-Ting; Milius, Stefan
5
2017
A new foundation for finitary corecursion and iterative algebras. Zbl 1435.68208
Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten
5
2020
Some remarks on finitary and iterative monads. Zbl 1035.18002
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
5
2003
On iteratable endofunctors. Zbl 1270.18012
Milius, Stefan
5
2003
Equational axiomatization of algebras with structure. Zbl 07158710
Milius, Stefan; Urbat, Henning
4
2019
Complete Elgot monads and coalgebraic resumptions. Zbl 1395.18004
Goncharov, Sergey; Milius, Stefan; Rauch, Christoph
4
2016
On finitary functors. Zbl 1470.18006
Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten
4
2019
Efficient coalgebraic partition refinement. Zbl 1442.68112
Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten
4
2017
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
4
2015
Syntactic monoids in a category. Zbl 1366.68188
Adamek, Jiří; Milius, Stefan; Urbat, Henning
4
2015
Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets. Zbl 1375.18029
Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten
4
2016
Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra
4
2014
Corecursive algebras, corecursive monads and Bloom monads. Zbl 1341.68121
Adámek, Jiří; Haddadi, Mahdie; Milius, Stefan
4
2014
On finitary functors and their presentations. Zbl 1328.18004
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.
4
2012
On rational monads and free iterative theories. Zbl 1270.18010
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
4
2003
What are iteration theories? Zbl 1147.18301
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
4
2007
Coproducts of monads on Set. Zbl 1364.18001
Adámek, Jiří; Milius, Stefan; Bowler, Nathan; Levy, Paul B.
4
2012
Efficient and modular coalgebraic partition refinement. Zbl 1442.68113
Wißmann, Thorsten; Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz
3
2020
Proper functors and their rational fixed point. Zbl 1433.18001
Milius, Stefan
3
2017
Simplified coalgebraic trace equivalence. Zbl 1453.68112
Kurz, Alexander; Milius, Stefan; Pattinson, Dirk; Schröder, Lutz
3
2015
Elgot theories: a new perspective of iteration theories (extended abstract). Zbl 1338.18017
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2009
Algebras with parametrized iterativity. Zbl 1131.18002
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2007
On colimits in categories of relations. Zbl 1038.18004
Milius, Stefan
3
2003
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
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
Bases for parametrized iterativity. Zbl 1160.18003
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2008
A coalgebraic view on reachability. Zbl 07177892
Wißmann, Thorsten; Milius, Stefan; Katsumata, Shin-ya; Dubut, Jérémy
2
2019
Proper functors and fixed points for finite behaviour. Zbl 1448.18008
Milius, Stefan
2
2018
On algebras with effectful iteration. Zbl 06962936
Milius, Stefan; Adámek, Jiří; Urbat, Henning
2
2018
Canonical nondeterministic automata. Zbl 1331.68138
Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning
2
2014
Rational operational models. Zbl 1334.68137
Milius, Stefan; Bonsangue, Marcello M.; Myers, Robert S. R.; Rot, Jurriaan
2
2013
Well-pointed coalgebras (extended abstract). Zbl 1352.68168
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes
2
2012
Power-set functors and saturated trees. Zbl 1247.03140
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes
2
2011
Equational properties of recursive program scheme solutions. Zbl 1170.68009
Milius, 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.18003
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
2
2009
On well-founded and recursive coalgebras. Zbl 1455.18001
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.
2
2020
Predicate liftings and functor presentations in coalgebraic expression languages. Zbl 06962932
Dorsch, 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.68027
Milius, Stefan; Litak, Tadeusz
1
2013
On corecursive algebras for functors preserving coproducts. Zbl 1436.18002
Adámek, Jiří; Milius, Stefan
1
2017
Finitely presentable algebras for finitary monads. Zbl 1468.18006
Adá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.68148
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio
1
2014
Generalized Eilenberg theorem. Varieties of languages in a category. Zbl 1407.68315
Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning
1
2019
A general final coalgebra theorem. Zbl 1080.18004
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
1
2005
Recursive program schemes and context-free monads. Zbl 1247.68049
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
1
2010
CIA structures and the semantics of recursion. Zbl 1284.68374
Milius, Stefan; Moss, Lawrence S.; Schwencke, Daniel
1
2010
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
Elgot algebras (extended abstract). Zbl 1273.18008
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
1
2006
Base modules for parametrized iterativity. Zbl 1282.68168
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
1
2014
Toward a uniform theory of effectful state machines. Zbl 1446.68085
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra
1
2020
From generic partition refinement to weighted tree automata minimization. Zbl 07395149
Wißmann, Thorsten; Deifel, Hans-Peter; Milius, Stefan; Schröder, Lutz
1
2021
From generic partition refinement to weighted tree automata minimization. Zbl 07395149
Wißmann, Thorsten; Deifel, Hans-Peter; Milius, Stefan; Schröder, Lutz
1
2021
A new foundation for finitary corecursion and iterative algebras. Zbl 1435.68208
Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten
5
2020
Efficient and modular coalgebraic partition refinement. Zbl 1442.68113
Wißmann, Thorsten; Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz
3
2020
On well-founded and recursive coalgebras. Zbl 1455.18001
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.
2
2020
Toward a uniform theory of effectful state machines. Zbl 1446.68085
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra
1
2020
Equational axiomatization of algebras with structure. Zbl 07158710
Milius, Stefan; Urbat, Henning
4
2019
On finitary functors. Zbl 1470.18006
Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten
4
2019
A coalgebraic view on reachability. Zbl 07177892
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
Generalized Eilenberg theorem. Varieties of languages in a category. Zbl 1407.68315
Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning
1
2019
Proper functors and fixed points for finite behaviour. Zbl 1448.18008
Milius, Stefan
2
2018
On algebras with effectful iteration. Zbl 06962936
Milius, Stefan; Adámek, Jiří; Urbat, Henning
2
2018
Predicate liftings and functor presentations in coalgebraic expression languages. Zbl 06962932
Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten
1
2018
Guard your daggers and traces: properties of guarded (co-)recursion. Zbl 1375.68042
Milius, Stefan; Litak, Tadeusz
6
2017
Nominal automata with name binding. Zbl 1486.68097
Schröder, Lutz; Kozen, Dexter; Milius, Stefan; Wißmann, Thorsten
6
2017
Eilenberg theorems for free. Zbl 1441.68139
Urbat, Henning; Adámek, Jiří; Chen, Liang-Ting; Milius, Stefan
5
2017
Efficient coalgebraic partition refinement. Zbl 1442.68112
Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten
4
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
10
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
Complete Elgot monads and coalgebraic resumptions. Zbl 1395.18004
Goncharov, Sergey; Milius, Stefan; Rauch, Christoph
4
2016
Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets. Zbl 1375.18029
Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten
4
2016
Generic trace semantics and graded monads. Zbl 1366.68211
Milius, Stefan; Pattinson, Dirk; Schröder, Lutz
11
2015
Coalgebraic constructions of canonical nondeterministic automata. Zbl 1380.68290
Myers, 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.68194
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio
7
2015
On finitary functors and their presentations. Zbl 1328.18005
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Urbat, Henning
6
2015
Finitary corecursion for the infinitary lambda calculus. Zbl 1366.03172
Milius, Stefan; Wißmann, Thorsten
6
2015
Varieties of languages in a category. Zbl 1401.68212
Adámek, Jiří; Myers, Robert S. R.; Urbat, Henning; Milius, Stefan
5
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
4
2015
Syntactic monoids in a category. Zbl 1366.68188
Adamek, Jiří; Milius, Stefan; Urbat, Henning
4
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
10
2014
Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra
4
2014
Corecursive algebras, corecursive monads and Bloom monads. Zbl 1341.68121
Adámek, Jiří; Haddadi, Mahdie; Milius, Stefan
4
2014
Canonical nondeterministic automata. Zbl 1331.68138
Myers, 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.68148
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio
1
2014
Base modules for parametrized iterativity. Zbl 1282.68168
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
1
2014
Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186
Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra
26
2013
Abstract GSOS rules and a modular treatment of recursive definitions. Zbl 1307.68051
Milius, Stefan; Moss, Lawrence S.; Schwencke, Daniel
12
2013
Well-pointed coalgebras. Zbl 1272.18002
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes
7
2013
Rational operational models. Zbl 1334.68137
Milius, 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.68027
Milius, Stefan; Litak, Tadeusz
1
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
16
2012
On finitary functors and their presentations. Zbl 1328.18004
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.
4
2012
Coproducts of monads on Set. Zbl 1364.18001
Adámek, Jiří; Milius, Stefan; Bowler, Nathan; Levy, Paul B.
4
2012
Well-pointed coalgebras (extended abstract). Zbl 1352.68168
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes
2
2012
Elgot theories: a new perspective on the equational properties of iteration. Zbl 1222.18002
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
8
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ří
10
2010
Iterative reflections of monads. Zbl 1239.18005
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
7
2010
Recursive program schemes and context-free monads. Zbl 1247.68049
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
1
2010
CIA structures and the semantics of recursion. Zbl 1284.68374
Milius, Stefan; Moss, Lawrence S.; Schwencke, Daniel
1
2010
Complete iterativity for algebras with effects. Zbl 1239.68046
Milius, Stefan; Palm, Thorsten; Schwencke, Daniel
10
2009
Elgot theories: a new perspective of iteration theories (extended abstract). Zbl 1338.18017
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2009
Semantics of higher-order recursion schemes. Zbl 1239.68041
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2009
Equational properties of recursive program scheme solutions. Zbl 1170.68009
Milius, Stefan; Moss, Lawrence S.
2
2009
A description of iterative reflections of monads (extended abstract). Zbl 1234.18003
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
2
2009
Bases for parametrized iterativity. Zbl 1160.18003
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2008
Recursive coalgebras of finitary functors. Zbl 1147.18001
Adámek, Jiří; Lücke, Dominik; Milius, Stefan
6
2007
Iterative algebras: how iterative are they? Zbl 1137.68042
Adámek, J.; Börger, R.; Milius, S.; Velebil, J.
6
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ří
28
2006
Elgot algebras. Zbl 1127.68058
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
15
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
30
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ří
1
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
Infinite trees and completely iterative theories: A coalgebraic view. Zbl 1028.68077
Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří
43
2003
Free iterative theories: A coalgebraic view. Zbl 1030.18004
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
14
2003
Some remarks on finitary and iterative monads. Zbl 1035.18002
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
5
2003
On iteratable endofunctors. Zbl 1270.18012
Milius, Stefan
5
2003
On rational monads and free iterative theories. Zbl 1270.18010
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
4
2003
On colimits in categories of relations. Zbl 1038.18004
Milius, Stefan
3
2003
Final coalgebras and a solution theorem for arbitrary endofunctors. Zbl 1270.68183
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2002
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

Citations by Year