Jang Dae Kim

According to our database, Jang Dae Kim authored at least 4 papers between 1995 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1998

An Instruction Set Process Calculus.

Shiu-Kai Chin, Jang Dae Kim

Proceedings of the Formal Methods in Computer-Aided Design, 1998

1996

Hardware Composition with Hardware Flowcharts and Process Algebras.

Juin-Yeu Joseph Lu, Jang Dae Kim, Shiu-Kai Chin

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

1995

Formal Verification of Serial Pipeline Multipliers.

Jang Dae Kim, Shiu-Kai Chin

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

Extending VLSI design with higher-order logic.

Anand Chavan, Shiu-Kai Chin, Shahid Ikram, Jang Dae Kim, Juin-Yeu Zu

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995