Guessing the Buffer Bound for k-Synchronizability - Cinzia Di Giusto; Laetitia Laversa; Étienne Lozes (Int. J. Found. Comput. Sci., 2023)

Multiparty half-duplex systems and synchronous communications - Cinzia Di Giusto; Loïc Germerie Guizouarn; Étienne Lozes (J. Log. Algebraic Methods Program., 2023)

Synchronizability of Communicating Finite State Machines is not Decidable - Alain Finkel; Étienne Lozes (Log. Methods Comput. Sci., 2023)

A Partial Order View of Message-Passing Communication Models - Cinzia Di Giusto; Davide Ferré; Laetitia Laversa; Étienne Lozes (Proc. ACM Program. Lang., 2023)

Weakly Synchronous Systems with Three Machines Are Turing Powerful - Cinzia Di Giusto; Davide Ferré; Étienne Lozes; Nicolas Nisse (Reachability Problems - 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings, 2023)

Weakly synchronous systems with three machines are Turing powerful - Cinzia Di Giusto; Davide Ferré; Étienne Lozes; Nicolas Nisse (CoRR, 2023)

The Tail-Recursive Fragment of Timed Recursive CTL - Florian Bruse; Martin Lange; Étienne Lozes (29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference, 2022)

A non-sequential hierarchy of message-passing models - Cinzia Di Giusto; Davide Ferré; Laetitia Laversa; Étienne Lozes (CoRR, 2022)

The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic - Florian Bruse; Martin Lange; Étienne Lozes (Fundam. Informaticae, 2021)

A Complete Axiomatisation for Quantifier-Free Separation Logic - Stéphane Demri; Étienne Lozes; Alessio Mansutti (Log. Methods Comput. Sci., 2021)

The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic - Stéphane Demri; Étienne Lozes; Alessio Mansutti (ACM Trans. Comput. Log., 2021)

A Unifying Framework for Deciding Synchronizability - Benedikt Bollig; Cinzia Di Giusto; Alain Finkel; Laetitia Laversa; Étienne Lozes; Amrita Suresh (32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference, 2021)

Guessing the Buffer Bound for k-Synchronizability - Cinzia Di Giusto; Laetitia Laversa; Étienne Lozes (Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings, 2021)

Towards Generalised Half-Duplex Systems - Cinzia Di Giusto; Loïc Germerie Guizouarn; Étienne Lozes (Proceedings 14th Interaction and Concurrency Experience, ICE 2021, Online, 18th June 2021, 2021)

Guessing the buffer bound for k-synchronizability - Cinzia Di Giusto; Laetitia Laversa; Étienne Lozes (CoRR, 2021)

Internal Calculi for Separation Logics - Stéphane Demri; Étienne Lozes; Alessio Mansutti (28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain, 2020)

On the k-synchronizability of Systems - Cinzia Di Giusto; Laetitia Laversa; Étienne Lozes (Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, 2020)

A Complete Axiomatisation for Quantifier-Free Separation Logic - Stéphane Demri; Étienne Lozes; Alessio Mansutti (CoRR, 2020)

On the k-synchronizability for mailbox systems - Cinzia Di Giusto; Laetitia Laversa; Étienne Lozes (CoRR, 2019)

Internal Calculi for Separation Logics - Stéphane Demri; Étienne Lozes; Alessio Mansutti (CoRR, 2019)

Multi-buffer simulations: Decidability and complexity - Milka Hutagalung; Norbert Hundeshagen; Dietrich Kuske; Martin Lange; Étienne Lozes (Inf. Comput., 2018)

The Effects of Adding Reachability Predicates in Propositional Separation Logic - Stéphane Demri; Étienne Lozes; Alessio Mansutti (Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, 2018)

The Effects of Adding Reachability Predicates in Propositional Separation Logic - Stéphane Demri; Étienne Lozes; Alessio Mansutti (CoRR, 2018)

On Symbolic Heaps Modulo Permission Theories - Stéphane Demri; Étienne Lozes; Denis Lugiez (37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, 2017)

Synchronizability of Communicating Finite State Machines is not Decidable - Alain Finkel; Étienne Lozes (44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, 2017)

On the relationship between higher-order recursion schemes and higher-order fixpoint logic - Naoki Kobayashi; Étienne Lozes; Florian Bruse (Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, 2017)

Space-Efficient Fragments of Higher-Order Fixpoint Logic - Florian Bruse; Martin Lange; Étienne Lozes (Reachability Problems - 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings, 2017)

Synchronizability of Communicating Finite State Machines is not Decidable - Alain Finkel; Étienne Lozes (CoRR, 2017)

Two-Buffer Simulation Games - Milka Hutagalung; Norbert Hundeshagen; Dietrich Kuske; Martin Lange; Étienne Lozes (Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016, 2016)

Multi-Buffer Simulations for Trace Language Inclusion - Milka Hutagalung; Norbert Hundeshagen; Dietrich Kuske; Martin Lange; Étienne Lozes (Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016, 2016)

Shared contract-obedient channels - Étienne Lozes; Jules Villard (Sci. Comput. Program., 2015)

Conjunctive Visibly-Pushdown Path Queries - Martin Lange; Étienne Lozes (Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, 2015)

A Type-Directed Negation Elimination - Étienne Lozes (Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015, 2015)

Model-checking process equivalences - Martin Lange; Étienne Lozes; Manuel Vargas Guzmán (Theor. Comput. Sci., 2014)

Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic - Martin Lange; Étienne Lozes (Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings, 2014)

Buffered Simulation Games for Büchi Automata - Milka Hutagalung; Martin Lange; Étienne Lozes (Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014, 2014)

Revealing vs. Concealing: More Simulation Games for Büchi Inclusion - Milka Hutagalung; Martin Lange; Étienne Lozes (Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings, 2013)

On the almighty wand - Rémi Brochenin; Stéphane Demri; Étienne Lozes (Inf. Comput., 2012)

Shared Contract-Obedient Endpoints - Étienne Lozes; Jules Villard (Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012, 2012)

Model-Checking the Higher-Dimensional Modal mu-Calculus - Martin Lange; Étienne Lozes (Proceedings 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonia, 24th March 2012, 2012)

Model-Checking Process Equivalences - Martin Lange; Étienne Lozes; Manuel Vargas Guzmán (Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012, 2012)

Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus - Florent Jacquemard; Étienne Lozes; Ralf Treinen; Jules Villard (Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers, 2011)

Reliable Contracts for Unreliable Half-Duplex Communications - Étienne Lozes; Jules Villard (Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers, 2011)

A spatial equational logic for the applied pi-calculus - Étienne Lozes; Jules Villard (Distributed Comput., 2010)

Tracking Heaps That Hop with Heap-Hop - Jules Villard; Étienne Lozes; Cristiano Calcagno (Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, 2010)

Reasoning about sequences of memory states - Rémi Brochenin; Stéphane Demri; Étienne Lozes (Ann. Pure Appl. Log., 2009)

Proving Copyless Message Passing - Jules Villard; Étienne Lozes; Cristiano Calcagno (Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings, 2009)

Beyond Shapes: Lists with Ordered Data - Kshitij Bansal; Rémi Brochenin; Étienne Lozes (Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, 2009)

Separability in the Ambient Logic - Étienne Lozes; Daniel Hirschkoff; Davide Sangiorgi (Log. Methods Comput. Sci., 2008)

A Spatial Equational Logic for the Applied pi-Calculus - Étienne Lozes; Jules Villard (CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings, 2008)

On the Almighty Wand - Rémi Brochenin; Stéphane Demri; Étienne Lozes (Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, 2008)

Separability in the Ambient Logic - Daniel Hirschkoff; Étienne Lozes; Davide Sangiorgi (CoRR, 2008)

Towards Model-Checking Programs with Lists - Alain Finkel; Étienne Lozes; Arnaud Sangnier (Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers, 2007)

Reasoning About Sequences of Memory States - Rémi Brochenin; Stéphane Demri; Étienne Lozes (Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, 2007)

On the Expressiveness of the Ambient Logic - Daniel Hirschkoff; Étienne Lozes; Davide Sangiorgi (Log. Methods Comput. Sci., 2006)

Elimination of quantifiers and undecidability in spatial logics for concurrency - Luís Caires; Étienne Lozes (Theor. Comput. Sci., 2006)

Elimination of spatial connectives in static spatial logics - Étienne Lozes (Theor. Comput. Sci., 2005)

On the Expressiveness of the Ambient Logic - Daniel Hirschkoff; Étienne Lozes; Davide Sangiorgi (CoRR, 2005)

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency - Luís Caires; Étienne Lozes (CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, 2004)

Minimality Results for the Spatial Logics - Daniel Hirschkoff; Étienne Lozes; Davide Sangiorgi (FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, 2003)

Adjuncts elimination in the static ambient logic - Étienne Lozes (Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003, 2003)

Separability, Expressiveness, and Decidability in the Ambient Logic - Daniel Hirschkoff; Étienne Lozes; Davide Sangiorgi (17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings, 2002)