|
Search the dblp DataBase
Jang Dae Kim:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Shiu-Kai Chin, Jang Dae Kim
An Instruction Set Process Calculus. [Citation Graph (0, 0)][DBLP] FMCAD, 1998, pp:451-468 [Conf]
- Anand Chavan, Shiu-Kai Chin, Shahid Ikram, Jang Dae Kim, Juin-Yeu Zu
Extending VLSI design with higher-order logic. [Citation Graph (0, 0)][DBLP] ICCD, 1995, pp:85-0 [Conf]
- Juin-Yeu Joseph Lu, Jang Dae Kim, Shiu-Kai Chin
Hardware Composition with Hardware Flowcharts and Process Algebras. [Citation Graph (0, 0)][DBLP] ICECCS, 1996, pp:352-0 [Conf]
- Jang Dae Kim, Shiu-Kai Chin
Formal Verification of Serial Pipeline Multipliers. [Citation Graph (0, 0)][DBLP] TPHOLs, 1995, pp:229-244 [Conf]
Search in 0.001secs, Finished in 0.001secs
|