Hee-Hwan Kwak Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJincao Zhu, Hyogon Kim, Hee-Hwan Kwak: A Linear-Complexity Burst Packing Scheme for IEEE 802.16e OFDMA Downlink Frames. VTC Spring 2009
2002
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIn-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley: Simplifying Circuits for Formal Verification Using Parametric Representation. FMCAD 2002: 52-69
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple: Combinational equivalence checking through function transformation. ICCAD 2002: 526-533
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHee-Hwan Kwak, Insup Lee, Oleg Sokolsky: Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP. Sci. Comput. Program. 42(1): 49-60 (2002)
2001
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInsup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky: A Family of Resource-Bound Real-Time Process Algebras. FORTE 2001: 443-458
2000
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJin-Young Choi, Hee-Hwan Kwak, Insup Lee: A Framework for Embedded Real-Time System Design. IPDPS Workshops 2000: 738-742
1999
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHee-Hwan Kwak, Insup Lee, Oleg Sokolsky: Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP. Electr. Notes Theor. Comput. Sci. 25: 38-49 (1999)
1998
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOleg Sokolsky, Mohamed F. Younis, Insup Lee, Hee-Hwan Kwak, Jeffrey X. Zhou: Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study. IEEE Real Time Technology and Applications Symposium 1998: 220-229
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky: Symbolic Schedulability Analysis of Real-Time Systems. IEEE Real-Time Systems Symposium 1998: 409-

Coauthor Index

1Jin-Young Choi [1] [4] [5]
2Hyogon Kim [9]
3James H. Kukula [7] [8]
4Insup Lee [1] [2] [3] [4] [5] [6]
5In-Ho Moon [7] [8]
6Anna Philippou [1] [5]
7Carl Pixley [8]
8Thomas R. Shiple [7] [8]
9Oleg Sokolsky [1] [2] [3] [5] [6]
10Mohamed F. Younis (Mohamed Younis) [2]
11Jeffrey X. Zhou [2]
12Jincao Zhu [9]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page