Author Search Results :: UTM Library Massive Scholar Tracking

1

A Type-Directed Negation Elimination by Etienne Lozes

Published 2015-09-01

Get full text

Article
2

Shared Contract-Obedient Endpoints by Étienne Lozes, Jules Villard

Published 2012-12-01

Get full text

Article
3

Synchronizability of Communicating Finite State Machines is not Decidable by Alain Finkel, Etienne Lozes

Published 2023-12-01

Get full text

Article
4

A Complete Axiomatisation for Quantifier-Free Separation Logic by Stéphane Demri, Étienne Lozes, Alessio Mansutti

Published 2021-08-01

Get full text

Article
5

Buffered Simulation Games for Büchi Automata by Milka Hutagalung, Martin Lange, Etienne Lozes

Published 2014-05-01

Get full text

Article
6

On the Expressiveness of the Ambient Logic by Daniel Hirschkoff, Etienne Lozes, Davide Sangiorgi

Published 2006-03-01

Get full text

Article
7

Separability in the Ambient Logic by Daniel Hirschkoff, Etienne Lozes, Davide Sangiorgi

Published 2008-09-01

Get full text

Article
8

Model-Checking Process Equivalences by Martin Lange, Etienne Lozes, Manuel Vargas Guzmán

Published 2012-10-01

Get full text

Article
9

Multi-Buffer Simulations for Trace Language Inclusion by Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Etienne Lozes

Published 2016-09-01

Get full text

Article
10

Two-Buffer Simulation Games by Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Etienne Lozes

Published 2016-07-01

Get full text

Article