MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Denis Lugiez – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

ATOM

Decidable First-Order Transition Logics for PAProcesses
by Denis Lugiez — 2000 — In 27th Int. Coll. on Automata, Languages and Programming (ICALP), 342-353. LNCS 1853
…Decidable First-Order Transition Logics for PA-Processes ⋆ Abstract Denis Lugiez Lab. d…
Cited by 2 (0 self) – Add To MetaCart

Multitree Automata That Count
by Denis Lugiez — 2005 — Theor. Comput. Sci
…Abstract Multitree Automata that Count Denis Lugiez Lab. d’Informatique Fondamentale, UMR 6166…
Cited by 3 (0 self) – Add To MetaCart

M.: Towards an automatic analysis of web services security
by Yannick Chevalier, Denis Lugiez — 2007 — In: Proceedings of the 6th International Symposium on the Frontiers of Combining Systems (Frocos’07). LNAI
…Towards an Automatic Analysis of Web Service Security Yannick Chevalier1 and Denis Lugiez2 3…
Cited by 1 (1 self) – Add To MetaCart

The Regular Viewpoint on PA-Processes
by Denis Lugiez, Philippe Schnoebelen — 1999 — Theoretical Computer Science
… Viewpoint on PA-Processes D. Lugiez Lab. d'Informatique de Marseille, Univ. Aix-Marseille & CNRS URA 1787…
Cited by 33 (1 self) – Add To MetaCart

XML Schema, Tree Logic and Sheaves Automata
by Silvano Dal, Zilio Denis Lugiez, Projet Mimosa
… -- Denis Lugiez No 4631 Novembre 2002 Unite' de recherche INRIA Sophia Antipolis2004, route des Lucioles…
Add To MetaCart

Symbolic Protocol Analysis in Presence of aHomomorphism Operator and Exclusive Or
by Pascal Lafourcade, Denis Lugiez, Ralf Treinen
…'ephanie Delaune1,2, Pascal Lafourcade2,3, Denis Lugiez3 and Ralf Treinen2 1 France T'el'ecom, Division R&D 2…
Add To MetaCart

Set Operations for Recurrent Term Schematizations
by Ali Amaniss, Miki Hermann, Denis Lugiez — 1997 — Proceedings 7th International Joint Conference on Theory and Practice of Software Development (TAPSOFT'97), Lille (France), volume 1214 of Lecture Notes in Computer Science
…Set Operations for Recurrent Term Schematizations Ali Amaniss, Miki Hermann, Denis Lugiez CRIN…
Cited by 2 (1 self) – Add To MetaCart

Algorithms and Reductions for Rewriting Problems
by Rakesh M. Verma, Rakesh M. Verma, Michael Rusinowitch, Michael Rusinowitch, Denis Lugiez, Denis Lugiez — 1997 — In Proceedings of the 9th International Conference on Rewriting Techniques and Applications
… Lugiez N 3258 Septembre 1997 TH EME 2 Algorithms and Reductions for Rewriting Problems Rakesh M…
Cited by 6 (1 self) – Add To MetaCart

XML Schema, Tree Logic and Sheaves Automata
by Silvano Dal Zilio, Silvano Dal Zilio, Denis Lugiez, Denis Lugiez — 2003 — In Proc. RTA 2003. LNCS 2706
…246 Silvano Dal Zilio and Denis Lugiez XML Schema, Tree Logic and Sheaves Automata Silvano Dal…
Cited by 11 (1 self) – Add To MetaCart

Symbolic protocol analysis in presence of a homomorphism operator and Exclusive Or
by Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen, France Télécom, Division R — 2006 — In Proc. 33rd International Colloquium on Automata, Languages and Programming (ICALP’06) — Part II, volume 4052 of LNCS
…S. Delaune, P. Lafourcade, D. Lugiez, R. Treinen Symbolic Protocol Analysis in Presence of a…
Cited by 9 (5 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB