| 2008 |
| 5 | EE | Jingyu Nam,
Hyunwoo Kim,
Dongmin Shin,
Jaeil Park:
A Formal Model of Coordination for Supporting Community Computing in a Ubiquitous Environment.
APCHI 2008: 11-20 |
| 4 | EE | Jaeil Park,
Haining Lee,
Peom Park,
Dongmin Shin:
Development of a WS-ECA Rule Management System for a Healthcare Robot.
APCHI 2008: 149-156 |
| 3 | EE | Haining Lee,
Jaeil Park,
Peom Park,
Dongmin Shin:
Specifying a WS-ECA Working Framework for Ubiquitous Web Services in Object-Process Methodology.
JDCTA 2(1): 51-60 (2008) |
| 2007 |
| 2 | EE | Haining Lee,
Jaeil Park,
Peom Park,
Myungchul Jung,
Dongmin Shin:
Dynamic Conflict Detection and Resolution in a Human-Centered Ubiquitous Environment.
HCI (6) 2007: 132-140 |
| 2006 |
| 1 | EE | Devinder Thapa,
Jaeil Park,
Gi-Nam Wang,
Dongmin Shin:
Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller.
CIMCA/IAWTIC 2006: 101 |