×
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

90 Publications have been cited 556 times in 232 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
31
2005
Iterative algebras at work. Zbl 1112.18005
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
30
2006
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
18
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
Generalized Eilenberg theorem. I: Local varieties of languages. Zbl 1407.68314
Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning
14
2014
Terminal coalgebras and free iterative theories. Zbl 1104.68068
Adámek, Jiří; Milius, Stefan
13
2006
Generic trace semantics and graded monads. Zbl 1366.68211
Milius, Stefan; Pattinson, Dirk; Schröder, Lutz
13
2015
Abstract GSOS rules and a modular treatment of recursive definitions. Zbl 1307.68051
Milius, Stefan; Moss, Lawrence S.; Schwencke, Daniel
12
2013
Coalgebraic constructions of canonical nondeterministic automata. Zbl 1380.68290
Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning
11
2015
Profinite monads, profinite equations, and Reiterman’s theorem. Zbl 1474.18010
Chen, Liang-Ting; Adámek, Jiří; Milius, Stefan; Urbat, Henning
11
2016
The category-theoretic solution of recursive program schemes. Zbl 1154.68041
Milius, Stefan; Moss, Lawrence S.
10
2006
Equational properties of iterative monads. Zbl 1234.68271
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
10
2010
Complete iterativity for algebras with effects. Zbl 1239.68046
Milius, Stefan; Palm, Thorsten; Schwencke, Daniel
10
2009
Eilenberg theorems for free. Zbl 1441.68139
Urbat, Henning; Adámek, Jiří; Chen, Liang-Ting; Milius, Stefan
10
2017
Elgot theories: a new perspective on the equational properties of iteration. Zbl 1222.18002
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
8
2011
Well-pointed coalgebras. Zbl 1272.18002
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes
8
2013
On finitary functors. Zbl 1470.18006
Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten
8
2019
On coalgebra based on classes. Zbl 1047.18005
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
7
2004
Varieties of languages in a category. Zbl 1401.68212
Adámek, Jiří; Myers, Robert S. R.; Urbat, Henning; Milius, Stefan
7
2015
Iterative reflections of monads. Zbl 1239.18005
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
7
2010
Efficient coalgebraic partition refinement. Zbl 1442.68112
Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten
7
2017
Iterative algebras: how iterative are they? Zbl 1137.68042
Adámek, J.; Börger, R.; Milius, S.; Velebil, J.
7
2007
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
Recursive coalgebras of finitary functors. Zbl 1147.18001
Adámek, Jiří; Lücke, Dominik; Milius, Stefan
6
2007
Equational axiomatization of algebras with structure. Zbl 1524.08003
Milius, Stefan; Urbat, Henning
6
2019
Semantics of higher-order recursion schemes. Zbl 1218.03013
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
6
2011
Guard your daggers and traces: properties of guarded (co-)recursion. Zbl 1375.68042
Milius, Stefan; Litak, Tadeusz
6
2017
On finitary functors and their presentations. Zbl 1328.18005
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Urbat, Henning
6
2015
Nominal automata with name binding. Zbl 1486.68097
Schröder, Lutz; Kozen, Dexter; Milius, Stefan; Wißmann, Thorsten
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
Some remarks on finitary and iterative monads. Zbl 1035.18002
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
5
2003
Complete Elgot monads and coalgebraic resumptions. Zbl 1395.18004
Goncharov, Sergey; Milius, Stefan; Rauch, Christoph
5
2016
On finitary functors and their presentations. Zbl 1328.18004
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.
5
2012
Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra
5
2014
A new foundation for finitary corecursion and iterative algebras. Zbl 1435.68208
Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten
5
2020
On iteratable endofunctors. Zbl 1270.18012
Milius, Stefan
5
2003
Graded monads and graded logics for the linear time – branching time spectrum. Zbl 07649944
Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz
5
2019
On colimits in categories of relations. Zbl 1038.18004
Milius, Stefan
4
2003
Coproducts of monads on Set. Zbl 1364.18001
Adámek, Jiří; Milius, Stefan; Bowler, Nathan; Levy, Paul B.
4
2012
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
Corecursive algebras, corecursive monads and Bloom monads. Zbl 1341.68121
Adámek, Jiří; Haddadi, Mahdie; Milius, Stefan
4
2014
Syntactic monoids in a category. Zbl 1366.68188
Adamek, Jiří; Milius, Stefan; Urbat, Henning
4
2015
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
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
On second-order iterative monads. Zbl 1243.68206
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2011
Bases for parametrized iterativity. Zbl 1160.18003
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2008
Proper functors and their rational fixed point. Zbl 1433.18001
Milius, Stefan
3
2017
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
Well-pointed coalgebras (extended abstract). Zbl 1352.68168
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes
3
2012
Simplified coalgebraic trace equivalence. Zbl 1453.68112
Kurz, Alexander; Milius, Stefan; Pattinson, Dirk; Schröder, Lutz
3
2015
Generalized Eilenberg theorem. Varieties of languages in a category. Zbl 1407.68315
Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning
3
2019
Algebras with parametrized iterativity. Zbl 1131.18002
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2007
Efficient and modular coalgebraic partition refinement. Zbl 1442.68113
Wißmann, Thorsten; Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz
3
2020
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
From generic partition refinement to weighted tree automata minimization. Zbl 1519.68126
Wißmann, Thorsten; Deifel, Hans-Peter; Milius, Stefan; Schröder, Lutz
3
2021
Toward a uniform theory of effectful state machines. Zbl 1446.68085
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra
3
2020
Canonical nondeterministic automata. Zbl 1331.68138
Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning
3
2014
A general final coalgebra theorem. Zbl 1080.18004
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
2
2005
Rational operational models. Zbl 1334.68137
Milius, Stefan; Bonsangue, Marcello M.; Myers, Robert S. R.; Rot, Jurriaan
2
2013
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
On the specification of operations on the rational behaviour of systems. Zbl 1459.68124
Bonsangue, Marcello M.; Milius, Stefan; Rot, Jurriaan
2
2012
Power-set functors and saturated trees. Zbl 1247.03140
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes
2
2011
Finitary monads on the category of posets. Zbl 1495.18007
Adámek, Jiří; Ford, Chase; Milius, Stefan; Schröder, Lutz
2
2021
Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Zbl 1271.68041
2
2013
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
On well-founded and recursive coalgebras. Zbl 1455.18001
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.
2
2020
Base modules for parametrized iterativity. Zbl 1282.68168
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
1
2014
On corecursive algebras for functors preserving coproducts. Zbl 1436.18002
Adámek, Jiří; Milius, Stefan
1
2017
Nondeterministic syntactic complexity. Zbl 07410438
Myers, Robert S. R.; Milius, Stefan; Urbat, Henning
1
2021
The category theoretic solution of recursive program schemes. Zbl 1151.68376
Milius, Stefan; Moss, Lawrence S.
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
A coalgebraic view on reachability. Zbl 07177892
Wißmann, Thorsten; Milius, Stefan; Katsumata, Shin-ya; Dubut, Jérémy
1
2019
Proceedings of the 7th workshop on coalgebraic methods in computer science (CMCS), Barcelona, Spain, March 27–29, 2004. Zbl 1271.68014
1
2004
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
Guard your daggers and traces: on the equational properties of guarded (co-)recursion. Zbl 1462.68027
Milius, Stefan; Litak, Tadeusz
1
2013
Predicate liftings and functor presentations in coalgebraic expression languages. Zbl 1519.68146
Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten
1
2018
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
Finitely presentable algebras for finitary monads. Zbl 1468.18006
Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten
1
2019
Quasilinear-time computation of generic modal witnesses for behavioural inequivalence. Zbl 07639914
Wißmann, Thorsten; Milius, Stefan; Schröder, Lutz
1
2022
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
3
2021
Finitary monads on the category of posets. Zbl 1495.18007
Adámek, Jiří; Ford, Chase; Milius, Stefan; Schröder, Lutz
2
2021
Nondeterministic syntactic complexity. Zbl 07410438
Myers, Robert S. R.; Milius, Stefan; Urbat, Henning
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
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
8
2019
Equational axiomatization of algebras with structure. Zbl 1524.08003
Milius, Stefan; Urbat, Henning
6
2019
Graded monads and graded logics for the linear time – branching time spectrum. Zbl 07649944
Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz
5
2019
Generalized Eilenberg theorem. Varieties of languages in a category. Zbl 1407.68315
Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning
3
2019
A coalgebraic view on reachability. Zbl 07177892
Wißmann, Thorsten; Milius, Stefan; Katsumata, Shin-ya; Dubut, Jérémy
1
2019
Finitely presentable algebras for finitary monads. Zbl 1468.18006
Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten
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
10
2017
Efficient coalgebraic partition refinement. Zbl 1442.68112
Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten
7
2017
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
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
11
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
5
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
13
2015
Coalgebraic constructions of canonical nondeterministic automata. Zbl 1380.68290
Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning
11
2015
Varieties of languages in a category. Zbl 1401.68212
Adámek, Jiří; Myers, Robert S. R.; Urbat, Henning; Milius, Stefan
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 finitary functors and their presentations. Zbl 1328.18005
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Urbat, Henning
6
2015
Syntactic monoids in a category. Zbl 1366.68188
Adamek, Jiří; Milius, Stefan; Urbat, Henning
4
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
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
14
2014
Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra
5
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
3
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
12
2013
Well-pointed coalgebras. Zbl 1272.18002
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes
8
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
18
2012
On finitary functors and their presentations. Zbl 1328.18004
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.
5
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
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ří
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
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.
7
2007
Recursive coalgebras of finitary functors. Zbl 1147.18001
Adámek, Jiří; Lücke, Dominik; Milius, Stefan
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ří
30
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
31
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
Proceedings of the 7th workshop on coalgebraic methods in computer science (CMCS), Barcelona, Spain, March 27–29, 2004. Zbl 1271.68014
1
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 colimits in categories of relations. Zbl 1038.18004
Milius, Stefan
4
2003
On rational monads and free iterative theories. Zbl 1270.18010
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
4
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 217 Authors

54 Milius, Stefan
36 Adámek, Jiří
21 Velebil, Jiří
16 Schröder, Lutz
13 Rot, Jurriaan
12 Silva, Alexandra
12 Urbat, Henning
11 Wißmann, Thorsten
10 Goncharov, Sergeĭ Savost’yanovich
10 Uustalu, Tarmo
7 Bonsangue, Marcello Maria
7 Sammartino, Matteo
6 Dagnino, Francesco
6 Hansen, Helle Hvid
6 Kurz, Alexander
6 Rauch, Christoph
6 Rutten, Jan J. M. M.
5 Jacobs, Bart
5 Levy, Paul Blain
5 Moss, Lawrence S.
5 Myers, Robert S. R.
5 Piróg, Maciej
4 Ghani, Neil
4 Hasuo, Ichiro
4 Salamanca, Julian
4 van Heerdt, Gerco
3 Balan, Adriana
3 Ballester-Bolinches, Adolfo
3 Birkedal, Lars
3 Bonchi, Filippo
3 Brengos, Tomasz
3 Chen, Liang-Ting
3 Cosme-Llópez, Enric
3 Dorsch, Ulrich
3 Ésik, Zoltán
3 Gibbons, Jeremy
3 Hamana, Makoto
3 Kappé, Tobias
3 Katsumata, Shin-ya
3 Klin, Bartek
3 Kozen, Dexter C.
3 Kupke, Clemens
3 Larsen, Kim Guldstrand
3 Litak, Tadeusz
3 Miculan, Marino
3 Moerman, Joshua
3 Pattinson, Dirk
3 Petrisan, Daniela Luan
3 Pous, Damien
3 Reggio, Luca
3 Schwencke, Daniel
3 Sokolova, Ana
3 Sousa, Lurdes
3 Vene, Varmo
2 Abramsky, Samson
2 Ancona, Davide
2 Bacci, Giorgio
2 Bacci, Giovanni
2 Bizjak, Aleš
2 Blumensath, Achim
2 Bruni, Roberto
2 Capretta, Venanzio
2 Cho, Kenta
2 Colcombet, Thomas
2 De Marchi, Federico
2 Dubut, Jérémy
2 Endrullis, Jörg
2 Fong, Brendan
2 Ganty, Pierre
2 Garner, Richard
2 Gutiérrez, Elena
2 Jakob, Julian
2 Kataoka, Toshiki
2 Kavvos, G. A.
2 König, Barbara
2 Küpper, Sebastian
2 Lucyshyn-Wright, Rory B. B.
2 Lüth, Christoph
2 Mardare, Radu
2 Montanari, Ugo G.
2 Neves, Renato
2 Orchard, Dominic A.
2 Palm, Thorsten
2 Parker, Jason T.
2 Peressotti, Marco
2 Rosický, Jiří
2 Sangiorgi, Davide
2 Sin’ya, Ryoma
2 Sobociński, Paweł
2 Sprunger, David
2 Tamm, Hellis
2 Turkenburg, Ruben
2 Urabe, Natsuki
2 Valero, Pedro
2 Venema, Yde
2 Zanasi, Fabio
2 Zapata, Octavio
2 Zucca, Elena
1 Abuhlail, Jawad Y.
1 Aczel, Peter
...and 117 more Authors

Citations by Year