Hee-Jun Yoo

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2004

Answer Set Semantics for Prioritized Defaults Logic.

[DOI]

IEICE Trans. Inf. Syst., 2004

Formal Specification of Business Rules using Z.

Proceedings of the 2nd International Conference Computing, 2004

2003

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

[DOI]

Proceedings of the Parallel Computing Technologies, 2003