Joonyoung Kim

	2011
5		Tae-Hyun Kim, Min-Su Jegal, Joonyoung Kim, Jae-Hwan Choe, Sung-Rak Kim: Dynamic modeling of flexible glass substrate transfer robot arm and meandering estimation. ICRA 2011
	2001
4		Jesse Whittemore, Joonyoung Kim, Karem A. Sakallah: SATIRE: A New Incremental Satisfiability Engine. DAC 2001: 542-545
	2000
3		Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah, João P. Marques Silva: On Applying Incremental Satisfiability to Delay Fault Testing. DATE 2000: 380-384
2		Joonyoung 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

1	Jae-Hwan Choe	[5]
2	Min-Su Jegal	[5]
3	Sung-Rak Kim	[5]
4	Tae-Hyun Kim	[5]
5	Karem A. Sakallah	[1] [2] [3] [4]
6	João P. Marques Silva (João Marques-Silva)	[1] [3]
7	Jesse Whittemore	[2] [3] [4]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page