Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Jean-Pierre H. Laurent

dblp:49/6641 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Programming languages and type systems
program manipulation		 0.011981
An Interactive Tool for Program Manipulation · ICSE 1981
Debugging and program repair
fault localization		 0.011980
LAURA, A System to Debug Student Programs · Artif. Intell. 1980
Knowledge, reasoning and agents › Knowledge representation and reasoning
symbolic computation		 0.011973
A Program that Computes Limits Using Heuristics to Evaluate the Indeterminate Forms · Artif. Intell. 1973
Compilers and program optimization
program transformation		 0.011981
An Interactive Tool for Program Manipulation · ICSE 1981
Automated reasoning and model checking
automated reasoning		 0.011973
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
YearPublicationVenuePosition
1992 Proposals for a Valid Terminology in KBS Validation
Jean-Pierre H. Laurent
 ECAI1
1989 Distributed artificial intelligence: a necessary paradigm for supervising production management activities
abstract
Each 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
 ICSE3
1980 Adding Dynamic Paramodulation to Rewrite Algorithms
Paul Y. Gloess, Jean-Pierre H. Laurent
 CADE2
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