Venanzio Capretta
About
Venanzio Capretta has authored 10 papers that have received a total of 149 indexed citations.
This includes 10 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 2 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (10 papers), Logic, Reasoning, and Knowledge (9 papers) and Formal Methods in Verification (7 papers). Venanzio Capretta is often cited by papers focused on Logic, programming, and type systems (10 papers), Logic, Reasoning, and Knowledge (9 papers) and Formal Methods in Verification (7 papers) and collaborates with scholars based in United Kingdom, Canada and France. Venanzio Capretta's co-authors include Graham Hutton, Gilles Barthe, Ana Bove, Tarmo Uustalu and Varmo Vene and has published in prestigious journals such as Theoretical Computer Science, Information and Computation and Journal of Functional Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by P. Kuentzmann are about Top journals papers by Xuntao Cheng are published in Top fields papers by Alexandra Jurczak are about Top authors papers by Kumari Jayawardena are co-authored with Top authors papers by Xuan Yang are co-authored with Top authors papers by Elias Duarte are co-authored with Top fields papers by Melissa Barragan are about Top authors papers by Glenn Galloway are co-authored with