Search the dblp DataBase

Publications of Author

1. Shigeki Hagihara, Naoki Yonezaki
   Resolution Method for Modal Logic with Well-Founded Frames. [Citation Graph (0, 0)][DBLP]
   CSL, 1999, pp:277-291 [Conf]
   
2. Ashraf Bhery, Shigeki Hagihara, Naoki Yonezaki
   A Formal System for Analysis of Cryptographic Encryption and Their Security Properties. [Citation Graph (0, 0)][DBLP]
   ISSS, 2003, pp:87-112 [Conf]
   
3. Etsuya Shibayama, Shigeki Hagihara, Naoki Kobayashi, Shin-ya Nishizaki, Kenjiro Taura, Takuo Watanabe
   AnZenMail: A Secure and Certified E-mail System. [Citation Graph (0, 0)][DBLP]
   ISSS, 2002, pp:201-216 [Conf]
   
4. 
   Extracting Environmental Constraints to Make Reactive System Specifications Realizable. [Citation Graph (, )][DBLP]
   
   
5. 
   An Operational Semantics of Program Dependence Graphs for Unstructured Programs. [Citation Graph (, )][DBLP]
   
   
6. 
   Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic. [Citation Graph (, )][DBLP]
   
   
7. 
   A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products. [Citation Graph (, )][DBLP]