Pierre‐Etienne Moreau
About
Pierre‐Etienne Moreau has authored 21 papers that have received a total of 369 indexed citations.
This includes 19 papers in Artificial Intelligence, 12 papers in Computational Theory and Mathematics and 5 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (18 papers), Formal Methods in Verification (11 papers) and Model-Driven Software Engineering Techniques (5 papers). Pierre‐Etienne Moreau is often cited by papers focused on Logic, programming, and type systems (18 papers), Formal Methods in Verification (11 papers) and Model-Driven Software Engineering Techniques (5 papers) and collaborates with scholars based in France, Spain and Norway. Pierre‐Etienne Moreau's co-authors include Claude Kirchner, Peter Borovanský, Émilie Balland, Horatiu Cirstea and Christophe Ringeissen and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Software Practice and Experience.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Krista M. Powell Breakdown of academic impact, for papers by Ayse Nihal Sari Breakdown of academic impact, for papers by Zesen Wei Breakdown of academic impact, for papers by Quanxi Zhu Breakdown of academic impact, for papers by Marianela Mego Breakdown of academic impact, for papers by Edelín Roque Breakdown of academic impact, for papers by Lorena Maria Cucci Breakdown of academic impact, for papers by Andrew R. Hoellein