Edit Profile (opens in new tab) Lozes, Etienne Compute Distance To: Compute Author ID: lozes.etienne Published as: Lozes, Etienne; Lozes, Étienne; Lozes, É. more...less External Links: MGP Documents Indexed: 37 Publications since 2003 Co-Authors: 21 Co-Authors with 34 Joint Publications 424 Co-Co-Authors all top 5 Co-Authors 3 single-authored 11 Lange, Martin 8 Demri, Stéphane P. 5 Brochenin, Rémi 4 Hutagalung, Milka 3 Bruse, Florian 3 Di Giusto, Cinzia 3 Hirschkoff, Daniel 3 Mansutti, Alessio 3 Sangiorgi, Davide 3 Villard, Jules 2 Caires, Luís 2 Finkel, Alain 2 Hundeshagen, Norbert 2 Kuske, Dietrich 2 Laversa, Laetitia 2 Vargas Guzmán, Manuel 1 Bansal, Kshitij 1 Guizouarn, Loïc Germerie 1 Kobayashi, Naoki 1 Lugiez, Denis 1 Sangnier, Arnaud all top 5 Serials 3 Theoretical Computer Science 3 Logical Methods in Computer Science 2 Information and Computation 1 Annals of Pure and Applied Logic 1 Distributed Computing 1 Fundamenta Informaticae 1 Journal of Logical and Algebraic Methods in Programming Fields 36 Computer science (68-XX) 25 Mathematical logic and foundations (03-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 26 Publications have been cited 121 times in 77 Documents Cited by ▼ Year ▼ On the almighty wand. Zbl 1262.03051Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne 21 2012 On the almighty wand. Zbl 1157.03010Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne 9 2008 Separability in the ambient logic. Zbl 1151.03017Lozes, Étienne; Hirschkoff, Daniel; Sangiorgi, Davide 8 2008 The effects of adding reachability predicates in propositional separation logic. Zbl 1504.68128Demri, Stéphane; Lozes, Étienne; Mansutti, Alessio 7 2018 Reasoning about sequences of memory states. Zbl 1225.68068Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne 7 2009 Synchronizability of communicating finite state machines is not decidable. Zbl 1442.68138Finkel, Alain; Lozes, Etienne 6 2017 Adjuncts elimination in the static ambient logic. Zbl 1271.03050Lozes, Étienne 6 2004 On the \(k\)-synchronizability of systems. Zbl 07250937Di Giusto, Cinzia; Laversa, Laetitia; Lozes, Etienne 5 2020 Beyond shapes: Lists with ordered data. Zbl 1234.68083Bansal, Kshitij; Brochenin, Rémi; Lozes, Etienne 4 2009 Elimination of spatial connectives in static spatial logics. Zbl 1078.68098Lozes, Étienne 4 2005 Minimality results for the spatial logics. Zbl 1205.03046Hirschkoff, D.; Lozes, É.; Sangiorgi, D. 4 2003 Revealing vs. concealing: more simulation games for Büchi inclusion. Zbl 1377.68113Hutagalung, Milka; Lange, Martin; Lozes, Etienne 4 2013 On the relationship between higher-order recursion schemes and higher-order fixpoint logic. Zbl 1380.68277Kobayashi, Naoki; Lozes, Étienne; Bruse, Florian 4 2017 Model-checking process equivalences. Zbl 1303.68085Lange, Martin; Lozes, Etienne; Vargas Guzmán, Manuel 4 2014 Space-efficient fragments of higher-order fixpoint logic. Zbl 1478.68149Bruse, Florian; Lange, Martin; Lozes, Etienne 3 2017 Elimination of quantifiers and undecidability in spatial logics for concurrency. Zbl 1097.68085Caires, Luís; Lozes, Etienne 3 2006 Elimination of quantifiers and undecidability in spatial logics for concurrency. Zbl 1097.68582Caires, Luís; Lozes, Étienne 3 2004 A type-directed negation elimination. Zbl 1476.68179Lozes, Etienne 3 2015 Conjunctive visibly-pushdown path queries. Zbl 1436.68085Lange, Martin; Lozes, Etienne 3 2015 Towards model-checking programs with lists. Zbl 1258.68094Finkel, Alain; Lozes, Étienne; Sangnier, Arnaud 3 2009 On the expressiveness of the ambient logic. Zbl 1126.68056Hirschkoff, Daniel; Lozes, Etienne; Sangiorgi, Davide 2 2006 A spatial equational logic for the applied \(\pi \)-calculus. Zbl 1160.03313Lozes, Étienne; Villard, Jules 2 2008 Reasoning about sequences of memory states. Zbl 1132.68335Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne 2 2007 Capturing bisimulation-invariant complexity classes with higher-order modal fixpoint logic. Zbl 1417.68058Lange, Martin; Lozes, Etienne 2 2014 Buffered simulation games for Büchi automata. Zbl 1464.68171Hutagalung, Milka; Lange, Martin; Lozes, Etienne 1 2014 Shared contract-obedient endpoints. Zbl 1433.68099Lozes, Étienne; Villard, Jules 1 2012 On the \(k\)-synchronizability of systems. Zbl 07250937Di Giusto, Cinzia; Laversa, Laetitia; Lozes, Etienne 5 2020 The effects of adding reachability predicates in propositional separation logic. Zbl 1504.68128Demri, Stéphane; Lozes, Étienne; Mansutti, Alessio 7 2018 Synchronizability of communicating finite state machines is not decidable. Zbl 1442.68138Finkel, Alain; Lozes, Etienne 6 2017 On the relationship between higher-order recursion schemes and higher-order fixpoint logic. Zbl 1380.68277Kobayashi, Naoki; Lozes, Étienne; Bruse, Florian 4 2017 Space-efficient fragments of higher-order fixpoint logic. Zbl 1478.68149Bruse, Florian; Lange, Martin; Lozes, Etienne 3 2017 A type-directed negation elimination. Zbl 1476.68179Lozes, Etienne 3 2015 Conjunctive visibly-pushdown path queries. Zbl 1436.68085Lange, Martin; Lozes, Etienne 3 2015 Model-checking process equivalences. Zbl 1303.68085Lange, Martin; Lozes, Etienne; Vargas Guzmán, Manuel 4 2014 Capturing bisimulation-invariant complexity classes with higher-order modal fixpoint logic. Zbl 1417.68058Lange, Martin; Lozes, Etienne 2 2014 Buffered simulation games for Büchi automata. Zbl 1464.68171Hutagalung, Milka; Lange, Martin; Lozes, Etienne 1 2014 Revealing vs. concealing: more simulation games for Büchi inclusion. Zbl 1377.68113Hutagalung, Milka; Lange, Martin; Lozes, Etienne 4 2013 On the almighty wand. Zbl 1262.03051Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne 21 2012 Shared contract-obedient endpoints. Zbl 1433.68099Lozes, Étienne; Villard, Jules 1 2012 Reasoning about sequences of memory states. Zbl 1225.68068Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne 7 2009 Beyond shapes: Lists with ordered data. Zbl 1234.68083Bansal, Kshitij; Brochenin, Rémi; Lozes, Etienne 4 2009 Towards model-checking programs with lists. Zbl 1258.68094Finkel, Alain; Lozes, Étienne; Sangnier, Arnaud 3 2009 On the almighty wand. Zbl 1157.03010Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne 9 2008 Separability in the ambient logic. Zbl 1151.03017Lozes, Étienne; Hirschkoff, Daniel; Sangiorgi, Davide 8 2008 A spatial equational logic for the applied \(\pi \)-calculus. Zbl 1160.03313Lozes, Étienne; Villard, Jules 2 2008 Reasoning about sequences of memory states. Zbl 1132.68335Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne 2 2007 Elimination of quantifiers and undecidability in spatial logics for concurrency. Zbl 1097.68085Caires, Luís; Lozes, Etienne 3 2006 On the expressiveness of the ambient logic. Zbl 1126.68056Hirschkoff, Daniel; Lozes, Etienne; Sangiorgi, Davide 2 2006 Elimination of spatial connectives in static spatial logics. Zbl 1078.68098Lozes, Étienne 4 2005 Adjuncts elimination in the static ambient logic. Zbl 1271.03050Lozes, Étienne 6 2004 Elimination of quantifiers and undecidability in spatial logics for concurrency. Zbl 1097.68582Caires, Luís; Lozes, Étienne 3 2004 Minimality results for the spatial logics. Zbl 1205.03046Hirschkoff, D.; Lozes, É.; Sangiorgi, D. 4 2003 all cited Publications top 5 cited Publications all top 5 Cited by 122 Authors 14 Lozes, Etienne 11 Demri, Stéphane P. 7 Lange, Martin 5 Bruse, Florian 5 Finkel, Alain 5 Mansutti, Alessio 4 Caires, Luís 4 Larchey-Wendling, Dominique 3 Brochenin, Rémi 3 Chen, Taolue 3 Deters, Morgan 3 Di Giusto, Cinzia 3 Gardner, Philippa Anne 3 Hutagalung, Milka 2 Bollig, Benedikt 2 Calcagno, Cristiano 2 Cardelli, Luca 2 Dawar, Anuj 2 Galmiche, Didier 2 Hou, Zhe 2 Hundeshagen, Norbert 2 Iosif, Radu 2 Kirst, Dominik 2 Kobayashi, Naoki 2 Kreiker, Jörg 2 Kuske, Dietrich 2 Laversa, Laetitia 2 Pagel, Jens 2 Praveen, M. 2 Sälzer, Marco 2 Suresh, Amrita 2 Talbot, Jean-Marc 2 Tiu, Alwen Fernanto 2 Tsukada, Takeshi 2 Wu, Zhilin 2 Zuleger, Florian 1 Ait-Ameur, Yamine 1 Antonopoulos, Timos 1 Balbiani, Philippe 1 Banks, C. J. 1 Bansal, Kshitij 1 Bednarczyk, Bartosz 1 Bengtson, Jesper 1 Benyagoub, Sarah 1 Bisping, Benjamin 1 Boneva, Iovka 1 Bortolussi, Luca 1 Boudou, Joseph 1 Bozga, Marius 1 Busi, Nadia 1 Charatonik, Witold 1 Chin, Wei-Ngan 1 Ciancia, Vincenzo 1 Coto, Alex 1 Dal Zilio, Silvano 1 del Mar Gallardo, María 1 Dhar, Amit Kumar 1 Dinsdale-Young, Thomas 1 Du, Hongwei 1 Duan, Zhenhua 1 Faisal Al Ameen, Mahmudul 1 Fervari, Raul 1 Ghelli, Giorgio 1 Goranko, Valentin F. 1 Gordon, Andrew D. 1 Goré, Rajeev Prabhakar 1 Grädel, Erich 1 Gu, Xincai 1 Guanciale, Roberto 1 Guizouarn, Loïc Germerie 1 Haase, Darion 1 Han, Tingting 1 Iwayama, Naoki 1 Jansen, David N. 1 Kastberg Hinrichsen, Jonas 1 Krebbers, Robbert 1 Kuperberg, Denis 1 Kwiatkowska, Marta Z. 1 Libal, Tomer 1 Loreti, Michele 1 Lu, Jian 1 Lu, Xu 1 Maffeis, Sergio 1 Mardare, Radu 1 Massink, Mieke 1 Matheja, Christoph 1 Merino, Pedro 1 Méry, Daniel 1 Mitani, Yo 1 Mukhopadhyay, Supratik 1 Nenzi, Laura 1 Nestmann, Uwe 1 Norman, Gethin 1 Perarnau, Swann 1 Phillips, Iain W. 1 Pinault, Laureline 1 Polyvyanyy, Artem 1 Pous, Damien 1 Priami, Corrado 1 Reynolds, Andrew ...and 22 more Authors all top 5 Cited in 12 Serials 11 Theoretical Computer Science 11 Information and Computation 8 Logical Methods in Computer Science 4 ACM Transactions on Computational Logic 3 Fundamenta Informaticae 2 Annals of Pure and Applied Logic 2 Journal of Automated Reasoning 2 Journal of Applied Non-Classical Logics 2 Journal of Logical and Algebraic Methods in Programming 1 MSCS. Mathematical Structures in Computer Science 1 Distributed Computing 1 Theory of Computing Systems Cited in 4 Fields 70 Computer science (68-XX) 54 Mathematical logic and foundations (03-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year