Hee-Jun Yoo

According to our database, Hee-Jun Yoo authored at least 3 papers between 2003 and 2004.

Collaborative distances:

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

2004

Answer Set Semantics for Prioritized Defaults Logic.

Hee-Jun Yoo, Mino Bai, Jin-Young Choi

IEICE Trans. Inf. Syst., 2004

Formal Specification of Business Rules using Z.

Hee-Jun Yoo, Jin-Young Choi, Mino Bai

Proceedings of the 2nd International Conference Computing, 2004

2003

Process Algebraic Model of Superscalar Processor Programs for Instruction Level Timing Analysis.

Hee-Jun Yoo, Jin-Young Choi

Proceedings of the Parallel Computing Technologies, 2003