Vincent Balat
About
Vincent Balat has authored 6 papers that have received a total of 55 indexed citations.
This includes 6 papers in Artificial Intelligence, 3 papers in Computational Theory and Mathematics and 2 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (6 papers), Formal Methods in Verification (2 papers) and Logic, Reasoning, and Knowledge (2 papers). Vincent Balat is often cited by papers focused on Logic, programming, and type systems (6 papers), Formal Methods in Verification (2 papers) and Logic, Reasoning, and Knowledge (2 papers) and collaborates with scholars based in France, United Kingdom and Denmark. Vincent Balat's co-authors include Olivier Danvy, Roberto Di Cosmo, Marcelo Fiore and Jérôme Vouillon and has published in prestigious journals such as ACM SIGPLAN Notices, Software Practice and Experience and Annals of Pure and Applied Logic
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Benedetto Gorini are published in Top journals papers by Samiaji Sarosa are published in Top journals papers by Robin L. Okada are published in Top journals papers by Jean Garcia-Gathright are published in Top journals papers by Roberta Barelli are published in Top fields papers by J. B. Vincent are about Top countries impacted by papers by G. Moreno Top fields papers by Kevin I. Collins are about