Jae-Young Jang

11 papers A* 1A 3Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2023 J jnl
Lensless Three-Dimensional Imaging under Photon-Starved Conditions.
Sensors
Jae-Young Jang, Myungjin Cho
2021 J jnl
Computational Three-Dimensional Imaging System via Diffraction Grating Imaging with Multiple Wavelengths.
Sensors
Jae-Young Jang, Hoon Yoo
2020 J jnl
Image Enhancement of Computational Reconstruction in Diffraction Grating Imaging Using Multiple Parallax Image Arrays.
Sensors
Jae-Young Jang, Hoon Yoo
2016 — conf
Analysis of Characteristics of Video Quality for Unequal Loss Protection in Wi-Fi Based Broadcasting System.
ICITCS
Dong-Hyun Kim, Jae-Young Jang, Jong-Deok Kim
2016 — conf
Efficient Sink Location Service for prolonging the network lifetime in wireless sensor networks.
CCNC
Jeongcheol Lee, Jae-Young Jang, Euisin Lee, Sang-Ha Kim, Mario Gerla
2012 — conf
A 60 to 200MHz SSCG with approximate Hershey-Kiss modulation profile in 0.11µm CMOS.
ISOCC
Seung-Wook Oh, Hyung-Min Park, Joon-Hyup Seo, Jae-Young Jang, Gi-Yeol Bae, Jin-Ku Kang
2011 — conf
A 4Gb/s adaptive FFE/DFE receiver with data-dependent jitter measurement.
ESSCIRC
Tae-Ho Kim, Jong-Seok Han, Sang-Soon Im, Jae-Young Jang, Jin-Ku Kang
2000 A conf
Iterative Abstraction-Based CTL Model Checking.
DATE
Jae-Young Jang, In-Ho Moon, Gary D. Hachtel
1998 A conf
Approximate reachability don't cares for CTL model checking.
ICCAD
In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley
1997 A* conf
Formal Verification of FIRE: A Case Study.
DAC
Jae-Young Jang, Shaz Qadeer, Matt Kaufmann, Carl Pixley
1996 A conf
Tearing based automatic abstraction for CTL model checking.
ICCAD
Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi