| 2007 |
|---|
| 5 | | Souhei Ito,
Shigeki Hagihara,
Naoki Yonezaki:
A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products.
EJC 2007: 290-297 |
| 2006 |
|---|
| 4 | EE | Souhei Ito,
Shigeki Hagihara,
Naoki Yonezaki:
An Operational Semantics of Program Dependence Graphs for Unstructured Programs.
ASIAN 2006: 264-271 |
| 2003 |
|---|
| 3 | EE | Ashraf Bhery,
Shigeki Hagihara,
Naoki Yonezaki:
A Formal System for Analysis of Cryptographic Encryption and Their Security Properties.
ISSS 2003: 87-112 |
| 2002 |
|---|
| 2 | EE | Etsuya Shibayama,
Shigeki Hagihara,
Naoki Kobayashi,
Shin-ya Nishizaki,
Kenjiro Taura,
Takuo Watanabe:
AnZenMail: A Secure and Certified E-mail System.
ISSS 2002: 201-216 |
| 1999 |
|---|
| 1 | | Shigeki Hagihara,
Naoki Yonezaki:
Resolution Method for Modal Logic with Well-Founded Frames.
CSL 1999: 277-291 |
