dblp.uni-trier.dewww.uni-trier.de

Shigeki Hagihara

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
5 Souhei Ito, Shigeki Hagihara, Naoki Yonezaki: A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products. EJC 2007: 290-297
2006
4EESouhei Ito, Shigeki Hagihara, Naoki Yonezaki: An Operational Semantics of Program Dependence Graphs for Unstructured Programs. ASIAN 2006: 264-271
2003
3EEAshraf Bhery, Shigeki Hagihara, Naoki Yonezaki: A Formal System for Analysis of Cryptographic Encryption and Their Security Properties. ISSS 2003: 87-112
2002
2EEEtsuya 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

Coauthor Index

1Ashraf Bhery [3]
2Souhei Ito [4] [5]
3Naoki Kobayashi [2]
4Shin-ya Nishizaki [2]
5Etsuya Shibayama [2]
6Kenjiro Taura [2]
7Takuo Watanabe [2]
8Naoki Yonezaki [1] [3] [4] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)