Laurent Vigneron

2008
22	EE	Francis Klay, Laurent Vigneron: Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder. Formal Aspects in Security and Trust 2008: 192-209
21	EE	Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron: Tree automata with equality constraints modulo equational theories. J. Log. Algebr. Program. 75(2): 182-208 (2008)
2007
20	EE	Judson Santiago, Laurent Vigneron: Optimistic Non-repudiation Protocol Analysis. WISTP 2007: 90-101
19	EE	Francis Klay, Judson Santiago, Laurent Vigneron: Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder CoRR abs/0710.3305: (2007)
2006
18	EE	Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron: Tree Automata with Equality Constraints Modulo Equational Theories. IJCAR 2006: 557-571
2005
17	EE	Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron: The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV 2005: 281-285
16	EE	Yannick Chevalier, Laurent Vigneron: Rule-based Programs Describing Internet Security Protocols. Electr. Notes Theor. Comput. Sci. 124(1): 113-132 (2005)
2004
15	EE	Yannick Chevalier, Laurent Vigneron: Strategy for Verifying Security Protocols with Unbounded Message Size. Autom. Softw. Eng. 11(2): 141-166 (2004)
14	EE	Deepak Kapur, Laurent Vigneron: Preface. J. Autom. Reasoning 33(3-4): 219-220 (2004)
2003
13	EE	Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron: Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. CSL 2003: 128-141
12	EE	Ingo Dahn, Laurent Vigneron: Preface. Electr. Notes Theor. Comput. Sci. 86(1): (2003)
11	EE	Leo Bachmair, Ashish Tiwari, Laurent Vigneron: Abstract Congruence Closure. J. Autom. Reasoning 31(2): 129-168 (2003)
2002
10	EE	Yannick Chevalier, Laurent Vigneron: Automated Unbounded Verification of Security Protocols. CAV 2002: 324-337
9	EE	Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron: The AVISS Security Protocol Analysis Tool. CAV 2002: 349-353
2001
8	EE	Yannick Chevalier, Laurent Vigneron: A Tool for Lazy Verification of Security Protocols. ASE 2001: 373-376
2000
7		Leo Bachmair, I. V. Ramakrishnan, Ashish Tiwari, Laurent Vigneron: Congruence Closure Modulo Associativity and Commutativity. FroCos 2000: 245-259
6	EE	Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron: Compiling and Verifying Security Protocols. LPAR 2000: 131-160
1998
5		Laurent Vigneron: Automated Deduction Techniques for Studying Rough Algebras. Fundam. Inform. 33(1): 85-103 (1998)
1995
4		Laurent Vigneron: Positive Deduction modulo Regular Theories. CSL 1995: 468-485
3		Michaël Rusinowitch, Laurent Vigneron: Automated Deduction Associative-Commutative Operators. Appl. Algebra Eng. Commun. Comput. 6: 23-56 (1995)
1994
2		Laurent Vigneron: Associative-Commutative Deduction with Constraints. CADE 1994: 530-544
1991
1		Michaël Rusinowitch, Laurent Vigneron: Automated deduction with associative commutative operators. FAIR 1991: 185-199

Coauthor Index

1	Alessandro Armando	[9] [17]
2	Leo Bachmair	[7] [11]
3	David A. Basin	[9] [17]
4	Yohan Boichut	[17]
5	Mehdi Bouallagui	[9]
6	Yannick Chevalier	[8] [9] [10] [13] [15] [16] [17]
7	Luca Compagna	[9] [17]
8	Jorge Cuéllar	[17]
9	Ingo Dahn (Bernd I. Dahn)	[12]
10	Paul Hankes Drielsma	[17]
11	Pierre-Cyrille Héam	[17]
12	Florent Jacquemard	[6] [18] [21]
13	Deepak Kapur	[14]
14	Francis Klay	[19] [22]
15	Olga Kouchnarenko	[17]
16	Ralf Küsters	[13]
17	Jacopo Mantovani	[17]
18	Sebastian Mödersheim	[9] [17]
19	David von Oheimb	[17]
20	I. V. Ramakrishnan	[7]
21	Michaël Rusinowitch	[1] [3] [6] [9] [13] [17] [18] [21]
22	Judson Santiago	[17] [19] [20]
23	Ashish Tiwari	[7] [11]
24	Mathieu Turuani	[9] [13] [17]
25	Luca Viganò	[9] [17]

Colors in the list of coauthors