Question 1

What does Pierre Wolper research?

Accepted Answer

Pierre Wolper publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and semigroups and automata theory.

Question 2

Which keywords describe Pierre Wolper's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Automata, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis and Formal Languages.

Question 3

Where does Pierre Wolper work?

Accepted Answer

Pierre Wolper's main affiliation in the publication record is University of Liège, Belgium.

Question 4

How many publications and citations does Pierre Wolper have?

Accepted Answer

OpenAlex counts 114 works and 12,850 citations for Pierre Wolper, an h-index of 49, ranking #33,930 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Pierre Wolper's h-index high?

Accepted Answer

An h-index of 49 is at or above that of 99.1% of the 19,601 ranked researchers whose main subfield is Computational Theory and Mathematics, which is in the top 1%.