Jirí Velebil - RankMe

56 papers B 11Journal 37Unranked 8

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