 | 2009 |
|---|
| 25 |       | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
Semantics of Higher-Order Recursion Schemes.
CALCO 2009: 49-63 |
| 24 | | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
A Description of Iterative Reflections of Monads (Extended Abstract).
FOSSACS 2009: 152-166 |
| 23 | | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 249: 407-427 (2009) |
| 2008 |
|---|
| 22 | | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
Bases for parametrized iterativity.
Inf. Comput. 206(8): 966-1002 (2008) |
| 2007 |
|---|
| 21 | | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
What Are Iteration Theories?
MFCS 2007: 240-252 |
| 20 | | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
Algebras with parametrized iterativity.
Theor. Comput. Sci. 388(1-3): 130-151 (2007) |
| 2006 |
|---|
| 19 | | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
Elgot Algebras
CoRR abs/cs/0609040: (2006) |
| 18 | | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
Elgot Algebras: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 155: 87-109 (2006) |
| 17 | | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
How Iterative are Iterative Algebras?
Electr. Notes Theor. Comput. Sci. 164(1): 157-175 (2006) |
| 16 | | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
Elgot Algebras.
Logical Methods in Computer Science 2(5): (2006) |
| 15 | | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
Iterative algebras at work.
Mathematical Structures in Computer Science 16(6): 1085-1131 (2006) |
| 2005 |
|---|
| 14 | | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
Iterative Algebras for a Base.
Electr. Notes Theor. Comput. Sci. 122: 147-170 (2005) |
| 13 | | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
A general final coalgebra theorem.
Mathematical Structures in Computer Science 15(3): 409-432 (2005) |
| 2004 |
|---|
| 12 | | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
From Iterative Algebras to Iterative Theories (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 106: 3-24 (2004) |
| 11 | | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
On coalgebra based on classes.
Theor. Comput. Sci. 316(1): 3-23 (2004) |
| 2003 |
|---|
| 10 | | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
Some Remarks on Finitary and Iterative Monads.
Applied Categorical Structures 11(6): 521-541 (2003) |
| 9 | | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
On coalgebra based on classes
CoRR cs.LO/0306118: (2003) |
| 8 |  | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
Free Iterative Theories: A Coalgebraic View.
Mathematical Structures in Computer Science 13(2): 259-320 (2003) |
| 7 | | Peter Aczel,
Jirí Adámek,
Stefan Milius,
Jiri Velebil:
Infinite trees and completely iterative theories: a coalgebraic view.
Theor. Comput. Sci. 300(1-3): 1-45 (2003) |
| 2002 |
|---|
| 6 | | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
Parametric corecursion and completely iterative monads.
FICS 2002: 2-5 |
| 5 | | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors.
Electr. Notes Theor. Comput. Sci. 65(1): (2002) |
| 4 | | Jirí Adámek,
Stefan Milius,
Jiri Velebil:
On Rational Monads and Free Iterative Theories.
Electr. Notes Theor. Comput. Sci. 69: (2002) |
| 2001 |
|---|
| 3 | | Peter Aczel,
Jirí Adámek,
Jiri Velebil:
A Coalgebraic View of Infinite Trees and Iteration.
Electr. Notes Theor. Comput. Sci. 44(1): (2001) |
| 1999 |
|---|
| 2 | | Jiri Velebil:
Categorical Generalization of a Universal Domain.
Applied Categorical Structures 7(1-2): 209-226 (1999) |
| 1 | | Vera Trnková,
Jiri Velebil:
On categories generalizing universal domains.
Mathematical Structures in Computer Science 9(2): 159-175 (1999) |
