| 2007 |
|---|
| 4 | EE | Bing Li,
Junichi Iijima:
A Hybrid Approach for Business Process Verification.
CONFENIS (1) 2007: 1-9 |
| 3 | EE | Xiaojun Ding,
Junichi Iijima:
Toward a Logical Architecture for Situation Dependent Information Services with Surrounding Awareness.
GCC 2007: 871-877 |
| 2 | | Bing Li,
Junichi Iijima:
Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification.
MSVVEIS 2007: 151-156 |
| 1 | EE | Junichi Iijima,
Sho Ho:
Common structure and properties of filtering systems.
Electronic Commerce Research and Applications 6(2): 139-145 (2007) |
