Charles Pecheur
About
Charles Pecheur has authored 21 papers that have received a total of 176 indexed citations.
This includes 16 papers in Computational Theory and Mathematics, 7 papers in Artificial Intelligence and 7 papers in Software. The topics of these papers are Formal Methods in Verification (15 papers), Model-Driven Software Engineering Techniques (5 papers) and Logic, Reasoning, and Knowledge (4 papers). Charles Pecheur is often cited by papers focused on Formal Methods in Verification (15 papers), Model-Driven Software Engineering Techniques (5 papers) and Logic, Reasoning, and Knowledge (4 papers) and collaborates with scholars based in Belgium, United States and United Kingdom. Charles Pecheur's co-authors include Franco Raimondi, Willem Visser, Hongyang Qu, Reid Simmons and Dimitra Giannakopoulou and has published in prestigious journals such as Lecture notes in computer science, Computer Communications and AI Magazine
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Miltos Ladikas are published in Top countries impacted by papers by Nikhar Gaikwad Top fields papers by Mariarosaria Calvello are about Top journals papers by Andy Bell are published in Top fields papers by Lixing Ding are about Top countries impacted by papers by G. Phillips Top countries impacted by papers by Mikael Parkvall Top journals papers by Dong Shao are published in