Jean-Luc Lambert
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1990–2004
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | DATE | An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. | Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli |
| 2002 | DATE | Formal Verification Techniques: Industrial Status and Perspectives. | Joel Blasquez, Marten van Hulst, Andrea Fedeli, Jean-Luc Lambert, Dominique Borrione, Coby Hanoch, Pierre Bricaud |
| 1999 | FM | Software Verification Based on Linear Programming. | S. Dellacherie, Samuel Devulder, Jean-Luc Lambert |
| 1990 | STACS | Sorting the Sums (xi+yj) in O(n²) Comparisons. | Jean-Luc Lambert |