Denis Lugiez
Laboratoire d’Informatique et Systèmes(FR)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, semigroups and automata theory, Advanced Authentication Protocols Security, User Authentication and Security Systems
Most-Cited Works
- Tree automata techniques and applications(1997)
- → On the Reachability Problem in Cryptographic Protocols(2000)139 cited
- → On the symbolic reduction of processes with cryptographic functions(2002)94 cited
- → XML Schema, Tree Logic and Sheaves Automata(2003)70 cited
- → A logic you can count on(2004)67 cited
- → A partial order semantics approach to the clock explosion problem of timed automata(2005)61 cited
- → Intruder Deduction for AC-Like Equational Theories with Homomorphisms(2005)46 cited
- CONCUR 2003 - Concurrency Theory, 14th International Conference(2003)
- → The regular viewpoint on PA-processes(1998)40 cited
- → Complexity of modal logics with Presburger constraints(2010)33 cited