Demo Data from EDBT 2026 / reviewers in the wild / expert
Hervé Gallaire
dblp:38/1430
· DBLP profile ↗
14ranked-venue papers
12as first author
0since 2021 · last 1990
—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 · 5 · 3 first-authorTheory of computation · 5 · 5 first-authorDatabases, data management, data science and information retrieval · 3 · 3 first-authorSystems, architecture and hardware · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-author
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.
| Databases, data mining, and information retrieval
2 papers |
Database system architecture and tuning · 61% Database theory · 20% Data models and query languages · 18% | |
| Software engineering, system software, and programming languages
1 paper |
Programming languages and type systems · 100% | |
| Artificial intelligence
1 paper |
Knowledge representation and reasoning · 100% | |
| Theoretical computer science
2 papers |
Logic in computer science · 44% Computational complexity · 28% Automata and formal languages · 28% |
Topics — the 5 heaviest of 10, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems
logic programming |
0.0 | 1 | 1986 | Merging Objects and Logic Programming: Relational Semantics · AAAI 1986 |
Programming languages and type systems › language semantics › formal semantics › denotational semantics
relational semantics |
0.0 | 1 | 1986 | Merging Objects and Logic Programming: Relational Semantics · AAAI 1986 |
Database theory
database logic |
0.0 | 1 | 1981 | Impacts of Logic and Databases (Invited Paper) · VLDB 1981 |
Programming languages and type systems
object-oriented programming |
0.0 | 1 | 1986 | Merging Objects and Logic Programming: Relational Semantics · AAAI 1986 |
Automata and formal languages
context-free languages |
0.0 | 1 | 1969 | Recognition Time of Context-Free Languages by On-Line Turing Machines · Inf. Control. 1969 |
Methods — techniques the papers use, named apart from their topics
formal semantics · 0.0declarative approach · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1990 | Logic and Databases: An Assessment
Hervé Gallaire, Jean-Marie Nicolas 0001 |
ICDT | 1 |
| 1989 | From a laguna to open waters: Another view on the next generations of databases
Hervé Gallaire |
VLDB | 1 |
| 1987 | Boosting Logic Programming
Hervé Gallaire |
ICLP | 1 |
| 1987 | ECRC: A joint industrial research centre
Hervé Gallaire |
Future Gener. Comput. Syst. | 1 |
| 1986 | Merging Objects and Logic Programming: Relational Semantics
Hervé Gallaire |
AAAI | 1 |
| 1983 | Panel on the Fifth Generation Project
Robert A. Kowalski, Hervé Gallaire, Toshio Yokoi, Robert B. K. Dewar |
IJCAI | 2 |
| 1983 | A Panel on AI and Databases
Raymond Reiter, Hervé Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber |
IJCAI | 2 |
| 1982 | Artificial Intelligence and Industry
Hervé Gallaire |
ECAI | 1 |
| 1981 | Impacts of Logic and Databases (Invited Paper)
Hervé Gallaire |
VLDB | 1 |
| 1979 | Controlling Knowledge Deduction in a Declarative Approach
Hervé Gallaire, Claudine Lasserre |
IJCAI | 1 |
| 1970 | Decomposition of Linear Sequential Machines. II
Hervé Gallaire |
Math. Syst. Theory | 1 |
| 1969 | Recognition Time of Context-Free Languages by On-Line Turing Machines
Hervé Gallaire |
Inf. Control. | 1 |
| 1969 | Decomposition of Linear Sequential Machines
Hervé Gallaire, Michael A. Harrison |
Math. Syst. Theory | 1 |
| 1968 | Infinite Linear Sequential Machines
Hervé Gallaire, Jim Gray 0001, Michael A. Harrison, Gabor T. Herman |
J. Comput. Syst. Sci. | 1 |