dblp.uni-trier.dewww.uni-trier.de

Joonyoung Kim

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
4EEJesse Whittemore, Joonyoung Kim, Karem A. Sakallah: SATIRE: A New Incremental Satisfiability Engine. DAC 2001: 542-545
2000
3EEJoonyoung Kim, Jesse Whittemore, Karem A. Sakallah, João P. Marques Silva: On Applying Incremental Satisfiability to Delay Fault Testing. DATE 2000: 380-384
2EEJoonyoung Kim, Jesse Whittemore, Karem A. Sakallah: On Solving Stack-Based Incremental Satisfiability Problems. ICCD 2000: 379-382
1999
1 Joonyoung Kim, João P. Marques Silva, Karem A. Sakallah: Satisfiability-Based Functional Delay Fault Testing. VLSI 1999: 362-372

Coauthor Index

1Karem A. Sakallah [1] [2] [3] [4]
2João P. Marques Silva (João Marques-Silva) [1] [3]
3Jesse Whittemore [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)