Didier Galmiche

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2023
An Epistemic Separation Logic with Action Models.
J. Log. Lang. Inf., March, 2023

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

A Separation Logic with Histories of Epistemic Actions as Resources.
Proceedings of the Logic, Language, Information, and Computation, 2023

Labelled Tableaux for Linear Time Bunched Implication Logic.
Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2021
Labelled cyclic proofs for separation logic.
J. Log. Comput., 2021

Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity.
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.
J. Autom. Reason., 2020

2019
A public announcement separation logic.
Math. Struct. Comput. Sci., 2019

A substructural epistemic resource logic: theory and modelling applications.
J. Log. Comput., 2019

Relating Labelled and Label-Free Bunched Calculi in BI Logic.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2018
Tree-sequent calculi and decision procedures for intuitionistic modal logics.
J. Log. Comput., 2018

Preface.
J. Log. Comput., 2018

A modal separation logic for resource dynamics.
J. Log. Comput., 2018

Labelled Connection-based Proof Search for Multiplicative Intuitionistic.
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.
Theory Comput. Syst., 2017

A Substructural Epistemic Resource Logic.
Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017

2016
A logic of separating modalities.
Theor. Comput. Sci., 2016

Special Issue on Computational Logic in Honour of Roy Dyckhoff.
J. Log. Comput., 2016

About intuitionistic public announcement logic.
Proceedings of the Advances in Modal Logic 11, 2016

2015
An Epistemic Separation Logic.
Proceedings of the Logic, Language, Information, and Computation, 2015

2014
Looking at Separation Algebras with Boolean BI-eyes.
Proceedings of the Theoretical Computer Science, 2014

2013
Nondeterministic Phase Semantics and the Undecidability of Boolean BI.
ACM Trans. Comput. Log., 2013

A Connection-based Characterization of Bi-intuitionistic Validity.
J. Autom. Reason., 2013

A Modal BI Logic for Dynamic Resource Properties.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

2011
Sequent calculi and decidability for intuitionistic hybrid logic.
Inf. Comput., 2011

2010
Tableaux and Resource Graphs for Separation Logic.
J. Log. Comput., 2010

A family of Gödel hybrid logics.
J. Appl. Log., 2010

Label-free natural deduction systems for intuitionistic and classical modal logics.
J. Appl. Non Class. Logics, 2010

Label-Free Proof Systems for Intuitionistic Modal Logic IS5.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

The Undecidability of Boolean BI through Phase Semantics.
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.
Math. Struct. Comput. Sci., 2009

2008
Labelled Calculi for Lukasiewicz Logics.
Proceedings of the Logic, 2008

2007
Models and Separation Logics for Resource Trees.
J. Log. Comput., 2007

2006
Expressivity Properties of Boolean.
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

2005
The semantics of BI and resource tableaux.
Math. Struct. Comput. Sci., 2005

Characterizing Provability in .
Proceedings of the Logic for Programming, 2005

2004
Resource Graphs and Countermodels in Resource Logics.
Proceedings of the Selected Papers from the Workshops on Disproving, 2004

2003
Semantic Labelled Tableaux for Propositional BI.
J. Log. Comput., 2003

Connection-Based Proof Construction in Non-commutative Logic.
Proceedings of the Logic for Programming, 2003

A Separation Logic for Resource Distribution: Extended Abstract.
Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003

2002
LINK: A Proof Environment Based on Proof Nets.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

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

Connection-Based Proof Search in Propositional BI Logic.
Proceedings of the Automated Deduction, 2002

2001
Proof-Search and Countermodel Generation in Propositional BI Logic.
Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

STRIP: Structural Sharing for Efficient Proof-Search.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000
Proof-search in type-theoretic languages: an introduction.
Theor. Comput. Sci., 2000

Connection methods in linear logic and proof nets construction.
Theor. Comput. Sci., 2000

Proof-search and proof nets in Mixed Linear Logic.
Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, 2000

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

Workshop: Type-Theoretic Languages: Proof-Search and Semantics.
Proceedings of the Automated Deduction, 2000

1999
A specification logic for concurrent object-oriented programming.
Math. Struct. Comput. Sci., 1999

Foreword.
Math. Struct. Comput. Sci., 1999

Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic.
Proceedings of the Advances in Computing Science, 1999

1998
Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets.
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.
Proceedings of the Workshop on Domains IV 1998, 1998

Proof nets Construction and Automated Deduction in Non-Commutative Linear Logic.
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.
Proceedings of the Object-Based Parallel and Distributed Computation, 1995

1994
On Proof Normalization in Linear Logic.
Theor. Comput. Sci., 1994

Foundations of Proof Search Strategies Design in Linear Logic.
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

Canonical Proofs for Linear Logic Programming Frameworks.
Proceedings of the ICLP 1994, 1994

1993
SKIL: A System for Programming with Proofs.
Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

1992
Program Development in Constructive Type Theory.
Theor. Comput. Sci., 1992

A Procedure for Automatic Proof Nets Construction.
Proceedings of the Logic Programming and Automated Reasoning, 1992

Automated Deduction in Additive and Multiplicative Linear Logic.
Proceedings of the Logical Foundations of Computer Science, 1992

1990
Constructive System for Automatic Program Synthesis.
Theor. Comput. Sci., 1990


  Loading...