Étienne Lozes

发表

Model-Checking the Higher-Dimensional Modal mu-Calculus

Martin Lange, Étienne Lozes, 2012, FICS.

Towards Model-Checking Programs with Lists

Alain Finkel, Arnaud Sangnier, Étienne Lozes, 2007, ILC.

Conjunctive Visibly-Pushdown Path Queries

Martin Lange, Étienne Lozes, 2015, FCT.

Adjuncts elimination in the static ambient logic

Étienne Lozes, 2003, EXPRESS.

A Type-Directed Negation Elimination

Étienne Lozes, 2015, FICS.

Space-Efficient Fragments of Higher-Order Fixpoint Logic

Martin Lange, Étienne Lozes, Florian Bruse, 2017, RP.

The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic

Étienne Lozes, Florian Bruse, Martin Lange, 2021, Fundam. Informaticae.

On the almighty wand

Stéphane Demri, Rémi Brochenin, Étienne Lozes, 2008, Inf. Comput..

Reliable Contracts for Unreliable Half-Duplex Communications

Étienne Lozes, Jules Villard, 2011, WS-FM.

Separability in the Ambient Logic

Davide Sangiorgi, Daniel Hirschkoff, Étienne Lozes, 2008, Log. Methods Comput. Sci..

Proving Copyless Message Passing

Cristiano Calcagno, Étienne Lozes, Jules Villard, 2009, APLAS.

Beyond Shapes: Lists with Ordered Data

Kshitij Bansal, Rémi Brochenin, Étienne Lozes, 2009, FoSSaCS.

Minimality Results for the Spatial Logics

Davide Sangiorgi, Daniel Hirschkoff, Étienne Lozes, 2003, FSTTCS.

Model-checking process equivalences

Martin Lange, Étienne Lozes, Manuel Vargas Guzmán, 2014, Theor. Comput. Sci..

Model-checking process equivalences

Martin Lange, Étienne Lozes, Manuel Vargas Guzmán, 2012, Theor. Comput. Sci..

Separability, expressiveness, and decidability in the ambient logic

Davide Sangiorgi, Daniel Hirschkoff, Étienne Lozes, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.

Shared contract-obedient channels

Étienne Lozes, Jules Villard, 2015, Sci. Comput. Program..

Reasoning About Sequences of Memory States

Stéphane Demri, Rémi Brochenin, Étienne Lozes, 2007, LFCS.

Multi-buffer simulations: Decidability and complexity

Norbert Hundeshagen, Martin Lange, Dietrich Kuske, 2018, Inf. Comput..

Multi-Buffer Simulations for Trace Language Inclusion

Norbert Hundeshagen, Martin Lange, Dietrich Kuske, 2016, GandALF.

On the relationship between higher-order recursion schemes and higher-order fixpoint logic

Naoki Kobayashi, Étienne Lozes, Florian Bruse, 2017, POPL.

Synchronizability of Communicating Finite State Machines is not Decidable pdf

Alain Finkel, Étienne Lozes, A. Finkel, 2017, ICALP.

Buffered Simulation Games for Büchi Automata

Martin Lange, Étienne Lozes, Milka Hutagalung, 2014, AFL.

Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus

Ralf Treinen, Florent Jacquemard, Étienne Lozes, 2011, TOSCA.

A Spatial Equational Logic for the Applied pi-Calculus

Étienne Lozes, Jules Villard, 2008, CONCUR.

Two-Buffer Simulation Games

Norbert Hundeshagen, Martin Lange, Dietrich Kuske, 2016, Cassting/SynCoP.

Reasoning about sequences of memory states

Stéphane Demri, Rémi Brochenin, Étienne Lozes, 2009, Ann. Pure Appl. Log..

Shared Contract-Obedient Endpoints

Étienne Lozes, Jules Villard, 2012, ICE.

On the almighty wand

Stéphane Demri, Rémi Brochenin, Étienne Lozes, 2012, Inf. Comput..

On Symbolic Heaps Modulo Permission Theories

Stéphane Demri, Denis Lugiez, Étienne Lozes, 2017, FSTTCS.

Elimination of spatial connectives in static spatial logics

Étienne Lozes, É. Lozes, 2005, Theor. Comput. Sci..

The Effects of Adding Reachability Predicates in Propositional Separation Logic pdf

Stéphane Demri, Alessio Mansutti, Étienne Lozes, 2018, FoSSaCS.

Revealing vs. Concealing: More Simulation Games for Büchi Inclusion

Martin Lange, Étienne Lozes, Milka Hutagalung, 2013, LATA.

On the Expressiveness of the Ambient Logic pdf

Davide Sangiorgi, Daniel Hirschkoff, Étienne Lozes, 2005, Log. Methods Comput. Sci..

Elimination of quantifiers and undecidability in spatial logics for concurrency

Luís Caires, Étienne Lozes, 2006, Theor. Comput. Sci..

Tracking Heaps That Hop with Heap-Hop

Cristiano Calcagno, Étienne Lozes, Jules Villard, 2010, TACAS.

Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic

Martin Lange, Étienne Lozes, 2014, IFIP TCS.

A Complete Axiomatisation for Quantifier-Free Separation Logic pdf

Stéphane Demri, Alessio Mansutti, Étienne Lozes, 2020, ArXiv.

Elimination of quantifiers and undecidability in spatial logics for concurrency

Luís Caires, Étienne Lozes, Luís Caires, 2006, Theor. Comput. Sci..

A spatial equational logic for the applied π-calculus

Étienne Lozes, Jules Villard, Jules Villard, 2008, Distributed Computing.

A Unifying Framework for Deciding Synchronizability

Benedikt Bollig, Alain Finkel, Étienne Lozes, 2021, CONCUR.

The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic

Stéphane Demri, Alessio Mansutti, Étienne Lozes, 2021, ACM Trans. Comput. Log..

A Complete Axiomatisation for Quantifier-Free Separation Logic pdf

Stéphane Demri, Alessio Mansutti, Étienne Lozes, 2021, Logical Methods in Computer Science.

Separation Logic Expressiveness and Copyless Message-Passing

Étienne Lozes, E. Cachan, É. Lozes, 2012 .