Didier Galmiche

According to our database, Didier Galmiche authored at least 66 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning.

Didier Galmiche, Timo Lang, David J. Pym

CoRR, 2024

2023

An Epistemic Separation Logic with Action Models.

Hans van Ditmarsch, Didier Galmiche, Marta Gawek

J. Log. Lang. Inf., March, 2023

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations.

Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake

CoRR, 2023

A Separation Logic with Histories of Epistemic Actions as Resources.

Hans van Ditmarsch, Didier Galmiche, Marta Gawek

Proceedings of the Logic, Language, Information, and Computation, 2023

Labelled Tableaux for Linear Time Bunched Implication Logic.

Didier Galmiche, Daniel Méry

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2021

Labelled cyclic proofs for separation logic.

Didier Galmiche, Daniel Méry

J. Log. Comput., 2021

Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity.

Didier Galmiche, Marta Gawek, Daniel Méry

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2020

Preface: Special Issue of Selected Extended Papers from IJCAR 2018.

Didier Galmiche, Stephan Schulz, Roberto Sebastiani

J. Autom. Reason., 2020

2019

A public announcement separation logic.

Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche

Math. Struct. Comput. Sci., 2019

A substructural epistemic resource logic: theory and modelling applications.

Didier Galmiche, Pierre Kimmel, David J. Pym

J. Log. Comput., 2019

Relating Labelled and Label-Free Bunched Calculi in BI Logic.

Didier Galmiche, Michel Marti, Daniel Méry

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2018

Tree-sequent calculi and decision procedures for intuitionistic modal logics.

Didier Galmiche, Yakoub Salhi

J. Log. Comput., 2018

Preface.

Didier Galmiche, David J. Pym

J. Log. Comput., 2018

A modal separation logic for resource dynamics.

Jean-René Courtault, Didier Galmiche

J. Log. Comput., 2018

Labelled Connection-based Proof Search for Multiplicative Intuitionistic.

Didier Galmiche, Daniel Méry

Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), 2018

2017

Separation Logic with One Quantified Variable.

Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry

Theory Comput. Syst., 2017

A Substructural Epistemic Resource Logic.

Didier Galmiche, Pierre Kimmel, David J. Pym

Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017

2016

A logic of separating modalities.

Jean-René Courtault, Didier Galmiche, David J. Pym

Theor. Comput. Sci., 2016

Special Issue on Computational Logic in Honour of Roy Dyckhoff.

Didier Galmiche, Stéphane Graham-Lengrand

J. Log. Comput., 2016

About intuitionistic public announcement logic.

Philippe Balbiani, Didier Galmiche

Proceedings of the Advances in Modal Logic 11, 2016

2015

An Epistemic Separation Logic.

Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche

Proceedings of the Logic, Language, Information, and Computation, 2015

2014

Looking at Separation Algebras with Boolean BI-eyes.

Dominique Larchey-Wendling, Didier Galmiche

Proceedings of the Theoretical Computer Science, 2014

2013

Nondeterministic Phase Semantics and the Undecidability of Boolean BI.

Dominique Larchey-Wendling, Didier Galmiche

ACM Trans. Comput. Log., 2013

A Connection-based Characterization of Bi-intuitionistic Validity.

Didier Galmiche, Daniel Méry

J. Autom. Reason., 2013

A Modal BI Logic for Dynamic Resource Properties.

Jean-René Courtault, Didier Galmiche

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

2011

Sequent calculi and decidability for intuitionistic hybrid logic.

Didier Galmiche, Yakoub Salhi

Inf. Comput., 2011

2010

Tableaux and Resource Graphs for Separation Logic.

Didier Galmiche, Daniel Méry

J. Log. Comput., 2010

A family of Gödel hybrid logics.

Didier Galmiche, Yakoub Salhi

J. Appl. Log., 2010

Label-free natural deduction systems for intuitionistic and classical modal logics.

Didier Galmiche, Yakoub Salhi

J. Appl. Non Class. Logics, 2010

Label-Free Proof Systems for Intuitionistic Modal Logic IS5.

Didier Galmiche, Yakoub Salhi

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

The Undecidability of Boolean BI through Phase Semantics.

Dominique Larchey-Wendling, Didier Galmiche

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009

Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding.

Dominique Larchey-Wendling, Didier Galmiche

Math. Struct. Comput. Sci., 2009

2008

Labelled Calculi for Lukasiewicz Logics.

Didier Galmiche, Yakoub Salhi

Proceedings of the Logic, 2008

2007

Models and Separation Logics for Resource Trees.

Nicolas Biri, Didier Galmiche

J. Log. Comput., 2007

2006

Expressivity Properties of Boolean.

Didier Galmiche, Dominique Larchey-Wendling

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

2005

The semantics of BI and resource tableaux.

Didier Galmiche, Daniel Méry, David J. Pym

Math. Struct. Comput. Sci., 2005

Characterizing Provability in .

Didier Galmiche, Daniel Méry

Proceedings of the Logic for Programming, 2005

2004

Resource Graphs and Countermodels in Resource Logics.

Didier Galmiche, Daniel Méry

Proceedings of the Selected Papers from the Workshops on Disproving, 2004

2003

Semantic Labelled Tableaux for Propositional BI.

Didier Galmiche, Daniel Méry

J. Log. Comput., 2003

Connection-Based Proof Construction in Non-commutative Logic.

Didier Galmiche, J.-M. Notin

Proceedings of the Logic for Programming, 2003

A Separation Logic for Resource Distribution: Extended Abstract.

Nicolas Biri, Didier Galmiche

Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003

2002

LINK: A Proof Environment Based on Proof Nets.

L. Habert, J.-M. Notin, Didier Galmiche

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

Resource Tableaux.

Didier Galmiche, Daniel Méry, David J. Pym

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

Connection-Based Proof Search in Propositional BI Logic.

Didier Galmiche, Daniel Méry

Proceedings of the Automated Deduction, 2002

2001

Proof-Search and Countermodel Generation in Propositional BI Logic.

Didier Galmiche, Daniel Méry

Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

STRIP: Structural Sharing for Efficient Proof-Search.

Dominique Larchey-Wendling, Daniel Méry, Didier Galmiche

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Proof-search in type-theoretic languages: an introduction.

Didier Galmiche, David J. Pym

Theor. Comput. Sci., 2000

Connection methods in linear logic and proof nets construction.

Didier Galmiche

Theor. Comput. Sci., 2000

Proof-search and proof nets in Mixed Linear Logic.

Didier Galmiche, J.-M. Notin

Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, 2000

Preface.

Didier Galmiche

Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, 2000

Workshop: Type-Theoretic Languages: Proof-Search and Semantics.

Didier Galmiche

Proceedings of the Automated Deduction, 2000

1999

A specification logic for concurrent object-oriented programming.

Giorgio Delzanno, Didier Galmiche, Maurizio Martelli

Math. Struct. Comput. Sci., 1999

Foreword.

Jean Paul Bahsoun, José Luiz Fiadeiro, Didier Galmiche

Math. Struct. Comput. Sci., 1999

Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic.

Didier Galmiche, Dominique Larchey-Wendling

Proceedings of the Advances in Computing Science, 1999

1998

Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets.

Dominique Larchey-Wendling, Didier Galmiche

Proceedings of the Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), 1998

Quantales as completions of ordered monoids - Revised semantics for Intuitionistic Linear Logic.

Dominique Larchey-Wendling, Didier Galmiche

Proceedings of the Workshop on Domains IV 1998, 1998

Proof nets Construction and Automated Deduction in Non-Commutative Linear Logic.

Didier Galmiche, Bruno Martin

Proceedings of the Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), 1998

1995

Proofs, Concurrent Objects, and Computations in a FILL Framework.

Didier Galmiche, Eric Boudinet

Proceedings of the Object-Based Parallel and Distributed Computation, 1995

1994

On Proof Normalization in Linear Logic.

Didier Galmiche, Guy Perrier

Theor. Comput. Sci., 1994

Foundations of Proof Search Strategies Design in Linear Logic.

Didier Galmiche, Guy Perrier

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

Canonical Proofs for Linear Logic Programming Frameworks.

Didier Galmiche

Proceedings of the ICLP 1994, 1994

1993

SKIL: A System for Programming with Proofs.

Didier Galmiche, O. Hermann

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

1992

Program Development in Constructive Type Theory.

Didier Galmiche

Theor. Comput. Sci., 1992

A Procedure for Automatic Proof Nets Construction.

Didier Galmiche, Guy Perrier

Proceedings of the Logic Programming and Automated Reasoning, 1992

Automated Deduction in Additive and Multiplicative Linear Logic.

Didier Galmiche, Guy Perrier

Proceedings of the Logical Foundations of Computer Science, 1992

1990

Constructive System for Automatic Program Synthesis.

Didier Galmiche

Theor. Comput. Sci., 1990