Marc Pantel
About
Marc Pantel has authored 13 papers that have received a total of 35 indexed citations.
This includes 7 papers in Artificial Intelligence, 6 papers in Computational Theory and Mathematics and 6 papers in Software. The topics of these papers are Formal Methods in Verification (5 papers), Advanced Software Engineering Methodologies (4 papers) and Model-Driven Software Engineering Techniques (4 papers). Marc Pantel is often cited by papers focused on Formal Methods in Verification (5 papers), Advanced Software Engineering Methodologies (4 papers) and Model-Driven Software Engineering Techniques (4 papers) and collaborates with scholars based in France, Japan and United States. Marc Pantel's co-authors include Ning Ge, Yamine Aït‐Ameur, Neeraj Kumar Singh, Guillaume Dupont and F. Bérard and has published in prestigious journals such as Computers & Chemical Engineering, IEEE Transactions on Services Computing and Science of Computer Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Vitalii Klymchuk are about Top countries impacted by papers by Domenico Soriero Top authors papers by Andrew Ang are co-authored with Top journals papers by Patrycja Woźniak are published in Top journals papers by Nathalie Dournon are published in Top authors papers by Diego Manzanas Lopez are co-authored with Top fields papers by Silvia Hunold Lara are about Top countries impacted by papers by Anna Bartholomew