Statistics
Publications
3
Citations
163
H-Index
3
Active since
2003
Affiliations
Jiřı́ Velebil is an author at Technische Universität Braunschweig specializing in category theory, mathematics, and computer science.
Publications per year
2003–2012
3
3
Infinite trees and completely iterative theories: a coalgebraic view
Peter Aczel, Jiřı́ Adámek, Stefan Milius et al. · Theoretical Computer Science · 2003 · 114 citations
Jiřı́ Adámek, Stefan Milius, Jiřı́ Velebil · Theoretical Computer Science · 2004 · 29 citations
Expressiveness of Positive Coalgebraic Logic
Krzysztof Kapulkin, Alexander Kurz, Jiřı́ Velebil · 2012 · 20 citations
1–3 of 3