Hee-Hwan Kwak
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
1998–2009
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | VTC | A Linear-Complexity Burst Packing Scheme for IEEE 802.16e OFDMA Downlink Frames. | Jincao Zhu, Hyogon Kim, Hee-Hwan Kwak |
| 2002 | FMCAD | Simplifying Circuits for Formal Verification Using Parametric Representation. | In-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley |
| 2002 | ICCAD | Combinational equivalence checking through function transformation. | Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple |
| 2001 | FORTE | A Family of Resource-Bound Real-Time Process Algebras. | Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky |
| 1998 | RTSS | Symbolic Schedulability Analysis of Real-Time Systems. | Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky |
| 1998 | RTAS | Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study. | Oleg Sokolsky, Mohamed F. Younis, Insup Lee, Hee-Hwan Kwak, Jeffrey X. Zhou |