Quantales as completions of ordered monoids - Revised semantics for Intuitionistic Linear Logic. - Dominique Larchey-Wendling; Didier Galmiche (Workshop on Domains, 1998)

Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets. - Dominique Larchey-Wendling; Didier Galmiche (Proof Search in Type-Theoretic Languages@CADE, 1998)

Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic. - Didier Galmiche; Dominique Larchey-Wendling (ASIAN, 1999)

Preuves, réfutations et contre-modèles dans des logiques intuitionnistes. - Dominique Larchey-Wendling (2000)

STRIP: Structural Sharing for Efficient Proof-Search. - Dominique Larchey-Wendling; Daniel Méry; Didier Galmiche (IJCAR, 2001)

Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic. - Dominique Larchey-Wendling (CADE, 2002)

Counter-Model Search in Gödel-Dummett Logics. - Dominique Larchey-Wendling (IJCAR, 2004)

Gödel-Dummett Counter-models through Matrix Computation. - Dominique Larchey-Wendling (D/PDPAR@IJCAR, 2004)

Bounding Resource Consumption with Gödel-Dummett Logics. - Dominique Larchey-Wendling (LPAR, 2005)

Expressivity Properties of Boolean. - Didier Galmiche; Dominique Larchey-Wendling (FSTTCS, 2006)

Graph-based Decision for Gödel-Dummett Logics. - Dominique Larchey-Wendling (J. Autom. Reason., 2007)

Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding. - Dominique Larchey-Wendling; Didier Galmiche (Math. Struct. Comput. Sci., 2009)

The Undecidability of Boolean BI through Phase Semantics. - Dominique Larchey-Wendling; Didier Galmiche (LICS, 2010)

An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics. - Dominique Larchey-Wendling (MFPS, 2010)

Nondeterministic Phase Semantics and the Undecidability of Boolean BI. - Dominique Larchey-Wendling; Didier Galmiche (ACM Trans. Comput. Log., 2013)

Looking at Separation Algebras with Boolean BI-eyes. - Dominique Larchey-Wendling; Didier Galmiche (IFIP TCS, 2014)

The formal strong completeness of partial monoidal Boolean BI. - Dominique Larchey-Wendling (J. Log. Comput., 2016)

Typing Total Recursive Functions in Coq. - Dominique Larchey-Wendling (ITP, 2017)

Separation Logic with One Quantified Variable. - Stéphane Demri; Didier Galmiche; Dominique Larchey-Wendling; Daniel Méry (Theory Comput. Syst., 2017)

Proof Pearl: Constructive Extraction of Cycle Finding Algorithms. - Dominique Larchey-Wendling (ITP, 2018)

Certified undecidability of intuitionistic linear logic via binary stack machines and minsky machines. - Yannick Forster 002; Dominique Larchey-Wendling (CPP, 2019)

Certification of Breadth-First Algorithms by Extraction. - Dominique Larchey-Wendling; Ralph Matthes (MPC, 2019)

Hilbert's Tenth Problem in Coq. - Dominique Larchey-Wendling; Yannick Forster 002 (FSCD, 2019)

Trakhtenbrot's Theorem in Coq - A Constructive Approach to Finite Model Theory. - Dominik Kirst; Dominique Larchey-Wendling (IJCAR (2), 2020)

Constructive Decision via Redundancy-Free Proof-Search. - Dominique Larchey-Wendling (J. Autom. Reason., 2020)

Synthetic Undecidability of MSELL via FRACTRAN Mechanised in Coq. - Dominique Larchey-Wendling (FSCD, 2021)

Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens. - Dominik Kirst; Dominique Larchey-Wendling (Log. Methods Comput. Sci., 2022)

Hilbert's Tenth Problem in Coq (Extended Version). - Dominique Larchey-Wendling; Yannick Forster 002 (Log. Methods Comput. Sci., 2022)

Proof Pearl: Faithful Computation and Extraction of μ-Recursive Algorithms in Coq. - Dominique Larchey-Wendling; Jean-François Monin (ITP, 2023)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations. - Tim S. Lyon; Agata Ciabattoni; Didier Galmiche; Marianna Girlando; Dominique Larchey-Wendling; Daniel Méry; Nicola Olivetti; Revantha Ramanayake (CoRR, 2023)

Constructive Substitutes for Kőnig's Lemma. - Dominique Larchey-Wendling (TYPES, 2024)

Constructive substitutes for König's lemma (artifact). - Dominique Larchey-Wendling (DROPS Artifacts, 2025)