James H. Kukula

发表

Per Bjesse, James H. Kukula, Robert F. Damiano, 2003, SAT.
James H. Kukula, Yunshan Zhu, 2003, ICCAD 2003.
Adnan Aziz, Thomas R. Shiple, James H. Kukula, 1998, FMCAD.
In-Ho Moon, Thomas R. Shiple, James H. Kukula, 2002, IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002..
Thomas R. Shiple, James H. Kukula, Rajeev K. Ranjan, 1998, CAV.
In-Ho Moon, Kavita Ravi, Fabio Somenzi, 2000, DAC.
Randal E. Bryant, James H. Kukula, R. Bryant, 2003 .
James H. Kukula, Yunshan Zhu, 2003, ICCAD.
Per Bjesse, James H. Kukula, J. Kukula, 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..
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).
José C. Monteiro, Srinivas Devadas, Horácio C. Neto, 1994, Proceedings of 7th International Conference on VLSI Design.
In-Ho Moon, Carl Pixley, Thomas R. Shiple, 2002, FMCAD.
In-Ho Moon, Fabio Somenzi, James H. Kukula, 2007 .
Helmut Veith, Somesh Jha, Dong Wang, 2001, CHARME.
Adnan Aziz, Thomas R. Shiple, James H. Kukula, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
Ofer Strichman, Edmund M. Clarke, James H. Kukula, 2002, CAV.
Dong Wang, Edmund M. Clarke, James H. Kukula, 2001, Sixth IEEE International High-Level Design Validation and Test Workshop.
James H. Kukula, Yunshan Zhu, 2003 .
James H. Kukula, Robert F. Damiano, J. Kukula, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
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).
Thomas R. Shiple, James H. Kukula, J. Kukula, 2000, CAV.
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).
Jiang Long, Dong Wang, James H. Kukula, 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
Adnan Aziz, Thomas R. Shiple, James H. Kukula, 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Per Bjesse, James H. Kukula, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.
Kurt Antreich, James H. Kukula, Robert F. Damiano, 2002, DAC '02.
In-Ho Moon, Thomas R. Shiple, James H. Kukula, 2002, ICCAD 2002.