Science Explorer Back to mapMap
Discussion
Researcher · University of Liège · Belgium

Pierre Wolper

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.

ORCID 0000-0002-6729-8142 OpenAlex
World rank
#33,930
of 7,710,434 ranked researchers
Rank in Belgium
#124
of 67,186
Works
114
Citations
13k
Citations per work
112.7
h-index
49
i10-index 71Top 1% in Computational Theory and Mathematics
Pierre Wolper

What does Pierre Wolper research?

Pierre Wolper's work is mostly in Computer Science (90%).

Physical Sciences: 103 works · 90.4% of their workComputer Science: 103 works · 90.4% of their workComputational Theory and Mathematics: 40 works · 35.3% of their workArtificial Intelligence: 31 works · 26.8% of their workSoftware: 14 works · 12.6% of their workComputer Networks and Communications: 10 works · 8.5% of their workHardware and Architecture: 6 works · 5.0% of their workSignal Processing: 3 works · 2.2% of their workEverything else: 11 works · 9.6% of their workTHEIR WORKPierre Wolper114works
Physical Sciences90%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science10390.4%
  2. Everything else119.6%
  1. 1Computational Theory and Mathematics35% of their works
  2. 2Artificial Intelligence27% of their works
  3. 3Software13% of their works
  4. 4Computer Networks and Communications8% of their works
  5. 5Hardware and Architecture5% of their works
  6. 6Signal Processing2% of their works

Research topics

Which keywords describe Pierre Wolper's research?

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.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 19 words, with their numbers
  1. Model Checking1423 topics
  2. Automata1002 topics
  3. Temporal Logic892 topics
  4. Satisfiability Modulo Theories771 topic
  5. Symbolic Model Checker771 topic
  6. Formal Verification531 topic
  7. Static Analysis531 topic
  8. Formal Languages231 topic
  9. Regular Expressions231 topic
  10. Automated Testing161 topic
  11. Software Fault Localization161 topic
  12. Answer Set Programming121 topic
  13. Architecture-Based Approach121 topic
  14. Continuous Queries121 topic
  15. Data Stream Management121 topic
  16. Domain-Specific Languages121 topic
  17. Modal Logic121 topic
  18. Model-Driven Engineering121 topic
  19. Software Reliability Modeling121 topic

Where does Pierre Wolper work?

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

How many publications and citations does Pierre Wolper have?

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.

Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Pierre Wolper. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.