Laurent Vigneron

Publications

309

Citations

H-Index

1995

Active since

Affiliations

Laboratoire Lorrain de Recherche en Informatique et ses Applications(Current)

Université de Lorraine

Institut national de recherche en sciences et technologies du numérique

Laurent Vigneron is an author at Laboratoire Lorrain de Recherche en Informatique et ses Applications specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationProgram AnalysisSoftware AnalysisCompilersCryptography

Publications per year

1995–2008

Publications

A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols

Yannick Chevalier, Luca Compagna, Jorge Cuéllar et al. · 2004 · 143 citations · Full text

Abstract Congruence Closure

Leo Bachmair, Ashish Tiwari, Laurent Vigneron · Journal of Automated Reasoning · 2003 · 59 citations

Abstract Congruence Closure, Modular Construction, Modulus Problem +1

A tool for lazy verification of security protocols

Yannick Chevalier, Laurent Vigneron · 2005 · 42 citations

Cryptographic Primitive, Engineering, Verification +20

Automated deduction with associative-commutative operators

M. Rusinowitch, Laurent Vigneron · Applicable Algebra in Engineering Communication and Computing · 1995 · 26 citations

Engineering, Automated Reasoning, Formal Methods +6

Tree automata with equality constraints modulo equational theories

Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron · The Journal of Logic and Algebraic Programming · 2008 · 15 citations · Full text

Tree Automata, Tree Language, Engineering +6

Rows per page

1–5 of 7