VLDB 2026 Research / reviewers in the wild / expert
Laurent Siklóssy
dblp:91/6340
· DBLP profile ↗
17ranked-venue papers
13as first author
0since 2021 · last 1997
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 10 · 8 first-authorDatabases, data management, data science and information retrieval · 7 · 6 first-authorGraphics, computer vision, multimedia, augmented reality and games · 7 · 5 first-authorTheory of computation · 3 · 3 first-authorHuman-computer interaction and ubiquitous computing · 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.
| Artificial intelligence
5 papers |
Planning, search and constraint satisfaction · 83% Motion planning and robot control · 17% | |
| Software engineering, system software, and programming languages
2 papers |
Program verification · 67% Program synthesis and code generation · 33% | |
| Databases, data mining, and information retrieval
1 paper |
Data models and query languages · 100% | |
| Human-computer interaction and pervasive computing
1 paper |
Wearable and physiological sensing · 50% Interaction techniques and input · 50% | |
| Theoretical computer science
2 papers |
Logic in computer science · 30% Automated reasoning and model checking · 30% Graph algorithms and graph theory · 30% |
Topics — the 12 heaviest of 15, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Data models and query languages
relational model |
0.0 | 1 | 1982 | Removing Restrictions in the Relational Data Base Model: An Application of Problem Solving Techniques · AAAI 1982 |
Wearable and physiological sensing
unobtrusive sensing |
0.0 | 1 | 1977 | An Unobtrusive Computer Monitor for Multi-Step Problem Solving · Int. J. Man Mach. Stud. 1977 |
Program verification
model checking |
0.0 | 1 | 1975 | Model Verification and Improvement Using DISPROVER · Artif. Intell. 1975 |
Program verification
model verification |
0.0 | 1 | 1975 | Model Verification and Improvement Using DISPROVER · Artif. Intell. 1975 |
Program synthesis and code generation
programming by example |
0.0 | 1 | 1975 | Automatic Program Synthesis from Example Problems · IJCAI 1975 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › tree search
breadth-first search |
0.0 | 1 | 1973 | Breadth-First Search: Some Surprising Results · Artif. Intell. 1973 |
Robotics › Motion planning and robot control
robot planning |
0.0 | 1 | 1973 | An Efficient Robot Planner which Generates Its Own Procedures · IJCAI 1973 |
Automated reasoning and model checking
falsification |
0.0 | 1 | 1973 | Proving the Impossible is Impossible is Possible: Disproofs Based on Hereditary Partitions · IJCAI 1973 |
Graph algorithms and graph theory › graph algorithms
graph search |
0.0 | 1 | 1973 | Breadth-First Search: Some Surprising Results · Artif. Intell. 1973 |
Logic in computer science
proof theory |
0.0 | 1 | 1973 | Proving the Impossible is Impossible is Possible: Disproofs Based on Hereditary Partitions · IJCAI 1973 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
heuristic search |
0.0 | 1 | 1971 | Heuristic Search vs. Exhaustive Search · IJCAI 1971 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
exact search |
0.0 | 1 | 1971 | Heuristic Search vs. Exhaustive Search · IJCAI 1971 |
Methods — techniques the papers use, named apart from their topics
problem solving techniques · 0.0unobtrusive monitoring · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1997 | Datum Discovery
Laurent Siklóssy, Marc Ayel |
IDA | 1 |
| 1991 | The Space Reduction Method: A Method to Reduce the Size of Search Spaces
Laurent Siklóssy, Eduard Tulp |
Inf. Process. Lett. | 1 |
| 1988 | TRAINS, An Active Time-Table Searcher
Eduard Tulp, Laurent Siklóssy |
ECAI | 2 |
| 1985 | Semantic and pragmatic processing in FIDO: A flexible interface for data-base operations
Leonardo Lesmo, Pietro Torasso, Laurent Siklóssy |
Inf. Syst. | 3 |
| 1982 | Removing Restrictions in the Relational Data Base Model: An Application of Problem Solving Techniques
Laurent Siklóssy, Jean-Louis Laurière |
AAAI | 1 |
| 1981 | Efficient Query Evaluation in Relational Data Bases with Missing Values
Laurent Siklóssy |
Inf. Process. Lett. | 1 |
| 1977 | The Role of Preprocessing in Problem Solving Systems
Clive Dawson, Laurent Siklóssy |
IJCAI | 2 |
| 1977 | An Unobtrusive Computer Monitor for Multi-Step Problem Solving
Jack T. Baldwin, Laurent Siklóssy |
Int. J. Man Mach. Stud. | 2 |
| 1975 | Automatic Program Synthesis from Example Problems
Laurent Siklóssy, D. A. Sykas |
IJCAI | 1 |
| 1975 | Model Verification and Improvement Using DISPROVER
Laurent Siklóssy, John W. Roach |
Artif. Intell. | 1 |
| 1973 | An Efficient Robot Planner which Generates Its Own Procedures
Laurent Siklóssy, J. Dreussi |
IJCAI | 1 |
| 1973 | Proving the Impossible is Impossible is Possible: Disproofs Based on Hereditary Partitions
Laurent Siklóssy, John W. Roach |
IJCAI | 1 |
| 1973 | Breadth-First Search: Some Surprising Results
Laurent Siklóssy, A. Rich, Vesko Marinov |
Artif. Intell. | 1 |
| 1972 | Fast and Read-Only Algorithms for Traversing Trees Without an Auxiliary Stack
Laurent Siklóssy |
Inf. Process. Lett. | 1 |
| 1971 | Heuristic Search vs. Exhaustive Search
Laurent Siklóssy, Vesko Marinov |
IJCAI | 1 |
| 1971 | Generalized means-ends analysis and artificial intelligence
Laurent Siklóssy |
Inf. Sci. | 1 |
| 1970 | On the evolution of artificial intelligence
Laurent Siklóssy |
Inf. Sci. | 1 |