T. Shiple
发表
R. Brayton,
A. Sangiovanni-Vincentelli,
S. Malik,
1991
.
T. Shiple,
1996
.
A. Sangiovanni-Vincentelli,
T. Shiple,
1996
.
R. Brayton,
A. Sangiovanni-Vincentelli,
M. Chiodo,
1992,
1992 IEEE/ACM International Conference on Computer-Aided Design.
Tiziano Villa,
Stephen A. Edwards,
Szu-Tsung Cheng,
1996,
CAV.
Adnan Aziz,
Thomas R. Shiple,
Vigyan Singhal,
1994,
CAV.
R. Brayton,
A. Sangiovanni-Vincentelli,
G. Hachtel,
2021
.
G. Berry,
Michael Mendler,
T. Shiple,
2012,
Formal Methods in System Design.
Thomas R. Shiple,
Gérard Berry,
Hervé J. Touati,
1996,
Proceedings ED&TC European Design and Test Conference.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Adnan Aziz,
1994,
CAV.
Szu-Tsung Cheng,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
1994,
31st Design Automation Conference.
In-Ho Moon,
Carl Pixley,
Thomas R. Shiple,
2002,
FMCAD.
Helmut Veith,
Somesh Jha,
Dong Wang,
2001,
IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).
Adnan Aziz,
Thomas R. Shiple,
James H. Kukula,
2001,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Jiang Long,
Valeria Bertacco,
Kevin Harer,
2000,
IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).
Thomas R. Shiple,
James H. Kukula,
J. Kukula,
2000,
CAV.
In-Ho Moon,
Thomas R. Shiple,
Fabio Somenzi,
1999,
1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).
Adnan Aziz,
Thomas R. Shiple,
James H. Kukula,
1998,
Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
Kenneth L. McMillan,
Kavita Ravi,
Thomas R. Shiple,
1998,
Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
Michael Mendler,
Thomas R. Shiple,
Gérard Berry,
2012,
Formal Methods Syst. Des..
R.K. Brayton,
T.R. Shiple,
V. Singhal,
1996,
1996 IEEE International Symposium on Circuits and Systems. Circuits and Systems Connecting the World. ISCAS 96.
Thomas R. Shiple,
James H. Kukula,
Rajeev K. Ranjan,
1998,
CAV.
Adnan Aziz,
Thomas R. Shiple,
James H. Kukula,
1998,
FMCAD.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Massimiliano Chiodo,
1992,
CAV.
Massoud Pedram,
Jui-Ming Chang,
F. Somenzi,
1999
.