Jae-Young Jang

	2011
5		Tae-Ho Kim, Jong-Seok Han, Sang-Soon Im, Jae-Young Jang, Jin-Ku Kang: A 4Gb/s adaptive FFE/DFE receiver with data-dependent jitter measurement. ESSCIRC 2011: 351-354
	2000
4		Jae-Young Jang, In-Ho Moon, Gary D. Hachtel: Iterative Abstraction-Based CTL Model Checking. DATE 2000: 502-507
	1998
3		In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley: Approximate reachability don't cares for CTL model checking. ICCAD 1998: 351-358
	1997
2		Jae-Young Jang, Shaz Qadeer, Matt Kaufmann, Carl Pixley: Formal Verification of FIRE: A Case Study. DAC 1997: 173-177
	1996
1		Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi: Tearing based automatic abstraction for CTL model checking. ICCAD 1996: 76-81

Coauthor Index

1	Gary D. Hachtel	[1] [3] [4]
2	Jong-Seok Han	[5]
3	Sang-Soon Im	[5]
4	Jin-Ku Kang	[5]
5	Matt Kaufmann	[2]
6	Tae-Ho Kim	[5]
7	Woohyuk Lee	[1]
8	In-Ho Moon	[3] [4]
9	Abelardo Pardo	[1]
10	Carl Pixley	[2] [3]
11	Shaz Qadeer	[2]
12	Fabio Somenzi	[1] [3]
13	Jun Yuan	[3]

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