Paul Blain Levy
About
Paul Blain Levy has authored 32 papers that have received a total of 305 indexed citations.
This includes 24 papers in Artificial Intelligence, 18 papers in Computational Theory and Mathematics and 4 papers in Mathematical Physics. The topics of these papers are Logic, programming, and type systems (24 papers), Logic, Reasoning, and Knowledge (17 papers) and Formal Methods in Verification (9 papers). Paul Blain Levy is often cited by papers focused on Logic, programming, and type systems (24 papers), Logic, Reasoning, and Knowledge (17 papers) and Formal Methods in Verification (9 papers) and collaborates with scholars based in United Kingdom, Germany and United States. Paul Blain Levy's co-authors include Vasileios Koutavas, Eijiro Sumii, Sam Staton, John Power and James Cheney and has published in prestigious journals such as American Journal of Epidemiology, Theoretical Computer Science and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Kiyotaka YAMASHITA are co-authored with Top fields papers by L. Alperovich are about Top journals papers by Ovidiu Vasile are published in Top fields papers by Robin Reschke are about Top fields papers by Guillermo Mena are about Top fields papers by Bernard Clist are about Top authors papers by Tatsuo Oyake are co-authored with Top journals papers by Przemysław Dąbek are published in