Edit Profile (opens in new tab) Lozes, Etienne Co-Author Distance Author ID: lozes.etienne Published as: Lozes, Etienne; Lozes, Étienne; Lozes, É. more...less External Links: MGP Documents Indexed: 40 Publications since 2003 Co-Authors: 23 Co-Authors with 37 Joint Publications 463 Co-Co-Authors all top 5 Co-Authors 3 single-authored 11 Lange, Martin 8 Demri, Stéphane P. 5 Brochenin, Rémi 5 Di Giusto, Cinzia 4 Finkel, Alain 4 Hutagalung, Milka 4 Laversa, Laetitia 3 Bruse, Florian 3 Hirschkoff, Daniel 3 Mansutti, Alessio 3 Sangiorgi, Davide 3 Villard, Jules 2 Caires, Luís 2 Hundeshagen, Norbert 2 Kuske, Dietrich 2 Vargas Guzmán, Manuel 1 Bansal, Kshitij 1 Bollig, Benedikt 1 Guizouarn, Loïc Germerie 1 Kobayashi, Naoki 1 Lugiez, Denis 1 Sangnier, Arnaud 1 Suresh, Amrita all top 5 Serials 4 Logical Methods in Computer Science 3 Theoretical Computer Science 2 Information and Computation 1 Annals of Pure and Applied Logic 1 International Journal of Foundations of Computer Science 1 Distributed Computing 1 Fundamenta Informaticae 1 Journal of Logical and Algebraic Methods in Programming Fields 39 Computer science (68-XX) 26 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 32 Publications have been cited 153 times in 95 Documents Cited by ▼ Year ▼ On the almighty wand. Zbl 1262.03051 Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne 24 2012 Synchronizability of communicating finite state machines is not decidable. Zbl 1442.68138 Finkel, Alain; Lozes, Etienne 12 2017 On the almighty wand. Zbl 1157.03010 Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne 11 2008 Separability in the ambient logic. Zbl 1151.03017 Lozes, Étienne; Hirschkoff, Daniel; Sangiorgi, Davide 8 2008 The effects of adding reachability predicates in propositional separation logic. Zbl 1504.68128 Demri, Stéphane; Lozes, Étienne; Mansutti, Alessio 8 2018 On the \(k\)-synchronizability of systems. Zbl 07250937 Di Giusto, Cinzia; Laversa, Laetitia; Lozes, Etienne 7 2020 Adjuncts elimination in the static ambient logic. Zbl 1271.03050 Lozes, Étienne 7 2004 Reasoning about sequences of memory states. Zbl 1225.68068 Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne 7 2009 Minimality results for the spatial logics. Zbl 1205.03046 Hirschkoff, D.; Lozes, É.; Sangiorgi, D. 5 2003 Elimination of spatial connectives in static spatial logics. Zbl 1078.68098 Lozes, Étienne 5 2005 Model-checking process equivalences. Zbl 1303.68085 Lange, Martin; Lozes, Etienne; Vargas Guzmán, Manuel 5 2014 Space-efficient fragments of higher-order fixpoint logic. Zbl 1478.68149 Bruse, Florian; Lange, Martin; Lozes, Etienne 5 2017 Beyond shapes: Lists with ordered data. Zbl 1234.68083 Bansal, Kshitij; Brochenin, Rémi; Lozes, Etienne 4 2009 Elimination of quantifiers and undecidability in spatial logics for concurrency. Zbl 1097.68582 Caires, Luís; Lozes, Étienne 4 2004 On the relationship between higher-order recursion schemes and higher-order fixpoint logic. Zbl 1380.68277 Kobayashi, Naoki; Lozes, Étienne; Bruse, Florian 4 2017 Revealing vs. concealing: more simulation games for Büchi inclusion. Zbl 1377.68113 Hutagalung, Milka; Lange, Martin; Lozes, Etienne 4 2013 Elimination of quantifiers and undecidability in spatial logics for concurrency. Zbl 1097.68085 Caires, Luís; Lozes, Etienne 3 2006 A spatial equational logic for the applied \(\pi \)-calculus. Zbl 1160.03313 Lozes, Étienne; Villard, Jules 3 2008 On the expressiveness of the ambient logic. Zbl 1126.68056 Hirschkoff, Daniel; Lozes, Etienne; Sangiorgi, Davide 3 2006 Reasoning about sequences of memory states. Zbl 1132.68335 Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne 3 2007 A unifying framework for deciding synchronizability. Zbl 07730616 Bollig, Benedikt; Di Giusto, Cinzia; Finkel, Alain; Laversa, Laetitia; Lozes, Etienne; Suresh, Amrita 3 2021 A type-directed negation elimination. Zbl 1476.68179 Lozes, Etienne 3 2015 Conjunctive visibly-pushdown path queries. Zbl 1436.68085 Lange, Martin; Lozes, Etienne 3 2015 Towards model-checking programs with lists. Zbl 1258.68094 Finkel, Alain; Lozes, Étienne; Sangnier, Arnaud 3 2009 Capturing bisimulation-invariant complexity classes with higher-order modal fixpoint logic. Zbl 1417.68058 Lange, Martin; Lozes, Etienne 2 2014 Internal calculi for separation logics. Zbl 07650832 Demri, Stéphane; Lozes, Etienne; Mansutti, Alessio 1 2020 Shared contract-obedient endpoints. Zbl 1433.68099 Lozes, Étienne; Villard, Jules 1 2012 Multi-buffer simulations for trace language inclusion. Zbl 1478.68130 Hutagalung, Milka; Hundeshagen, Norbert; Kuske, Dietrich; Lange, Martin; Lozes, Etienne 1 2016 Model-checking the higher-dimensional modal \(\mu\)-calculus. Zbl 1457.68166 Lange, Martin; Lozes, Etienne 1 2012 Model-checking process equivalences. Zbl 1459.68120 Lange, Martin; Lozes, Etienne; Vargas Guzmán, Manuel 1 2012 Buffered simulation games for Büchi automata. Zbl 1464.68171 Hutagalung, Milka; Lange, Martin; Lozes, Etienne 1 2014 Guessing the buffer bound for k-synchronizability. Zbl 07495108 Di Giusto, Cinzia; Laversa, Laetitia; Lozes, Etienne 1 2021 A unifying framework for deciding synchronizability. Zbl 07730616 Bollig, Benedikt; Di Giusto, Cinzia; Finkel, Alain; Laversa, Laetitia; Lozes, Etienne; Suresh, Amrita 3 2021 Guessing the buffer bound for k-synchronizability. Zbl 07495108 Di Giusto, Cinzia; Laversa, Laetitia; Lozes, Etienne 1 2021 On the \(k\)-synchronizability of systems. Zbl 07250937 Di Giusto, Cinzia; Laversa, Laetitia; Lozes, Etienne 7 2020 Internal calculi for separation logics. Zbl 07650832 Demri, Stéphane; Lozes, Etienne; Mansutti, Alessio 1 2020 The effects of adding reachability predicates in propositional separation logic. Zbl 1504.68128 Demri, Stéphane; Lozes, Étienne; Mansutti, Alessio 8 2018 Synchronizability of communicating finite state machines is not decidable. Zbl 1442.68138 Finkel, Alain; Lozes, Etienne 12 2017 Space-efficient fragments of higher-order fixpoint logic. Zbl 1478.68149 Bruse, Florian; Lange, Martin; Lozes, Etienne 5 2017 On the relationship between higher-order recursion schemes and higher-order fixpoint logic. Zbl 1380.68277 Kobayashi, Naoki; Lozes, Étienne; Bruse, Florian 4 2017 Multi-buffer simulations for trace language inclusion. Zbl 1478.68130 Hutagalung, Milka; Hundeshagen, Norbert; Kuske, Dietrich; Lange, Martin; Lozes, Etienne 1 2016 A type-directed negation elimination. Zbl 1476.68179 Lozes, Etienne 3 2015 Conjunctive visibly-pushdown path queries. Zbl 1436.68085 Lange, Martin; Lozes, Etienne 3 2015 Model-checking process equivalences. Zbl 1303.68085 Lange, Martin; Lozes, Etienne; Vargas Guzmán, Manuel 5 2014 Capturing bisimulation-invariant complexity classes with higher-order modal fixpoint logic. Zbl 1417.68058 Lange, Martin; Lozes, Etienne 2 2014 Buffered simulation games for Büchi automata. Zbl 1464.68171 Hutagalung, Milka; Lange, Martin; Lozes, Etienne 1 2014 Revealing vs. concealing: more simulation games for Büchi inclusion. Zbl 1377.68113 Hutagalung, Milka; Lange, Martin; Lozes, Etienne 4 2013 On the almighty wand. Zbl 1262.03051 Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne 24 2012 Shared contract-obedient endpoints. Zbl 1433.68099 Lozes, Étienne; Villard, Jules 1 2012 Model-checking the higher-dimensional modal \(\mu\)-calculus. Zbl 1457.68166 Lange, Martin; Lozes, Etienne 1 2012 Model-checking process equivalences. Zbl 1459.68120 Lange, Martin; Lozes, Etienne; Vargas Guzmán, Manuel 1 2012 Reasoning about sequences of memory states. Zbl 1225.68068 Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne 7 2009 Beyond shapes: Lists with ordered data. Zbl 1234.68083 Bansal, Kshitij; Brochenin, Rémi; Lozes, Etienne 4 2009 Towards model-checking programs with lists. Zbl 1258.68094 Finkel, Alain; Lozes, Étienne; Sangnier, Arnaud 3 2009 On the almighty wand. Zbl 1157.03010 Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne 11 2008 Separability in the ambient logic. Zbl 1151.03017 Lozes, Étienne; Hirschkoff, Daniel; Sangiorgi, Davide 8 2008 A spatial equational logic for the applied \(\pi \)-calculus. Zbl 1160.03313 Lozes, Étienne; Villard, Jules 3 2008 Reasoning about sequences of memory states. Zbl 1132.68335 Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne 3 2007 Elimination of quantifiers and undecidability in spatial logics for concurrency. Zbl 1097.68085 Caires, Luís; Lozes, Etienne 3 2006 On the expressiveness of the ambient logic. Zbl 1126.68056 Hirschkoff, Daniel; Lozes, Etienne; Sangiorgi, Davide 3 2006 Elimination of spatial connectives in static spatial logics. Zbl 1078.68098 Lozes, Étienne 5 2005 Adjuncts elimination in the static ambient logic. Zbl 1271.03050 Lozes, Étienne 7 2004 Elimination of quantifiers and undecidability in spatial logics for concurrency. Zbl 1097.68582 Caires, Luís; Lozes, Étienne 4 2004 Minimality results for the spatial logics. Zbl 1205.03046 Hirschkoff, D.; Lozes, É.; Sangiorgi, D. 5 2003 all cited Publications top 5 cited Publications all top 5 Cited by 158 Authors 18 Lozes, Etienne 12 Demri, Stéphane P. 10 Lange, Martin 7 Bruse, Florian 5 Finkel, Alain 5 Mansutti, Alessio 4 Brochenin, Rémi 4 Caires, Luís 4 Di Giusto, Cinzia 4 Larchey-Wendling, Dominique 3 Chen, Taolue 3 Deters, Morgan 3 Gardner, Philippa Anne 3 Hou, Zhe 3 Hutagalung, Milka 3 Iosif, Radu 3 Laversa, Laetitia 3 Tiu, Alwen Fernanto 2 Bollig, Benedikt 2 Calcagno, Cristiano 2 Cardelli, Luca 2 Dawar, Anuj 2 Galmiche, Didier 2 Hundeshagen, Norbert 2 Kirst, Dominik 2 Kobayashi, Naoki 2 Kreiker, Jörg 2 Kuske, Dietrich 2 Loreti, Michele 2 Matheja, Christoph 2 Pagel, Jens 2 Praveen, M. 2 Sälzer, Marco 2 Sanán, David 2 Suresh, Amrita 2 Talbot, Jean-Marc 2 Tsukada, Takeshi 2 Villard, Jules 2 Wu, Zhilin 2 Zuleger, Florian 1 Ait-Ameur, Yamine 1 Al Ameen, Mahmudul Faisal 1 Antonopoulos, Timos 1 Balbiani, Philippe 1 Banks, C. J. 1 Bansal, Kshitij 1 Batz, Kevin 1 Bednarczyk, Bartosz 1 Bengtson, Jesper 1 Benyagoub, Sarah 1 Bisping, Benjamin 1 Bocchi, Laura 1 Boneva, Iovka 1 Bortolussi, Luca 1 Boudou, Joseph 1 Bozga, Marius 1 Busi, Nadia 1 Castellani, Ilaria 1 Charatonik, Witold 1 Chen, Hao 1 Chin, Wei-Ngan 1 Ciancia, Vincenzo 1 Coto, Alex 1 Cruz-Filipe, Luís 1 Dai, Fei 1 Dal Zilio, Silvano 1 Dardinier, Thibault 1 del Mar Gallardo, María 1 Dhar, Amit Kumar 1 Dinsdale-Young, Thomas 1 Du, Hongwei 1 Duan, Zhenhua 1 Edixhoven, Luc 1 Fervari, Raul 1 Fesefeldt, Ira 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 Huang, Bi 1 Iwayama, Naoki 1 Jansen, David N. 1 Jansen, Marvin 1 Jipsen, Peter 1 Jongmans, Sung-Shik T. Q. 1 Kastberg Hinrichsen, Jonas 1 Katoen, Joost-Pieter 1 Keßler, Florian 1 Krebbers, Robbert 1 Kronenberger, David 1 Kuperberg, Denis 1 Kwiatkowska, Marta Z. 1 Lange, Julien 1 Liang, Zhihong ...and 58 more Authors all top 5 Cited in 14 Serials 12 Theoretical Computer Science 12 Information and Computation 10 Logical Methods in Computer Science 4 ACM Transactions on Computational Logic 4 Journal of Logical and Algebraic Methods in Programming 3 Journal of Automated Reasoning 3 Fundamenta Informaticae 2 Annals of Pure and Applied Logic 2 Journal of Applied Non-Classical Logics 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 Distributed Computing 1 Complexity 1 Theory of Computing Systems Cited in 4 Fields 86 Computer science (68-XX) 65 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