8485 articles  [english version]
.:. Consultation > Par auteur > Lugiez .:.
9 documents classés par :
fulltext access Toward an Automatic Analysis of Web Service Security
Chevalier Y., Lugiez D., Rusinowitch M.
N° RR-6341 (2007) [inria-00133996 - version 2]
fulltext access A Logic You Can Count On
Dal Zilio S., Lugiez D., Meyssonnier C.
N° RR-5022 (2003) [inria-00071562 - version 1]
fulltext access XML Schema, Tree Logic and Sheaves Automata
Dal Zilio S., Lugiez D.
N° RR-4631 (2002) [inria-00071954 - version 1]
fulltext access On the Symbolic Reduction of Processes with Cryptographic Functions
Amadio R. M., Lugiez D., Vanackère V.
N° RR-4147 (2001) [inria-00072478 - version 1]
fulltext access On the Reachability Problem in Cryptographic Protocols
Amadio R. M., Lugiez D.
N° RR-3915 (2000) [inria-00072738 - version 1]
fulltext access The Regular Viewpoint on PA-Processes
Lugiez D., Schnoebelen P.
N° RR-3403 (1998) [inria-00073287 - version 1]
fulltext access Algorithms and Reductions for Rewriting Problems
Verma R. M., Rusinowitch M., Lugiez D.
N° RR-3258 (1997) [inria-00073431 - version 1]
fulltext access Positive and negative results for higher-order disunification
Lugiez D.
N° RR-2492 (1995) [inria-00074183 - version 1]
fulltext access Tree automata help one to solve equational formulae in AC-theories
Lugiez D., Moysset J.-L.
N° RR-2029 (1993) [inria-00074642 - version 1]