dblp.uni-trier.dewww.uni-trier.de

Laurent Vigneron Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
22EEFrancis Klay, Laurent Vigneron: Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder. Formal Aspects in Security and Trust 2008: 192-209
21EEFlorent Jacquemard, Michaël Rusinowitch, Laurent Vigneron: Tree automata with equality constraints modulo equational theories. J. Log. Algebr. Program. 75(2): 182-208 (2008)
2007
20EEJudson Santiago, Laurent Vigneron: Optimistic Non-repudiation Protocol Analysis. WISTP 2007: 90-101
19EEFrancis Klay, Judson Santiago, Laurent Vigneron: Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder CoRR abs/0710.3305: (2007)
2006
18EEFlorent Jacquemard, Michaël Rusinowitch, Laurent Vigneron: Tree Automata with Equality Constraints Modulo Equational Theories. IJCAR 2006: 557-571
2005
17EEAlessandro 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
16EEYannick Chevalier, Laurent Vigneron: Rule-based Programs Describing Internet Security Protocols. Electr. Notes Theor. Comput. Sci. 124(1): 113-132 (2005)
2004
15EEYannick Chevalier, Laurent Vigneron: Strategy for Verifying Security Protocols with Unbounded Message Size. Autom. Softw. Eng. 11(2): 141-166 (2004)
14EEDeepak Kapur, Laurent Vigneron: Preface. J. Autom. Reasoning 33(3-4): 219-220 (2004)
2003
13EEYannick 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
12EEIngo Dahn, Laurent Vigneron: Preface. Electr. Notes Theor. Comput. Sci. 86(1): (2003)
11EELeo Bachmair, Ashish Tiwari, Laurent Vigneron: Abstract Congruence Closure. J. Autom. Reasoning 31(2): 129-168 (2003)
2002
10EEYannick Chevalier, Laurent Vigneron: Automated Unbounded Verification of Security Protocols. CAV 2002: 324-337
9EEAlessandro 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
8EEYannick 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
6EEFlorent 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
4EELaurent 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
2EELaurent 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)