Pierre Wolper
About
Pierre Wolper has authored 34 papers that have received a total of 2.1k indexed citations.
This includes 26 papers in Computational Theory and Mathematics, 23 papers in Artificial Intelligence and 9 papers in Software. The topics of these papers are Formal Methods in Verification (25 papers), Logic, programming, and type systems (19 papers) and semigroups and automata theory (7 papers). Pierre Wolper is often cited by papers focused on Formal Methods in Verification (25 papers), Logic, programming, and type systems (19 papers) and semigroups and automata theory (7 papers) and collaborates with scholars based in Belgium, United States and Germany. Pierre Wolper's co-authors include Moshe Y. Vardi, Bernard Willems, Patrice Godefroid, Bernard Boigelot and Ahmed Bouajjani and has published in prestigious journals such as ACM Computing Surveys, Journal of the ACM and Journal of Computer and System Sciences
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Dorothea Lorenz are about Top authors papers by Viviane Labrie are co-authored with Top journals papers by Valéry Zwiller are published in Top fields papers by Laura L. Smith are about Top journals papers by Kenneth Leung are published in Top fields papers by Ondřej Machoň are about Top journals papers by Dorothee Kretschmer are published in