Categorical Generalization of a Universal Domain. - Jirí Velebil (Appl. Categorical Struct., 1999)

On categories generalizing universal domains. - Vera Trnková; Jirí Velebil (Math. Struct. Comput. Sci., 1999)

A Coalgebraic View of Infinite Trees and Iteration. - Peter Aczel; Jirí Adámek; Jirí Velebil (CMCS, 2001)

Parametric corecursion and completely iterative monads. - Jirí Adámek; Stefan Milius; Jirí Velebil (FICS, 2002)

Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors. - Jirí Adámek; Stefan Milius; Jirí Velebil (CMCS, 2002)

On Rational Monads and Free Iterative Theories. - Jirí Adámek; Stefan Milius; Jirí Velebil (CTCS, 2002)

Some Remarks on Finitary and Iterative Monads. - Jirí Adámek; Stefan Milius; Jirí Velebil (Appl. Categorical Struct., 2003)

Free Iterative Theories: A Coalgebraic View. - Jirí Adámek; Stefan Milius; Jirí Velebil (Math. Struct. Comput. Sci., 2003)

Infinite trees and completely iterative theories: a coalgebraic view. - Peter Aczel; Jirí Adámek; Stefan Milius; Jirí Velebil (Theor. Comput. Sci., 2003)

From Iterative Algebras to Iterative Theories (Extended Abstract). - Jirí Adámek; Stefan Milius; Jirí Velebil (CMCS, 2004)

Iterative Algebras for a Base. - Jirí Adámek; Stefan Milius; Jirí Velebil (CTCS, 2004)

On coalgebra based on classes. - Jirí Adámek; Stefan Milius; Jirí Velebil (Theor. Comput. Sci., 2004)

Elgot Algebras: (Extended Abstract). - Jirí Adámek; Stefan Milius; Jirí Velebil (MFPS, 2005)

A general final coalgebra theorem. - Jirí Adámek; Stefan Milius; Jirí Velebil (Math. Struct. Comput. Sci., 2005)

How Iterative are Iterative Algebras? - Jirí Adámek; Stefan Milius; Jirí Velebil (CMCS, 2006)

Elgot Algebras. - Jirí Adámek; Stefan Milius; Jirí Velebil (Log. Methods Comput. Sci., 2006)

Iterative algebras at work. - Jirí Adámek; Stefan Milius; Jirí Velebil (Math. Struct. Comput. Sci., 2006)

What Are Iteration Theories? - Jirí Adámek; Stefan Milius; Jirí Velebil (MFCS, 2007)

Algebras with parametrized iterativity. - Jirí Adámek; Stefan Milius; Jirí Velebil (Theor. Comput. Sci., 2007)

Bases for parametrized iterativity. - Jirí Adámek; Stefan Milius; Jirí Velebil (Inf. Comput., 2008)

A Description of Iterative Reflections of Monads (Extended Abstract). - Jirí Adámek; Stefan Milius; Jirí Velebil (FoSSaCS, 2009)

Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract). - Jirí Adámek; Stefan Milius; Jirí Velebil (MFPS, 2009)

Algebraic Theories over Nominal Sets - Alexander Kurz 001; Daniela Petrisan; Jirí Velebil (CoRR, 2010)

Recursive Program Schemes and Context-Free Monads. - Jirí Adámek; Stefan Milius; Jirí Velebil (CMCS@ETAPS, 2010)

Equational properties of iterative monads. - Jirí Adámek; Stefan Milius; Jirí Velebil (Inf. Comput., 2010)

Iterative reflections of monads. - Jirí Adámek; Stefan Milius; Jirí Velebil (Math. Struct. Comput. Sci., 2010)

Relation Liftings on Preorders and Posets. - Marta Bílková; Alexander Kurz 001; Daniela Petrisan; Jirí Velebil (CALCO, 2011)

Semantics of Higher-Order Recursion Schemes - Jirí Adámek; Stefan Milius; Jirí Velebil (Log. Methods Comput. Sci., 2011)

Elgot theories: a new perspective on the equational properties of iteration. - Jirí Adámek; Stefan Milius; Jirí Velebil (Math. Struct. Comput. Sci., 2011)

On monotone modalities and adjointness. - Marta Bílková; Jirí Velebil; Yde Venema (Math. Struct. Comput. Sci., 2011)

Final coalgebras in accessible categories. - Panagis Karazeris; Apostolos Matzaris; Jirí Velebil (Math. Struct. Comput. Sci., 2011)

Equational presentations of functors and monads. - Jirí Velebil; Alexander Kurz 001 (Math. Struct. Comput. Sci., 2011)

On second-order iterative monads. - Jirí Adámek; Stefan Milius; Jirí Velebil (Theor. Comput. Sci., 2011)

Distributive Substructural Logics as Coalgebraic Logics over Posets. - Marta Bílková; Rostislav Horcík; Jirí Velebil (Advances in Modal Logic, 2012)

Expressiveness of Positive Coalgebraic Logic. - Krzysztof Kapulkin; Alexander Kurz 001; Jirí Velebil (Advances in Modal Logic, 2012)

Enriched Logical Connections. - Alexander Kurz 001; Jirí Velebil (Appl. Categorical Struct., 2013)

Relation lifting, with an application to the many-valued cover modality. - Marta Bílková; Alexander Kurz 001; Daniela Petrisan; Jirí Velebil (Log. Methods Comput. Sci., 2013)

How iterative reflections of monads are constructed. - Jirí Adámek; Stefan Milius; Jirí Velebil (Inf. Comput., 2013)

Base modules for parametrized iterativity. - Jirí Adámek; Stefan Milius; Jirí Velebil (Theor. Comput. Sci., 2014)

Extensions of Functors From Set to V-cat. - Adriana Balan; Alexander Kurz 001; Jirí Velebil (CALCO, 2015)

Positive fragments of coalgebraic logics. - Adriana Balan; Alexander Kurz 001; Jirí Velebil (Log. Methods Comput. Sci., 2015)

Kan injectivity in order-enriched categories. - Jirí Adámek; Lurdes Sousa; Jirí Velebil (Math. Struct. Comput. Sci., 2015)

Morita Equivalence for Many-Sorted Enriched Theories. - Matej Dostál; Jirí Velebil (Appl. Categorical Struct., 2016)

Relation lifting, a survey. - Alexander Kurz 001; Jirí Velebil (J. Log. Algebraic Methods Program., 2016)

An institutional approach to positive coalgebraic logic. - Adriana Balan; Alexander Kurz 001; Jirí Velebil (J. Log. Comput., 2017)

Quasivarieties and varieties of ordered algebras: regularity and exactness. - Alexander Kurz 001; Jirí Velebil (Math. Struct. Comput. Sci., 2017)

Extending set functors to generalised metric spaces. - Adriana Balan; Alexander Kurz 001; Jirí Velebil (Log. Methods Comput. Sci., 2019)

A categorical view of varieties of ordered algebras. - Jirí Adámek; Matej Dostál; Jirí Velebil (Math. Struct. Comput. Sci., 2022)

Strongly Finitary Monads for Varieties of Quantitative Algebras. - Jirí Adámek; Matej Dostál; Jirí Velebil (CALCO, 2023)