Pierre Wolper
Pierre Wolper publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Software Testing and Debugging Techniques.
- World rank
- #77,998 of 1,633,909 ranked researchers
- Rank in Belgium
- #662 of 18,604
- Works
- 39
- Citations
- 259
- Citations per work
- 6.6
What does Pierre Wolper research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence26% of their works
- 2Computational Theory and Mathematics24% of their works
- 3Software17% of their works
- 4Computer Networks and Communications14% of their works
- 5Hardware and Architecture10% of their works
- 6Control and Systems Engineering5% of their works
Research topics
Which keywords describe Pierre Wolper's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Automated Testing, Domain-Specific Languages and Model-Driven Engineering.
- Scheduling Algorithms
- Parallel Computing
- Hard Real-Time Systems
- Continuous Queries
- Model-Driven Engineering
- Automated Testing
- Formal Verification
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Static Analysis
- Domain-Specific Languages
- Software Fault Localization
- Data Stream Management
- Ontology
- Performance Optimization
- Semantic Web
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.
All 17 words, with their numbers
- Model Checking132 topics
- Satisfiability Modulo Theories91 topic
- Symbolic Model Checker91 topic
- Formal Verification41 topic
- Static Analysis41 topic
- Automated Testing31 topic
- Domain-Specific Languages31 topic
- Model-Driven Engineering31 topic
- Software Fault Localization31 topic
- Continuous Queries21 topic
- Data Stream Management21 topic
- Hard Real-Time Systems21 topic
- Ontology21 topic
- Parallel Computing21 topic
- Performance Optimization21 topic
- Scheduling Algorithms21 topic
- Semantic Web21 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?
Science Explorer counts 39 works and 259 citations for Pierre Wolper, ranking #77,998 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised 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 are in the interactive view on the map. Is this your page? Request a correction or removal.