×
Author ID: lozes.etienne Recent zbMATH articles by "Lozes, Etienne"
Published as: Lozes, Etienne; Lozes, Étienne; Lozes, É.
External Links: MGP
Documents Indexed: 40 Publications since 2003
Co-Authors: 23 Co-Authors with 37 Joint Publications
463 Co-Co-Authors

Publications by Year

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 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

Citations by Year