Philippe Schnoebelen
About
Philippe Schnoebelen has authored 22 papers that have received a total of 315 indexed citations.
This includes 21 papers in Computational Theory and Mathematics, 19 papers in Artificial Intelligence and 8 papers in Software. The topics of these papers are Formal Methods in Verification (17 papers), Logic, programming, and type systems (15 papers) and semigroups and automata theory (5 papers). Philippe Schnoebelen is often cited by papers focused on Formal Methods in Verification (17 papers), Logic, programming, and type systems (15 papers) and semigroups and automata theory (5 papers) and collaborates with scholars based in France, India and Israel. Philippe Schnoebelen's co-authors include Nathalie Bertrand, Christel Baier, Alexander Rabinovich, Nicolas Markey and Béatrice Bérard and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Information and Computation.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Gamal El-Sawaf Breakdown of academic impact, for papers by Vijay Kumar Vishvakarma Breakdown of academic impact, for papers by Thayer Morrill Breakdown of academic impact, for papers by Kazutaka Kawatsu Breakdown of academic impact, for papers by Stephan Guttowski Breakdown of academic impact, for papers by Peng Xie Breakdown of academic impact, for papers by Nigel Watson Breakdown of academic impact, for papers by Rudy Hung