Concepedia

Denis Lugiez

DL

Statistics

Publications

12

Citations

445

H-Index

12

Active since

1989

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire d’Informatique Fondamentale de Marseille

Aix-Marseille Université

Institut national de recherche en sciences et technologies du numérique

Denis Lugiez is an author at Centre National de la Recherche Scientifique specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationComputational ComplexitySemanticsCryptographyVerificationData Security

Publications per year

1989–2010

12

Publications

12

On the symbolic reduction of processes with cryptographic functions

Roberto M. Amadio, Denis Lugiez, Vincent Vanackère · Theoretical Computer Science · 2002 · 94 citations

Cryptographic Primitive, Engineering, Symbolic Reduction +7

A logic you can count on

Silvano Dal Zilio, Denis Lugiez, Charles Meyssonnier · 2004 · 67 citations

Computational Logic, Ambient Logic, Engineering +15

A partial order semantics approach to the clock explosion problem of timed automata

Denis Lugiez, Peter Niebert, Sarah Zennou · Theoretical Computer Science · 2005 · 61 citations

Logical Automaton, Engineering, Automated Reasoning +11

CONCUR 2003 - Concurrency Theory, 14th International Conference

Roberto M. Amadio, Denis Lugiez · HAL (Le Centre pour la Communication Scientifique Directe) · 2003 · 44 citations

Engineering, Concurrent Programming, Concurrency Theory +3

Complexity of modal logics with Presburger constraints

Stéphane Demri, Denis Lugiez · Journal of Applied Logic · 2010 · 33 citations · Full text

Engineering, Automated Reasoning, Propositional Logic +7

1–5 of 12