MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Laurent Vigneron – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8 documents found, showing 1 through 8.
ATOM RSS
  • Rough And Modal Algebras  
  • by Laurent Vigneron, Inria Lorraine, Anita Wasilewska — 1996 — In Proceedings of IMACS/IEEE CESA'96 Multiconference: Computational Engineering in System Applications
  • …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  
  • by Judson Santiago, Laurent Vigneron, Loria Nancy Université — 2007 — Proceedings of the Workshop in Information Security Theory and Practices (WISTP’2007), Smart Cards, Mobile and Ubiquitous Computing Systems, volume 4462 of Lecture Notes in Computer Science
  • …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  
  • by Alessandro Armando, David Basin, Mehdi Bouallagui, Yannick Chevalier Luca Compagna, Sebastian Modersheim, Yannick Chevalier, Mathieu Turuani, Luca Vigano, Laurent Vigneron, Luca Compagna, Michael Rusinowitch — 2002
  • … 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  
  • by The Aviss, Security Protocol, Analysis Tool Aless, Ro Arm, David Basin, Mehdi Bouallagui, Yannick Chevalier, Mathieu Turuani, Laurent Vigneron
  • … Vigan`o2, and Laurent Vigneron3 1 Mechanized Reasoning Group, DIST, Universit`a di Genova, Italy. 2…
  • Add To MetaCart
Help! Showing 1 through 8.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB