| Proving copyless message passing J Villard, É Lozes, C Calcagno Asian Symposium on Programming Languages and Systems, 194-209, 2009 | 94 | 2009 |
| On the almighty wand R Brochenin, S Demri, E Lozes Information and Computation 211, 106-137, 2012 | 90 | 2012 |
| Separability, expressiveness, and decidability in the ambient logic D Hirschkoff, É Lozes, D Sangiorgi Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 423-432, 2002 | 55 | 2002 |
| Synchronizability of communicating finite state machines is not decidable A Finkel, E Lozes Logical Methods in Computer Science 19, 2023 | 49 | 2023 |
| On the almighty wand R Brochenin, S Demri, E Lozes International Workshop on Computer Science Logic, 323-338, 2008 | 44 | 2008 |
| Tracking heaps that hop with heap-hop J Villard, É Lozes, C Calcagno International Conference on Tools and Algorithms for the Construction and …, 2010 | 42 | 2010 |
| Elimination of quantifiers and undecidability in spatial logics for concurrency L Caires, E Lozes International Conference on Concurrency Theory, 240-257, 2004 | 39 | 2004 |
| The effects of adding reachability predicates in propositional separation logic S Demri, É Lozes, A Mansutti International Conference on Foundations of Software Science and Computation …, 2018 | 32 | 2018 |
| From pointer systems to counter systems using shape analysis S Bardin, A Finkel, E Lozes, A Sangnier AVIS’06, 2006 | 32 | 2006 |
| Adjuncts elimination in the static ambient logic É Lozes Electronic Notes in Theoretical Computer Science 96, 51-72, 2004 | 32 | 2004 |
| On the relationship between higher-order recursion schemes and higher-order fixpoint logic N Kobayashi, É Lozes, F Bruse ACM SIGPLAN Notices 52 (1), 246-259, 2017 | 30 | 2017 |
| Minimality results for the spatial logics D Hirschkoff, É Lozes, D Sangiorgi International Conference on Foundations of Software Technology and …, 2003 | 28 | 2003 |
| Separation logic preserves the expressive power of classical logic E Lozes Space 4, 2004 | 27 | 2004 |
| Reasoning about sequences of memory states R Brochenin, S Demri, E Lozes Annals of Pure and Applied Logic 161 (3), 305-323, 2009 | 26 | 2009 |
| On the k-synchronizability of systems C Di Giusto, L Laversa, E Lozes 23rd International Conference on Foundations of Software Science and …, 2020 | 23 | 2020 |
| Elimination of spatial connectives in static spatial logics E Lozes Theoretical Computer Science 330 (3), 475-499, 2005 | 23 | 2005 |
| A unifying framework for deciding synchronizability B Bollig, C Di Giusto, A Finkel, L Laversa, E Lozes, A Suresh CONCUR 2021-32nd International Conference on Concurrency Theory, 1-33, 2021 | 22 | 2021 |
| A partial order view of message-passing communication models C Di Giusto, D Ferré, L Laversa, E Lozes Proceedings of the ACM on Programming Languages 7 (POPL), 1601-1627, 2023 | 20 | 2023 |
| Beyond shapes: Lists with ordered data K Bansal, R Brochenin, É Lozes International Conference on Foundations of Software Science and …, 2009 | 20 | 2009 |
| Reliable contracts for unreliable half-duplex communications É Lozes, J Villard International Workshop on Web Services and Formal Methods, 2-16, 2011 | 19 | 2011 |
Stéphane DemriCNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)Verified email at lmf.cnrs.fr
