Jir Velebil
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
4
Active years
2007–2023
Best venue rank
B
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CALCO | Strongly Finitary Monads for Varieties of Quantitative Algebras. | Jir Admek, Matej Dostl, Jir Velebil |
| 2015 | CALCO | Extensions of Functors From Set to V-cat. | Adriana Balan, Alexander Kurz, Jir Velebil |
| 2013 | CALCO | Positive Fragments of Coalgebraic Logics. | Adriana Balan, Alexander Kurz, Jir Velebil |
| 2012 | AiML | Distributive Substructural Logics as Coalgebraic Logics over Posets. | Marta Blkov, Rostislav Horck, Jir Velebil |
| 2012 | AiML | Expressiveness of Positive Coalgebraic Logic. | Krzysztof Kapulkin, Alexander Kurz, Jir Velebil |
| 2011 | CALCO | Relation Liftings on Preorders and Posets. | Marta Blkov, Alexander Kurz, Daniela Petrisan, Jir Velebil |
| 2009 | CALCO | Semantics of Higher-Order Recursion Schemes. | Jir Admek, Stefan Milius, Jir Velebil |
| 2009 | FOSSACS | A Description of Iterative Reflections of Monads (Extended Abstract). | Jir Admek, Stefan Milius, Jir Velebil |
| 2007 | MFCS | What Are Iteration Theories? | Jir Admek, Stefan Milius, Jir Velebil |