Daniel Méry - RankMe

23 papers A 3B 6Misc 1Journal 8Unranked 4

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
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
2019	B	`conf`	Relating Labelled and Label-Free Bunched Calculi in BI Logic. TABLEAUX Didier Galmiche, Michel Marti, Daniel Méry
2018	—	`conf`	Labelled Connection-based Proof Search for Multiplicative Intuitionistic. ARQNL@IJCAR Didier Galmiche, Daniel Méry
2017	J	`jnl`	Separation Logic with One Quantified Variable. Theory Comput. Syst. Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry
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
2011	A	`conf`	A Connection-Based Characterization of Bi-intuitionistic Validity. CADE Didier Galmiche, Daniel Méry
2010	J	`jnl`	Tableaux and Resource Graphs for Separation Logic. J. Log. Comput. Didier Galmiche, Daniel Méry
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	—	`—`	Preuves et sémantiques dans des logiques de ressources. Daniel Méry
2004	—	`conf`	Resource Graphs and Countermodels in Resource Logics. D/PDPAR@IJCAR Didier Galmiche, Daniel Méry
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`	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