Jiri Velebil

Publication Activity (10 Years)

Years Active: 1999-2022
Publications (10 Years): 7

Top Topics

Logical Properties

Cognitive Theory

Top Venues

Math. Struct. Comput. Sci.

Log. Methods Comput. Sci.

Publications

Jirí Adámek, Matej Dostál, Jiri Velebil
A categorical view of varieties of ordered algebras. Math. Struct. Comput. Sci. 32 (4) (2022)
Adriana Balan, Alexander Kurz, Jiri Velebil
Extending set functors to generalised metric spaces. Log. Methods Comput. Sci. 15 (1) (2019)
Adriana Balan, Alexander Kurz, Jiri Velebil
Extending set functors to generalised metric spaces. CoRR (2018)
Alexander Kurz, Jiri Velebil
Quasivarieties and varieties of ordered algebras: regularity and exactness. Math. Struct. Comput. Sci. 27 (7) (2017)
Adriana Balan, Alexander Kurz, Jiri Velebil
An institutional approach to positive coalgebraic logic. J. Log. Comput. 27 (6) (2017)
Matej Dostál, Jiri Velebil
Morita Equivalence for Many-Sorted Enriched Theories. Appl. Categorical Struct. 24 (6) (2016)
Alexander Kurz, Jiri Velebil
Relation lifting, a survey. J. Log. Algebraic Methods Program. 85 (4) (2016)
Adriana Balan, Alexander Kurz, Jiri Velebil
Positive fragments of coalgebraic logics. Log. Methods Comput. Sci. 11 (3) (2015)
Adriana Balan, Alexander Kurz, Jiri Velebil
Extensions of Functors From Set to V-cat. CALCO (2015)
Jirí Adámek, Lurdes Sousa, Jiri Velebil
Kan injectivity in order-enriched categories. Math. Struct. Comput. Sci. 25 (1) (2015)
Jirí Adámek, Stefan Milius, Jiri Velebil
Base modules for parametrized iterativity. Theor. Comput. Sci. 523 (2014)
Adriana Balan, Alexander Kurz, Jiri Velebil
Positive Fragments of Coalgebraic Logics. CALCO (2013)
Jirí Adámek, Stefan Milius, Jiri Velebil
How iterative reflections of monads are constructed. Inf. Comput. 225 (2013)
Jirí Adámek, Lurdes Sousa, Jiri Velebil
Kan injectivity in order-enriched categories. CoRR (2013)
Marta Bílková, Alexander Kurz, Daniela Petrisan, Jiri Velebil
Relation lifting, with an application to the many-valued cover modality. Log. Methods Comput. Sci. 9 (4) (2013)
Alexander Kurz, Jiri Velebil
Enriched Logical Connections. Appl. Categorical Struct. 21 (4) (2013)
Marta Bílková, Rostislav Horcík, Jiri Velebil
Distributive Substructural Logics as Coalgebraic Logics over Posets. Advances in Modal Logic (2012)
Krzysztof Kapulkin, Alexander Kurz, Jiri Velebil
Expressiveness of Positive Coalgebraic Logic. Advances in Modal Logic (2012)
Marta Bílková, Alexander Kurz, Daniela Petrisan, Jiri Velebil
Relation Liftings on Preorders and Posets CoRR (2012)
Marta Bílková, Alexander Kurz, Daniela Petrisan, Jiri Velebil
Relation Liftings on Preorders and Posets. CALCO (2011)
Jirí Adámek, Stefan Milius, Jiri Velebil
Semantics of Higher-Order Recursion Schemes Log. Methods Comput. Sci. 7 (1) (2011)
Jirí Adámek, Stefan Milius, Jiri Velebil
On second-order iterative monads. Theor. Comput. Sci. 412 (38) (2011)
Jirí Adámek, Stefan Milius, Jiri Velebil
Elgot theories: a new perspective on the equational properties of iteration. Math. Struct. Comput. Sci. 21 (2) (2011)
Jiri Velebil, Alexander Kurz
Equational presentations of functors and monads. Math. Struct. Comput. Sci. 21 (2) (2011)
Marta Bílková, Jiri Velebil, Yde Venema
On monotone modalities and adjointness. Math. Struct. Comput. Sci. 21 (2) (2011)
Panagis Karazeris, Apostolos Matzaris, Jiri Velebil
Final coalgebras in accessible categories. Math. Struct. Comput. Sci. 21 (5) (2011)
Jirí Adámek, Stefan Milius, Jiri Velebil
Iterative reflections of monads. Math. Struct. Comput. Sci. 20 (3) (2010)
Jirí Adámek, Stefan Milius, Jiri Velebil
Recursive Program Schemes and Context-Free Monads. CMCS (2010)
Alexander Kurz, Daniela Petrisan, Jiri Velebil
Algebraic Theories over Nominal Sets CoRR (2010)
Jirí Adámek, Stefan Milius, Jiri Velebil
Equational properties of iterative monads. Inf. Comput. 208 (12) (2010)
Jirí Adámek, Stefan Milius, Jiri Velebil
Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract). MFPS (2009)
Jirí Adámek, Stefan Milius, Jiri Velebil
A Description of Iterative Reflections of Monads (Extended Abstract). FoSSaCS (2009)
Jirí Adámek, Stefan Milius, Jiri Velebil
Semantics of Higher-Order Recursion Schemes. CALCO (2009)
Jirí Adámek, Stefan Milius, Jiri Velebil
Bases for parametrized iterativity. Inf. Comput. 206 (8) (2008)
Jirí Adámek, Stefan Milius, Jiri Velebil
Algebras with parametrized iterativity. Theor. Comput. Sci. 388 (1-3) (2007)
Jirí Adámek, Stefan Milius, Jiri Velebil
What Are Iteration Theories? MFCS (2007)
Jirí Adámek, Stefan Milius, Jiri Velebil
How Iterative are Iterative Algebras? CMCS (2006)
Jirí Adámek, Stefan Milius, Jiri Velebil
Iterative algebras at work. Math. Struct. Comput. Sci. 16 (6) (2006)
Jirí Adámek, Stefan Milius, Jiri Velebil
Elgot Algebras. Log. Methods Comput. Sci. 2 (5) (2006)
Jirí Adámek, Stefan Milius, Jiri Velebil
Elgot Algebras CoRR (2006)
Jirí Adámek, Stefan Milius, Jiri Velebil
A general final coalgebra theorem. Math. Struct. Comput. Sci. 15 (3) (2005)
Jirí Adámek, Stefan Milius, Jiri Velebil
Elgot Algebras: (Extended Abstract). MFPS (2005)
Jirí Adámek, Stefan Milius, Jiri Velebil
Iterative Algebras for a Base. CTCS (2004)
Jirí Adámek, Stefan Milius, Jiri Velebil
On coalgebra based on classes. Theor. Comput. Sci. 316 (1) (2004)
Jirí Adámek, Stefan Milius, Jiri Velebil
From Iterative Algebras to Iterative Theories (Extended Abstract). CMCS (2004)
Jirí Adámek, Stefan Milius, Jiri Velebil
Some Remarks on Finitary and Iterative Monads. Appl. Categorical Struct. 11 (6) (2003)
Jirí Adámek, Stefan Milius, Jiri Velebil
On coalgebra based on classes CoRR (2003)
Peter Aczel, Jirí Adámek, Stefan Milius, Jiri Velebil
Infinite trees and completely iterative theories: a coalgebraic view. Theor. Comput. Sci. 300 (1-3) (2003)
Jirí Adámek, Stefan Milius, Jiri Velebil
Free Iterative Theories: A Coalgebraic View. Math. Struct. Comput. Sci. 13 (2) (2003)
Jirí Adámek, Stefan Milius, Jiri Velebil
Parametric corecursion and completely iterative monads. FICS (2002)
Jirí Adámek, Stefan Milius, Jiri Velebil
On Rational Monads and Free Iterative Theories. CTCS (2002)
Jirí Adámek, Stefan Milius, Jiri Velebil
Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors. CMCS (2002)
Peter Aczel, Jirí Adámek, Jiri Velebil
A Coalgebraic View of Infinite Trees and Iteration. CMCS (2001)
Jiri Velebil
Categorical Generalization of a Universal Domain. Appl. Categorical Struct. 7 (1-2) (1999)
Vera Trnková, Jiri Velebil
On categories generalizing universal domains. Math. Struct. Comput. Sci. 9 (2) (1999)