Searching for authors named Laurent Vigneron – sorted by Relevance.
-
D'eduction Dans Des Th'eories 'equationnelles Avec Contraintes Symboliques
- D'eduction dans des th'eories 'equationnelles avec contraintes symboliques Laurent Vigneron CRIN
- Add To MetaCart
-
Positive Deduction modulo Regular Theories
- Positive Deduction modulo Regular Theories ? Laurent Vigneron CRIN-CNRS & INRIA Lorraine B.P.239
- Cited by 6 (1 self) – Add To MetaCart
-
Automated Deduction with Associative Commutative Operators
- .41.30.79 Automated Deduction with Associative Commutative Operators Michael Rusinowitch and Laurent Vigneron CRIN 93
- Cited by 9 (1 self) – Add To MetaCart
-
Compiling and Verifying Security Protocols
- , Laurent Vigneron 2 1 LORIA { INRIA Lorraine Campus Scientique, B.P. 239 54506 Vanduvre-les-Nancy Cedex
- Cited by 43 (4 self) – Add To MetaCart
-
Rough And Modal Algebras
- ROUGH AND MODAL ALGEBRAS Laurent VIGNERON CRIN & INRIA Lorraine BP239, 54506 Vandoeuvre Cedex
- Cited by 1 (1 self) – Add To MetaCart
-
Optimistic Non-repudiation Protocol Analysis
- Optimistic Non-Repudiation Protocol Analysis Judson Santiago and Laurent Vigneron ⋆ LORIA – Nancy
- Cited by 1 (1 self) – Add To MetaCart
-
The AVISS Security Protocol Analysis Tool
- 3 , Mathieu Turuani 3 , Luca Vigano 2 , and Laurent Vigneron 3 1 Mechanized Reasoning Group
- Cited by 23 (11 self) – Add To MetaCart
-
unknown title
- Vigan`o2, and Laurent Vigneron3 1 Mechanized Reasoning Group, DIST, Universit`a di Genova, Italy. 2
- Add To MetaCart

