VLDB 2026 Research / reviewers in the wild / expert
Thierry Boy de la Tour
dblp:80/6796
· DBLP profile ↗
18ranked-venue papers
18as first author
1since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 14 · 14 first-author · 1 since 2021Artificial intelligence and machine learning · 10 · 10 first-authorGraphics, computer vision, multimedia, augmented reality and games · 2 · 2 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Algebraic properties and transformations of monographs
Thierry Boy de la Tour |
Theor. Comput. Sci. | 1 |
| 2020 | Parallel rewriting of attributed graphs
Thierry Boy de la Tour, Rachid Echahed |
Theor. Comput. Sci. | 1 |
| 2016 | Proof Generalization in $$\mathrm {LK}$$ LK by Second Order Unifier Minimization
Thierry Boy de la Tour, Nicolas Peltier |
J. Autom. Reason. | 1 |
| 2007 | Determining Unify-Stable Presentations
Thierry Boy de la Tour, Mnacho Echenim |
RTA | 1 |
| 2007 | Permutative rewriting and unification
Thierry Boy de la Tour, Mnacho Echenim |
Inf. Comput. | 1 |
| 2005 | Unification in a Class of Permutative Theories
Thierry Boy de la Tour, Mnacho Echenim |
RTA | 1 |
| 2004 | On the Complexity of Deduction Modulo Leaf Permutative Equations
Thierry Boy de la Tour, Mnacho Echenim |
J. Autom. Reason. | 1 |
| 2003 | NP-Completeness Results for Deductive Problems on Stratified Terms
Thierry Boy de la Tour, Mnacho Echenim |
LPAR | 1 |
| 2002 | A Note on Symmetry Heuristics in SEM
Thierry Boy de la Tour |
CADE | 1 |
| 1996 | Ground Resolution with Group Computations on Semantic Symmetries
Thierry Boy de la Tour |
CADE | 1 |
| 1995 | On the Complexity of Extending Ground Resolution with Symmetry Rules
Thierry Boy de la Tour, Stéphane Demri |
IJCAI | 1 |
| 1992 | Building Proofs by Analogy via the Curry-Horward Isomorphism
Thierry Boy de la Tour, Christoph Kreitz |
LPAR | 1 |
| 1992 | An Optimality Result for Clause Form Translation
Thierry Boy de la Tour |
J. Symb. Comput. | 1 |
| 1990 | Minimizing the Number of Clauses by Renaming
Thierry Boy de la Tour |
CADE | 1 |
| 1988 | Some Tools for an Inference Laboratory (ATINF)
Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade |
CADE | 1 |
| 1988 | A Formal Approach to some Usually Informal Techniques Used in Mathematical Reasoning
Thierry Boy de la Tour, Ricardo Caferra |
ISSAC | 1 |
| 1988 | Some Tools for an Inference Laboratory (ATINF)
Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade |
STACS | 1 |
| 1987 | Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern Matching
Thierry Boy de la Tour, Ricardo Caferra |
AAAI | 1 |