Nombre de documents

35

CV de Dominique Larchey-Wendling


Communication dans un congrès20 documents

  • Dominique Larchey-Wendling, Didier Galmiche. Looking at Separation Algebras with Boolean BI-eyes. Josep Diaz; Ivan Lanese; Davide Sangiorgi. 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. Springer, Lecture Notes in Computer Science, LNCS-8705, pp. 326-340, Theoretical Computer Science. <10.1007/978-3-662-44602-7_25>. <hal-01256804>
  • Stephane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Mery. Separation Logic with One Quantified Variable. CSR 2014, Jun 2014, Moscou, Russia. Springer, 8476, LNCS : Computer Science - Theory and Applications. <10.1007/978-3-319-06686-8_10>. <hal-01258802>
  • Dominique Larchey-Wendling. Phase Semantics and the Undecidability of Boolean BI. GEOCAL-LAC, May 2011, Vandoeuvre-lès-Nancy, France. <hal-00607775>
  • Dominique Larchey-Wendling. An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics. Michael Mislove, Peter Selinger. Mathematical Foundations of Programming Semantics, May 2010, Ottawa, Canada. Elsevier, 265, pp.369-387, 2010, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2010.08.022>. <hal-00577926v2>
  • Dominique Larchey-Wendling, Didier Galmiche. The Undecidability of Boolean BI through Phase Semantics. 25th Annual IEEE Symposium on Logic in Computer Science - LICS 2010, Jul 2010, Edinburgh, United Kingdom. IEEE, pp.140-149, 2010, <10.1109/LICS.2010.18>. <hal-00577919>
  • Dominique Larchey-Wendling. Labelled Tableaux for Proofs and Models in BI logics. Automated Deduction Day, Jul 2009, Vandoeuvre-lès-Nancy, France. <hal-00607777>
  • Dominique Larchey-Wendling. Kripke Models of Boolean BI and Invertible Resources. Domains IX Workshop 08, Sep 2008, Brighton, United Kingdom. pp.1, 2008. <hal-00580400>
  • Dominique Larchey-Wendling. Relational semantics and finite models of separation logics. Modèles de calcul, Modèles finis et Complexité CMF'2007, May 2007, Vandoeuvre-lès-Nancy, France. <hal-00607778>
  • Didier Galmiche, Dominique Larchey-Wendling, Yakoub Salhi. Provability and Countermodels in Gödel-Dummett Logics. International Workshop on Disproving: Non-theorems, Non-validity, Non-Provability - DISPROVING'07, Jul 2007, Bremen, Germany. pp.35-52, 2007. <hal-00580307>
  • Didier Galmiche, Dominique Larchey-Wendling. Expressivity properties of Boolean BI through Relational Models. 26th Conference on Foundations of Software Technology and Theoretical Computer Science - FSTTCS 2006, Dec 2006, Kolkota, India. Springer Berlin / Heidelberg, 4337, pp.357-368, 2006, Lecture Notes in Computer Science - LNCS. <10.1007/11944836_33>. <hal-00176787>
  • Dominique Larchey-Wendling. Bounding Resource Consumption with Gödel-Dummett Logics. 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning - LPAR'05, Dec 2005, Montego Bay, Jamaica. Springer-Verlag, 3835, pp.682-696, 2005, Lecture Notes in Computer Science. <10.1007/11591191_47>. <hal-00012536>
  • Dominique Larchey-Wendling. Counter-model search in Gödel-Dummett logics. David Basin and Michaël Rusinowitch. Second International Joint Conference on Automated Reasoning - IJCAR 2004, Jul 2004, Cork, Ireland. Springer-Verlag, 3097, pp.274 -- 288, 2004, Lecture Notes in Artificial Intelligence. <10.1007/978-3-540-25984-8_19>. <hal-00008806>
  • Dominique Larchey-Wendling. Gödel-Dummett counter-models through matrix computation. Workshop on Disproving, IJCAR 2004, 2004, Ireland. 2004. <hal-00008808>
  • Dominique Larchey-Wendling. Reference Counting for Linear Counter-Model Generation. First APPSEM II Workshop, 2003, Nottingham, United Kingdom. 2003. <hal-00008811>
  • Dominique Larchey-Wendling. Combining proof-search and linear counter-model construction. First APPSEM-II Workshop 2003 - (Applied Semantics II), 2003, Nottingham/UK, 2003. <inria-00099553>
  • Dominique Larchey-Wendling. Combining proof-search and counter-model construction for deciding Gödel-Dummett logic. Andrei Voronkov. 18th International Conference on Automated Deduction - CADE 18, Jul 2002, Copenhagen, Denmark. Springer-Verlag, 2362, pp.94-110, 2002, Lecture Notes in Artificial Intelligence. <hal-00008804>
  • Dominique Larchey-Wendling, Daniel Mery, Didier Galmiche. STRIP: Structural Sharing for Efficient Proof-search. Rajeev Gor, Alexander Leitsch, Tobias Nipkow. 2001, Siena, Italy, Springer, pp.696 - 700, 2001, Lecture Notes in Artificial Intelligence 2083. <hal-00008805>
  • Didier Galmiche, Dominique Larchey-Wendling. Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic. P.S. Thiagarajan, R. Yap. Asian Computing Science Conference - ASIAN'99, 1999, Phuket, Thailand, Springer Verlag, 1742, pp.101-112, 1999, Lecture Notes in Computer Science. <inria-00098992>
  • Didier Galmiche, Dominique Larchey-Wendling. Formulae-as-Resources Management for an Intuitionistic Theorem Prover. 5th Workshop on Logic, Language, Information and Computation - WoLLIC'98, 1998, Sao Paulo, Brazil, 6 p, 1998. <inria-00098599>
  • Didier Galmiche, Dominique Larchey-Wendling. From ordered monoids to quantales and Petri nets: completeness results revisited in Intuitionistic Linear Logic. Workshop on Domains IV, 1998, Rolandseck, Germany, 1998. <inria-00098530>

Article dans une revue8 documents

  • Stephane Demri, Didier Galmiche, Dominique Larchey-Wendling, Daniel Mery. Separation Logic with One Quantified Variable. Theory of Computing Systems, Springer Verlag, 2016. <hal-01258821>
  • Dominique Larchey-Wendling. The formal strong completeness of partial monoidal Boolean BI. Journal of Logic and Computation, Oxford University Press (OUP), 2014, <10.1093/logcom/exu031>. <hal-01256932>
  • Dominique Larchey-Wendling, Didier Galmiche. Nondeterministic Phase Semantics and the Undecidability of Boolean BI. ACM Transactions on Computational Logic, Association for Computing Machinery, 2013, 14 (1), pp.6. <http://dl.acm.org/citation.cfm?doid=2422085.2422091>. <10.1145/2422085.2422091>. <hal-01256956>
  • Dominique Larchey-Wendling, Didier Galmiche. Exploring the relation between intuitionistic bi and boolean bi: An unexpected embedding. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2009, 19 (3), pp.435--500. <10.1017/S0960129509007567>. <hal-00577929>
  • Dominique Larchey-Wendling. Graph-based decision for Gödel-Dummett logics. Journal of Automated Reasoning, Springer Verlag, 2007, 38 (1-3), pp.201-225. <10.1007/s10817-006-9047-9>. <hal-00105564>
  • Dominique Larchey-Wendling. Gödel-Dummett counter-models through matrix computation. Electronic Notes in Theoretical Computer Science, Elsevier, 2005, 125 (3), pp.12. <10.1016/j.entcs.2004.07.022>. <hal-00008810>
  • Didier Galmiche, Dominique Larchey-Wendling. Quantales as completions of ordered monoids: revised semantics for Intuitionistic Linear Logic. Electronic Notes in Theoretical Computer Science, Elsevier, 2000, 35, 15 p. <inria-00099226>
  • Didier Galmiche, Dominique Larchey-Wendling. Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets - extended abstract -. Electronic Notes in Theoretical Computer Science, Elsevier, 1998, 17, pp.1-18. <inria-00098605>

Rapport3 documents

  • Didier Galmiche, Dominique Larchey-Wendling. Resource models and proof-search in Intuitionistic Linear Logic. [Intern report] A00-R-341 || galmiche00g, 2000, 39 p. <inria-00099314>
  • Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry. STRIP: Structural sharing and intuitionistic proof-search. [Intern report] A00-R-342 || galmiche00h, 2000, 5 p. <inria-00099328>
  • Didier Galmiche, Dominique Larchey-Wendling. From Ordered Monoids to Quantales and Petri Nets: Revised Semantics and Completeness Results in Intuitionistic Linear Logic. [Intern report] 99-R-116 || galmiche99k, 1999, 30 p. <inria-00098934>

Direction d'ouvrage, Proceedings2 documents

  • Didier Galmiche, Dominique Larchey-Wendling. 22nd Int. Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Didier Galmiche and Dominique Larchey-Wendling Nancy, France. 2013, Lecture Notes in Artificial Intelligence 8123. <hal-01259794>
  • Jack Copeland, Didier Galmiche, Dominique Larchey-Wendling, Joseph Vidal-Rosset. Alan Turing. Jack Copeland; Didier Galmiche; Dominique Larchey-Wendling; Joseph Vidal-Rosset. France. 2012, 9782841746033 <http://www.cairn.info/revue-philosophia-scientiae-2012-3.htm>. <hal-01245182>

Ouvrage (y compris édition critique et traduction)1 document

  • Jack Copeland, Didier Galmiche, Dominique Larchey-Wendling, Joseph Vidal-Rosset. Special issue of Philosophia Scientiae - Alan Turing. 16 (3), 2012. <hal-01262634>

Chapitre d'ouvrage1 document