The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Shigeki Hagihara: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002