![]() |
| 2005 | ||
|---|---|---|
| 2 | EE | Philippe Royannez, Hugh Mair, Franck Dahan, Mike Wagner, Mark Streeter, Laurent Bouetel, Joel Blasquez, H. Clasen, G. Semino, Julie Dong, D. Scott, B. Pitts, Claudine Raibaut, Uming Ko: A design platform for 90-nm leakage reduction techniques. DAC 2005: 549-550 |
| 2002 | ||
| 1 | EE | 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 |
| 1 | Dominique Borrione | [1] |
| 2 | Laurent Bouetel | [2] |
| 3 | Pierre Bricaud | [1] |
| 4 | H. Clasen | [2] |
| 5 | Franck Dahan | [2] |
| 6 | Julie Dong | [2] |
| 7 | Andrea Fedeli | [1] |
| 8 | Coby Hanoch | [1] |
| 9 | Marten van Hulst | [1] |
| 10 | Uming Ko | [2] |
| 11 | Jean-Luc Lambert | [1] |
| 12 | Hugh Mair | [2] |
| 13 | B. Pitts | [2] |
| 14 | Claudine Raibaut | [2] |
| 15 | Philippe Royannez | [2] |
| 16 | D. Scott | [2] |
| 17 | G. Semino | [2] |
| 18 | Mark Streeter | [2] |
| 19 | Mike Wagner | [2] |