Jiřı́ Velebil

39 papers and 289 indexed citations i.

Jiřı́ Velebil has authored 39 papers that have received a total of 289 indexed citations. This includes 34 papers in Artificial Intelligence, 25 papers in Mathematical Physics and 15 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (34 papers), Homotopy and Cohomology in Algebraic Topology (25 papers) and Logic, Reasoning, and Knowledge (23 papers). Jiřı́ Velebil is often cited by papers focused on Logic, programming, and type systems (34 papers), Homotopy and Cohomology in Algebraic Topology (25 papers) and Logic, Reasoning, and Knowledge (23 papers) and collaborates with scholars based in Czechia, Germany and United Kingdom. Jiřı́ Velebil's co-authors include Jiřı́ Adámek, Stefan Milius, Alexander Kurz, Peter Aczel and Krzysztof Kapulkin and has published in prestigious journals such as Theoretical Computer Science, Journal of Pure and Applied Algebra and Information and Computation