| 2012 |
J |
jnl |
Formal Methods Syst. Des.
Michael Mendler, Thomas R. Shiple, Gérard Berry
|
| 2011 |
— |
conf |
ISQED
Stephen M. Plaza, Prashant Saxena, Thomas R. Shiple, Pei-Hsin Ho
|
| 2002 |
A |
conf |
ICCAD
Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple
|
| 2002 |
J |
jnl |
Formal Methods Syst. Des.
Adnan Aziz, Thomas R. Shiple, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
|
| 2002 |
B |
conf |
FMCAD
In-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley
|
| 2001 |
J |
jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Adnan Aziz, James H. Kukula, Thomas R. Shiple, Jun Yuan
|
| 2001 |
A |
conf |
ICCAD
Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang
|
| 2000 |
A* |
conf |
CAV
James H. Kukula, Thomas R. Shiple
|
| 2000 |
A |
conf |
ICCAD
Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long
|
| 1999 |
A |
conf |
ICCAD
In-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi
|
| 1998 |
A* |
conf |
CAV
Thomas R. Shiple, James H. Kukula, Rajeev K. Ranjan
|
| 1998 |
A* |
conf |
DAC
Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple, Fabio Somenzi
|
| 1998 |
A* |
conf |
DAC
Adnan Aziz, James H. Kukula, Thomas R. Shiple
|
| 1998 |
B |
conf |
FMCAD
James H. Kukula, Thomas R. Shiple, Adnan Aziz
|
| 1996 |
— |
conf |
ED&TC
Thomas R. Shiple, Gérard Berry, Hervé J. Touati
|
| 1996 |
B |
conf |
FMCAD
Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa
|
| 1996 |
A* |
conf |
CAV
Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa
|
| 1994 |
A* |
conf |
CAV
Adnan Aziz, Thomas R. Shiple, Vigyan Singhal
|
| 1994 |
A* |
conf |
DAC
Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
|
| 1994 |
A* |
conf |
DAC
Thomas R. Shiple, Ramin Hojati, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton
|
| 1994 |
C |
conf |
ICCD
Kevin Covey, Sandra Murdock, Thomas R. Shiple
|
| 1993 |
A* |
conf |
DAC
Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan
|
| 1992 |
A* |
conf |
CAV
Thomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton
|
| 1992 |
A |
conf |
ICCAD
Massimiliano Chiodo, Thomas R. Shiple, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton
|
| 1989 |
A |
conf |
ICCAD
Antun Domic, Samuel Levitin, Nathan Phillips, Channeary Thai, Thomas R. Shiple, Dilip Bhavsar, Clint Bissel
|