VLDB 2026 Research / reviewers in the wild / expert
Jean-Pierre H. Laurent
dblp:49/6641
· DBLP profile ↗
6ranked-venue papers
3as first author
0since 2021 · last 1992
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 5 · 3 first-authorGraphics, computer vision, multimedia, augmented reality and games · 2 · 2 first-authorSoftware engineering, systems software and programming languages · 1Theory of computation · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
2 papers |
Programming languages and type systems · 46% Debugging and program repair · 40% Compilers and program optimization · 14% | |
| Artificial intelligence
1 paper |
Knowledge representation and reasoning · 100% | |
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 100% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems
program manipulation |
0.0 | 1 | 1981 | An Interactive Tool for Program Manipulation · ICSE 1981 |
Debugging and program repair
fault localization |
0.0 | 1 | 1980 | LAURA, A System to Debug Student Programs · Artif. Intell. 1980 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
symbolic computation |
0.0 | 1 | 1973 | A Program that Computes Limits Using Heuristics to Evaluate the Indeterminate Forms · Artif. Intell. 1973 |
Compilers and program optimization
program transformation |
0.0 | 1 | 1981 | An Interactive Tool for Program Manipulation · ICSE 1981 |
Automated reasoning and model checking
automated reasoning |
0.0 | 1 | 1973 | A Program that Computes Limits Using Heuristics to Evaluate the Indeterminate Forms · Artif. Intell. 1973 |
Methods — techniques the papers use, named apart from their topics
interactive tool · 0.0heuristics · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1992 | Proposals for a Valid Terminology in KBS Validation
Jean-Pierre H. Laurent |
ECAI | 1 |
| 1989 | Distributed artificial intelligence: a necessary paradigm for supervising production management activitiesabstractEach unit-controller is a knowledge-based system, built on top of a blackboard mechanism. Indeed, each unit-controller must react to about the state of its internal activities as well asq to arrivals of messages sent by other unit-controllers. The blackboard mechanism allows the unit-controller to take such events into account in an opportunistic way and in real-time. Jean-Pierre H. Laurent, Agnes Lanusse, Bernard Pierre Panet |
IEA/AIE (1) | 1 |
| 1981 | An Interactive Tool for Program Manipulation
Anne Adam, Paul Y. Gloess, Jean-Pierre H. Laurent |
ICSE | 3 |
| 1980 | Adding Dynamic Paramodulation to Rewrite Algorithms
Paul Y. Gloess, Jean-Pierre H. Laurent |
CADE | 2 |
| 1980 | LAURA, A System to Debug Student Programs
Anne Adam, Jean-Pierre H. Laurent |
Artif. Intell. | 2 |
| 1973 | A Program that Computes Limits Using Heuristics to Evaluate the Indeterminate Forms
Jean-Pierre H. Laurent |
Artif. Intell. | 1 |