| 2024 | FOSSACS | From Rewrite Rules to Axioms in the $\lambda \varPi $-Calculus Modulo Theory. | Valentin Blot, Gilles Dowek, Thomas Traversi, Tho Winterhalter |
| 2024 | RC | A Toy Model Provably Featuring an Arrow of Time Without Past Hypothesis. | Pablo Arrighi, Gilles Dowek, Amlia Durbec |
| 2024 | WoLLIC | A Linear Proof Language for Second-Order Intuitionistic Linear Logic. | Alejandro Daz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe |
| 2022 | CADE | From the Universality of Mathematical Truth to the Interoperability of Proof Systems. | Gilles Dowek |
| 2022 | FSCD | Linear Lambda-Calculus is Linear. | Alejandro Daz-Caro, Gilles Dowek |
| 2021 | FSCD | Some Axioms for Mathematics. | Frdric Blanqui, Gilles Dowek, milie Grienenberger, Gabriel Hondet, Franois Thir |
| 2021 | ICTAC | A New Connective in Natural Deduction, and Its Application to Quantum Computing. | Alejandro Daz-Caro, Gilles Dowek |
| 2017 | ICALP | Models and Termination of Proof Reduction in the lambda Pi-Calculus Modulo Theory. | Gilles Dowek |
| 2015 | LPAR | Decidability, Introduction Rules and Automata. | Gilles Dowek, Ying Jiang |
| 2013 | CSR | Real Numbers, Chaos, and the Principle of a Bounded Density of Information. | Gilles Dowek |
| 2012 | ICALP | Causal Graph Dynamics. | Pablo Arrighi, Gilles Dowek |
| 2012 | ICALP | A Theory Independent Curry-De Bruijn-Howard Correspondence. | Gilles Dowek |
| 2012 | LATA | Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory. | Gilles Dowek |
| 2010 | CiE | On the Completeness of Quantum Computation Models. | Pablo Arrighi, Gilles Dowek |
| 2010 | PPDP | Permissive-nominal logic. | Gilles Dowek, Murdoch James Gabbay |
| 2005 | CADE | What Do We Know When We Know That a Theory Is Consistent?. | Gilles Dowek |
| 2004 | ISSTA | Modeling and verification of an air traffic concept of operations. | Csar A. Muoz, Gilles Dowek, Victor Carreo |
| 2002 | LPAR | Binding Logic: Proofs and Models. | Gilles Dowek, Thrse Hardin, Claude Kirchner |
| 2002 | STACS | What Is a Theory? | Gilles Dowek |
| 1996 | ICLP | Unification via Explicit Substitutions: The Case of Higher-Order Patterns. | Gilles Dowek, Thrse Hardin, Claude Kirchner, Frank Pfenning |
| 1995 | LICS | Higher-Order Unification via Explicit Substitutions (Extended Abstract) | Gilles Dowek, Thrse Hardin, Claude Kirchner |
| 1992 | LICS | Third Order Matching is Decidable | Gilles Dowek |
| 1991 | MFCS | A Second-Order Pattern Matching Algorithm for the Cube of Typed Lambda-Calculi. | Gilles Dowek |