Concepedia

Didier Galmiche

DG

16

Publications

425

Citations

13

H-Index

1994

Active since

Affiliations

Université de Lorraine(Current)

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Prevention of Organ Failure

Centre National de la Recherche Scientifique

Didier Galmiche is an author at Université de Lorraine specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsSemanticsFormal VerificationComputer ScienceLanguageLinguisticsVerificationSemantic Web

Publications per year

1994–2018

16

Publications

16

The semantics of BI and resource tableaux

Didier Galmiche, Dominique Méry, David Pym · Mathematical Structures in Computer Science · 2005 · 100 citations

The Undecidability of Boolean BI through Phase Semantics

Dominique Larchey-Wendling, Didier Galmiche · 2010 · 43 citations · Full text

Computational Logic, Non-classical Logic, Complete Phase Semantics +14

On proof normalization in linear logic

Didier Galmiche, Guy Perrier · Theoretical Computer Science · 1994 · 42 citations · Full text

Engineering, Automated Reasoning, Verification +6

Tableaux and Resource Graphs for Separation Logic

Didier Galmiche, Domingo Mery · Journal of Logic and Computation · 2009 · 34 citations

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

Dominique Larchey-Wendling, Didier Galmiche · Mathematical Structures in Computer Science · 2009 · 27 citations · Full text

Intuitionistic Logic, Engineering, Boolean Function +19

Rows per page

1–5 of 16