Jean-Luc Lambert

	2007
12		Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli: An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems CoRR abs/0710.4846: (2007)
	2004
11		Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli: An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. DATE 2004: 266-271
10		Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli: An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. DATE 2004: 266-271
9		Michele Borgatti, Andrea Fedeli, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: A Verification Methodology for Reconfigurable Systems. MTV 2004: 85-90
	2003
8		Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert: Towards the verification of real-time systems in avionics: the Cotre approach. Electr. Notes Theor. Comput. Sci. 80: (2003)
	2002
7		Joel Blasquez, Marten van Hulst, Andrea Fedeli, Jean-Luc Lambert, Dominique Borrione, Coby Hanoch, Pierre Bricaud: Formal Verification Techniques: Industrial Status and Perspectives. DATE 2002: 1050-1051
	1999
6		Samuel Devulder, Jean-Luc Lambert: A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods. ASE 1999: 299-302
5		S. Dellacherie, Samuel Devulder, Jean-Luc Lambert: Software Verification Based on Linear Programming. World Congress on Formal Methods 1999: 1147-1165
	1992
4		Jean-Luc Lambert: The local catenativity of DOL-sequences in free communitative monoids is decidable in the binary case. ITA 26: 425-438 (1992)
3		Jean-Luc Lambert: Sorting the Sums (xi+yj) in O(n2) Comparisons. Theor. Comput. Sci. 103(1): 137-141 (1992)
2		Jean-Luc Lambert: A Structure to Decide Reachability in Petri Nets. Theor. Comput. Sci. 99(1): 79-104 (1992)
	1990
1		Jean-Luc Lambert: Sorting the Sums (xi+yj) in O(n²) Comparisons. STACS 1990: 195-206

Coauthor Index

1	J. L. Bernartt	[8]
2	Bernard Berthomieu	[8]
3	Joel Blasquez	[7]
4	Jean-Paul Bodeveix	[8]
5	Michele Borgatti	[9] [10] [11] [12]
6	Dominique Borrione	[7]
7	Pierre Bricaud	[7]
8	Andrea Capello	[10] [11] [12]
9	S. Dellacherie	[5]
10	Samuel Devulder	[5] [6]
11	Pierre Dissaux	[8]
12	Patrick Farail	[8]
13	Jean-Marie Farines	[8]
14	Andrea Fedeli	[7] [9]
15	Mamoun Filali	[8]
16	Franco Fummi	[9] [10] [11] [12]
17	Pierre Gauffilet	[8]
18	Coby Hanoch	[7]
19	Marten van Hulst	[7]
20	Cristina Marconcini	[9]
21	Pierre Michel	[8]
22	Imed Moussa	[9] [10] [11] [12]
23	Gérard Padiou	[8]
24	Graziano Pravadelli	[9] [10] [11] [12]
25	Pierre-Olivier Ribet	[8]
26	Umberto Rossi	[9] [10] [11] [12]
27	François Vernadat	[8]

Colors in the list of coauthors