Synchronization mechanism of autonomous decentralized systems modelled by state machine decomposable nets. - Dong-Ik Lee; Sadatoshi Kumagai; Shinzo Kodama (ISADS, 1993)

Polynomial order algorithms for structural and behavioral analysis of state machine allocatable nets. - Dong-Ik Lee; Tadaaki Nishimura; Sadatoshi Kumagai; Shinzo Kodama (ISCAS, 1993)

Handles and Reachability Analysis of Free Choice Nets. - Dong-Ik Lee; Sadatoshi Kumagai; Shinzo Kodama (Application and Theory of Petri Nets, 1995)

Equivalent Net Abstraction and Firing Sequence Preservation. - Masato Nakagawa; Dong-Ik Lee; Sadatoshi Kumagai; Shinzo Kodama (ISCAS, 1995)

Practical Synthesis of Speed-Independent Circuits Using Unfoldings. - Uisok Kim; Dong-Ik Lee (ASP-DAC, 1998)

The Design of Delay Insensitive Asynchronous 16-bit Microprocessor. - Byung-Soo Choi; Dong-Wook Lee; Dong-Ik Lee (ASP-DAC, 1999)

X-MAS: Mobile Agent Platform for Workflow Systems with Time Constraints. - Jeong-Joon Yoo; Dong-Ik Lee (ISADS, 1999)

Automatic Process-Oriented Control Circuit Generation for Asynchronous High-Level Synthesis. - Euiseok Kim; Jeong-Gun Lee; Dong-Ik Lee (ASYNC, 2000)

Automatic distributed asynchronous control circuit generation from data flow graph for asynchronous high-level synthesis. - Euiseok Kim; Jeong-Gun Lee; Dong-Ik Lee (ISCAS, 2000)

Building a Distributed Asynchronous Control Unit through Automatic Derivation of Hierarchically Decomposed AFSMs from a CDFG. - Euiseok Kim; Jeong-Gun Lee; Dong-Ik Lee (ARVLSI, 2001)

Asynchronous Array Multiplier with an Asymmetric Parallel Array Structure. - Chan-Ho Park; Byung-Soo Choi; Dong-Ik Lee; Ho-Yong Choi (ARVLSI, 2001)

Imprecise data computation for high performance asynchronous processors. - Jeong-Gun Lee; Euiseok Kim; Dong-Ik Lee (ASP-DAC, 2001)

Casting Mobile Agents to Workflow Systems: On Performance and Scalability Issues. - Jeong-Joon Yoo; Young-Ho Suh; Dong-Ik Lee; Seung-Woog Jung; Choul-Soo Jang; Joong-Bae Kim (DEXA, 2001)

Data Protection in Mobile Agents: One-time Key-based Approach. - Jong-Youl Park; Dong-Ik Lee; HyungHyo Lee (ISADS, 2001)

A new resource constrained asynchronous scheduling method through transformation of dataflow graphs. - Euiseok Kim; Dong-Ik Lee (ISCAS (5), 2001)

Design of a Mobile Agent-Based Workflow Management System. - Young-Ho Suh; Han Namgoong; Jeong-Joon Yoo; Dong-Ik Lee (MATA, 2001)

Extended BLP Security Model Based on Process Reliability for Secure Linux Kernel. - Jung-Min Kang; Wook Shin; C.-G. Park; Dong-Ik Lee (PRDC, 2001)

Scalable Workflow System Model Based on Mobile Agents. - Jeong-Joon Yoo; Doheon Lee; Young-Ho Suh; Dong-Ik Lee (PRIMA, 2001)

High-Level Test Generation for Asynchronous Circuits from Signal Transition Graph. - Eunjung Oh; Soo-Hyun Kim; Dong-Ik Lee; Ho-Yong Choi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002)

Performance optimization of synchronous control units for datapaths with variable delay arithmetic units. - Euiseok Kim; Dong-Ik Lee; Hiroshi Saito; Hiroshi Nakamura; Jeong-Gun Lee; Takashi Nanya (ASP-DAC, 2003)

Distributed Synchronous Control Units for Dataflow Graphs under Allocation of Telescopic Arithmetic Units. - Euiseok Kim; Hiroshi Saito; Jeong-Gun Lee; Dong-Ik Lee; Hiroshi Nakamura; Takashi Nanya (DATE, 2003)

Extended Role Based Access Control and Procedural Restrictions. - Wook Shin; Dong-Ik Lee; Hyoung-Chun Kim; Jung-Min Kang; Jin-Seok Lee (ICISC, 2003)

High performance asynchronous bus for SoC. - Eun-Gu Jung; Byung-Soo Choi; Dong-Ik Lee (ISCAS (5), 2003)

Frequent Value Cache for Low-Power Asynchronous Dual-Rail Bus. - Byung-Soo Choi; Dong-Ik Lee (PATMOS, 2003)

Scalable Home Network Interaction Model Based on Mobile Agents. - Jeong-Joon Yoo; Dong-Ik Lee (PerCom, 2003)

Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations. - Dong-Hoon Yoo; Dong-Ik Lee; Jeong-A Lee (ICATPN, 2004)

Extended Role Based Access Control with Procedural Constraints for Trusted Operating Systems. - Wook Shin; Jong-Youl Park; Dong-Ik Lee (IEICE Trans. Inf. Syst., 2005)

Instruction level redundant number computations for fast data intensive processing in asynchronous processors. - Jeong-Gun Lee; Euiseok Kim; Dong-Ik Lee (J. Syst. Archit., 2005)