The SCEAS System
Navigation Menu

Search the dblp DataBase


Hee-Hwan Kwak: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. In-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley
    Simplifying Circuits for Formal Verification Using Parametric Representation. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2002, pp:52-69 [Conf]
  2. Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky
    A Family of Resource-Bound Real-Time Process Algebras. [Citation Graph (0, 0)][DBLP]
    FORTE, 2001, pp:443-458 [Conf]
  3. Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple
    Combinational equivalence checking through function transformation. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2002, pp:526-533 [Conf]
  4. Jin-Young Choi, Hee-Hwan Kwak, Insup Lee
    A Framework for Embedded Real-Time System Design. [Citation Graph (0, 0)][DBLP]
    IPDPS Workshops, 2000, pp:738-742 [Conf]
  5. Oleg 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. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 1998, pp:220-229 [Conf]
  6. Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky
    Symbolic Schedulability Analysis of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1998, pp:409-0 [Conf]
  7. Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky
    Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:25, n:, pp:- [Journal]
  8. Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky
    Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:1, pp:49-60 [Journal]

  9. A Linear-Complexity Burst Packing Scheme for IEEE 802.16e OFDMA Downlink Frames. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002