Gérard Berry
About
Gérard Berry has authored 31 papers that have received a total of 1.9k indexed citations.
This includes 19 papers in Computational Theory and Mathematics, 14 papers in Hardware and Architecture and 10 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (15 papers), Embedded Systems Design Techniques (11 papers) and Logic, programming, and type systems (7 papers). Gérard Berry is often cited by papers focused on Formal Methods in Verification (15 papers), Embedded Systems Design Techniques (11 papers) and Logic, programming, and type systems (7 papers) and collaborates with scholars based in France, United States and Germany. Gérard Berry's co-authors include Ellen Sentovich, Georges Gonthier, Thomas R. Shiple, Manuel Serrano and Jean-Jacques Lévy and has published in prestigious journals such as Proceedings of the IEEE, Communications of the ACM and Journal of the ACM
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by S. E. Rock are co-authored with Top authors papers by Anna Rodina are co-authored with Top fields papers by Zhuoting Wu are about Top journals papers by Gordon A. Macdonald are published in Top countries impacted by papers by D. Andrew Loblaw Top fields papers by Robert J. Stark are about Top authors papers by Ritei Shibata are co-authored with Top authors papers by Douglas R. Southard are co-authored with