Pierre Wolper

34 papers and 2.1k indexed citations i.

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.