Scholar

Etienne Lozes

Google Scholar ID: TDLiy9AAAAAJ

Université Côte d'Azur

logic and verification

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

347

H-index

10

i10-index

10

Publications

20

Co-authors

19

list available

Publications

2 items

On the Impact of the Communication Model on Realisability

2025

Cited

0

Realisability and Complementability of Multiparty Session Types

2025

Cited

0

Co-authors

16 total

Stéphane Demri

CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)

Imperial College London

Cinzia Di Giusto

Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))

Professor of Computer Science, University of Kassel

Davide Sangiorgi

Professor of Computer Science, University of Bologna

LMF ENS Paris Saclay

Alessio Mansutti

IMDEA Software Institute