Dominique Larchey-Wendling

Available identifiers

zbMath Open larchey-wendling.dominiqueMaRDI QIDQ877885

List of research outcomes

Publication	Date of Publication	Type
Proof Pearl: faithful computation and extraction of \(\mu\)-recursive algorithms in Coq	2024-11-26	Paper
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations	2023-12-06	Paper
Synthetic Undecidability of MSELL via FRACTRAN Mechanised in Coq	2023-06-23	Paper
Trakhtenbrot’s Theorem in Coq	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5094119	2022-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q5094147	2022-08-02	Paper
Hilbert's Tenth Problem in Coq	2022-07-18	Paper
The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq	2022-06-17	Paper
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens	2021-04-29	Paper
Constructive decision via redundancy-free proof-search	2020-11-02	Paper
Certification of breadth-first algorithms by extraction	2020-05-05	Paper
Trakhtenbrot's Theorem in Coq, A Constructive Approach to Finite Model Theory	2020-04-15	Paper
Constructive decision via redundancy-free proof-search	2018-10-18	Paper
Proof pearl: constructive extraction of cycle finding algorithms	2018-10-04	Paper
Typing total recursive functions in Coq	2018-01-04	Paper
Separation logic with one quantified variable	2017-10-20	Paper
An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics	2016-07-08	Paper
The formal strong completeness of partial monoidal Boolean BI	2016-07-07	Paper
Nondeterministic Phase Semantics and the Undecidability of Boolean BI	2015-09-17	Paper
Looking at Separation Algebras with Boolean BI-eyes	2014-09-15	Paper
Separation Logic with One Quantified Variable	2014-06-24	Paper
Gödel-Dummett counter-models through matrix computation	2013-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q3007292	2011-06-21	Paper
Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding	2009-06-30	Paper
Bounding Resource Consumption with Gödel-Dummett Logics	2008-05-27	Paper
Expressivity Properties of Boolean BI Through Relational Models	2008-04-17	Paper
Automated Reasoning	2007-09-25	Paper
Graph-based decision for Gödel-Dummett logics	2007-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q4809045	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4540540	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4513584	2001-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4501574	2001-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4223030	1999-01-10	Paper

Research outcomes over time

This page was built for person: Dominique Larchey-Wendling