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] |