Concepedia

Étienne Lozes

ÉL

12

Publications

277

Citations

12

H-Index

2003

Active since

Affiliations

École Normale Supérieure de Lyon(Current)

Laboratoire Spécification et Vérification

University of Kassel

École Normale Supérieure Paris-Saclay

Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis

Étienne Lozes is an author at École Normale Supérieure de Lyon specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationSemanticsVerificationDesignSystems EngineeringMemory

Publications per year

2003–2023

12

Publications

12

On the almighty wand

Rémi Brochenin, Stéphane Demri, Étienne Lozes · Information and Computation · 2012 · 65 citations · Full text

Humanities, Religious Symbol, Christian Practice +2

Separability, expressiveness, and decidability in the ambient logic

Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi · 2003 · 40 citations

Applied Logic, Computational Logic, Ambient Logic +14

On the relationship between higher-order recursion schemes and higher-order fixpoint logic

Naoki Kobayashi, Étienne Lozes, Florian Bruse · 2016 · 23 citations

Computational Logic, Order Theory, Engineering +13

Adjuncts elimination in the static ambient logic

Étienne Lozes · Electronic Notes in Theoretical Computer Science · 2004 · 21 citations · Full text

Applied Logic, Computational Logic, Non-classical Logic +12

Reasoning about sequences of memory states

Rémi Brochenin, Stéphane Demri, Étienne Lozes · Annals of Pure and Applied Logic · 2009 · 20 citations · Full text

Storage (Memory), Engineering, Memory System +5

Rows per page

1–5 of 12