Didier Galmiche

80 papers A* 1A 5B 13C 3Misc 4Journal 32Unranked 20

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Bifurcation Logic: Separation Through Ordering. TARK Didier Galmiche, Timo Lang, Daniel Méry, David J. Pym
2025	J	`jnl`	Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity. J. Log. Comput. Didier Galmiche, Brandon Hornbeck, Daniel Méry
2024	—	`conf`	Automated Proof Search in Intuitionistic Sentential Logic. ARQNL@IJCAR Didier Galmiche, Brandon Hornbeck, Daniel Méry
2024	—	`conf`	Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning. SimuTools Didier Galmiche, Timo Lang, David J. Pym
2024	J	`jnl`	Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning. CoRR Didier Galmiche, Timo Lang, David J. Pym
2024	—	`conf`	Separation Logics: Semantics and Proofs (invited talk abstract). ARQNL@IJCAR Didier Galmiche
2023	C	`conf`	A Separation Logic with Histories of Epistemic Actions as Resources. WoLLIC Hans van Ditmarsch, Didier Galmiche, Marta Gawek
2023	J	`jnl`	An Epistemic Separation Logic with Action Models. J. Log. Lang. Inf. Hans van Ditmarsch, Didier Galmiche, Marta Gawek
2023	J	`jnl`	Internal and External Calculi: Ordering the Jungle without Being Lost in Translations. CoRR Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Marianna Girlando, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake
2023	B	`conf`	Labelled Tableaux for Linear Time Bunched Implication Logic. FSCD Didier Galmiche, Daniel Méry
2021	B	`conf`	Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity. FSCD Didier Galmiche, Marta Gawek, Daniel Méry
2021	J	`jnl`	Labelled cyclic proofs for separation logic. J. Log. Comput. Didier Galmiche, Daniel Méry
2020	J	`jnl`	Preface: Special Issue of Selected Extended Papers from IJCAR 2018. J. Autom. Reason. Didier Galmiche, Stephan Schulz, Roberto Sebastiani
2019	J	`jnl`	A Substructural Epistemic Resource Logic: Theory and Modelling Applications. CoRR Didier Galmiche, Pierre Kimmel, David J. Pym
2019	J	`jnl`	A public announcement separation logic. Math. Struct. Comput. Sci. Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche
2019	J	`jnl`	A substructural epistemic resource logic: theory and modelling applications. J. Log. Comput. Didier Galmiche, Pierre Kimmel, David J. Pym
2019	B	`conf`	Relating Labelled and Label-Free Bunched Calculi in BI Logic. TABLEAUX Didier Galmiche, Michel Marti, Daniel Méry
2018	J	`jnl`	A modal separation logic for resource dynamics. J. Log. Comput. Jean-René Courtault, Didier Galmiche
2018	A	`ed.`	Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings IJCAR Didier Galmiche, Stephan Schulz, Roberto Sebastiani
2018	—	`conf`	Labelled Connection-based Proof Search for Multiplicative Intuitionistic. ARQNL@IJCAR Didier Galmiche, Daniel Méry
2018	J	`jnl`	Preface. J. Log. Comput. Didier Galmiche, David J. Pym
2018	J	`jnl`	Tree-sequent calculi and decision procedures for intuitionistic modal logics. J. Log. Comput. Didier Galmiche, Yakoub Salhi
2017	—	`conf`	A Substructural Epistemic Resource Logic. ICLA Didier Galmiche, Pierre Kimmel, David J. Pym
2017	J	`jnl`	Separation Logic with One Quantified Variable. Theory Comput. Syst. Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry
2016	J	`jnl`	A logic of separating modalities. Theor. Comput. Sci. Jean-René Courtault, Didier Galmiche, David J. Pym
2016	B	`conf`	About intuitionistic public announcement logic. Advances in Modal Logic Philippe Balbiani, Didier Galmiche
2016	J	`jnl`	Special Issue on Computational Logic in Honour of Roy Dyckhoff. J. Log. Comput. Didier Galmiche, Stéphane Graham-Lengrand
2015	C	`conf`	An Epistemic Separation Logic. WoLLIC Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche
2014	—	`conf`	Looking at Separation Algebras with Boolean BI-eyes. IFIP TCS Dominique Larchey-Wendling, Didier Galmiche
2014	Misc	`conf`	Separation Logic with One Quantified Variable. CSR Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry
2013	J	`jnl`	A Connection-based Characterization of Bi-intuitionistic Validity. J. Autom. Reason. Didier Galmiche, Daniel Méry
2013	Misc	`conf`	A Modal BI Logic for Dynamic Resource Properties. LFCS Jean-René Courtault, Didier Galmiche
2013	B	`ed.`	Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings TABLEAUX Didier Galmiche, Dominique Larchey-Wendling
2013	J	`jnl`	Nondeterministic Phase Semantics and the Undecidability of Boolean BI. ACM Trans. Comput. Log. Dominique Larchey-Wendling, Didier Galmiche
2011	A	`conf`	A Connection-Based Characterization of Bi-intuitionistic Validity. CADE Didier Galmiche, Daniel Méry
2011	J	`jnl`	Sequent calculi and decidability for intuitionistic hybrid logic. Inf. Comput. Didier Galmiche, Yakoub Salhi
2010	J	`jnl`	A family of Gödel hybrid logics. J. Appl. Log. Didier Galmiche, Yakoub Salhi
2010	—	`conf`	Label-Free Proof Systems for Intuitionistic Modal Logic IS5. LPAR (Dakar) Didier Galmiche, Yakoub Salhi
2010	J	`jnl`	Label-free natural deduction systems for intuitionistic and classical modal logics. J. Appl. Non Class. Logics Didier Galmiche, Yakoub Salhi
2010	J	`jnl`	Tableaux and Resource Graphs for Separation Logic. J. Log. Comput. Didier Galmiche, Daniel Méry
2010	A*	`conf`	The Undecidability of Boolean BI through Phase Semantics. LICS Dominique Larchey-Wendling, Didier Galmiche
2009	J	`jnl`	Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding. Math. Struct. Comput. Sci. Dominique Larchey-Wendling, Didier Galmiche
2008	C	`conf`	Labelled Calculi for Lukasiewicz Logics. WoLLIC Didier Galmiche, Yakoub Salhi
2007	J	`jnl`	Models and Separation Logics for Resource Trees. J. Log. Comput. Nicolas Biri, Didier Galmiche
2006	—	`conf`	Expressivity Properties of Boolean. FSTTCS Didier Galmiche, Dominique Larchey-Wendling
2005	B	`conf`	Characterizing Provability in . LPAR Didier Galmiche, Daniel Méry
2005	J	`jnl`	The semantics of BI and resource tableaux. Math. Struct. Comput. Sci. Didier Galmiche, Daniel Méry, David J. Pym
2004	—	`conf`	Resource Graphs and Countermodels in Resource Logics. D/PDPAR@IJCAR Didier Galmiche, Daniel Méry
2003	—	`conf`	A Separation Logic for Resource Distribution: Extended Abstract. FSTTCS Nicolas Biri, Didier Galmiche
2003	B	`conf`	Connection-Based Proof Construction in Non-commutative Logic. LPAR Didier Galmiche, J.-M. Notin
2003	J	`jnl`	Semantic Labelled Tableaux for Propositional BI. J. Log. Comput. Didier Galmiche, Daniel Méry
2002	A	`conf`	Connection-Based Proof Search in Propositional BI Logic. CADE Didier Galmiche, Daniel Méry
2002	B	`conf`	LINK: A Proof Environment Based on Proof Nets. TABLEAUX L. Habert, J.-M. Notin, Didier Galmiche
2002	B	`conf`	Resource Tableaux. CSL Didier Galmiche, Daniel Méry, David J. Pym
2001	—	`conf`	Proof-Search and Countermodel Generation in Propositional BI Logic. TACS Didier Galmiche, Daniel Méry
2001	A	`conf`	STRIP: Structural Sharing for Efficient Proof-Search. IJCAR Dominique Larchey-Wendling, Daniel Méry, Didier Galmiche
2000	J	`jnl`	Connection methods in linear logic and proof nets construction. Theor. Comput. Sci. Didier Galmiche
2000	—	`conf`	Preface. Workshop on Type-Theoretic Languages: Proof Search and Semantics Didier Galmiche
2000	—	`ed.`	Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, held in conjunction with CADE-17 Conference, Pittsburgh, PA, USA, June 20-21, 2000 Workshop on Type-Theoretic Languages: Proof Search and Semantics Didier Galmiche
2000	—	`conf`	Proof-search and proof nets in Mixed Linear Logic. Workshop on Type-Theoretic Languages: Proof Search and Semantics Didier Galmiche, J.-M. Notin
2000	J	`jnl`	Proof-search in type-theoretic languages: an introduction. Theor. Comput. Sci. Didier Galmiche, David J. Pym
2000	A	`conf`	Workshop: Type-Theoretic Languages: Proof-Search and Semantics. CADE Didier Galmiche
1999	J	`jnl`	A specification logic for concurrent object-oriented programming. Math. Struct. Comput. Sci. Giorgio Delzanno, Didier Galmiche, Maurizio Martelli
1999	J	`jnl`	Foreword. Math. Struct. Comput. Sci. Jean Paul Bahsoun, José Luiz Fiadeiro, Didier Galmiche
1999	—	`conf`	Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic. ASIAN Didier Galmiche, Dominique Larchey-Wendling
1998	—	`conf`	Preface. Proof Search in Type-Theoretic Languages@CADE Didier Galmiche
1998	—	`conf`	Proof nets Construction and Automated Deduction in Non-Commutative Linear Logic. Proof Search in Type-Theoretic Languages@CADE Didier Galmiche, Bruno Martin
1998	—	`conf`	Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets. Proof Search in Type-Theoretic Languages@CADE Dominique Larchey-Wendling, Didier Galmiche
1998	—	`conf`	Quantales as completions of ordered monoids - Revised semantics for Intuitionistic Linear Logic. Workshop on Domains Dominique Larchey-Wendling, Didier Galmiche
1998	—	`ed.`	Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), Lindau, Germany, July 5, 1998 Proof Search in Type-Theoretic Languages@CADE Didier Galmiche
1997	B	`ed.`	Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings TABLEAUX Didier Galmiche
1995	—	`conf`	Proofs, Concurrent Objects, and Computations in a FILL Framework. OBPDC Didier Galmiche, Eric Boudinet
1994	—	`conf`	Canonical Proofs for Linear Logic Programming Frameworks. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming Didier Galmiche
1994	Misc	`conf`	Foundations of Proof Search Strategies Design in Linear Logic. LFCS Didier Galmiche, Guy Perrier
1994	J	`jnl`	On Proof Normalization in Linear Logic. Theor. Comput. Sci. Didier Galmiche, Guy Perrier
1993	B	`conf`	SKIL: A System for Programming with Proofs. LPAR Didier Galmiche, O. Hermann
1992	B	`conf`	A Procedure for Automatic Proof Nets Construction. LPAR Didier Galmiche, Guy Perrier
1992	Misc	`conf`	Automated Deduction in Additive and Multiplicative Linear Logic. LFCS Didier Galmiche, Guy Perrier
1992	J	`jnl`	Program Development in Constructive Type Theory. Theor. Comput. Sci. Didier Galmiche
1990	J	`jnl`	Constructive System for Automatic Program Synthesis. Theor. Comput. Sci. Didier Galmiche