|
Search the dblp DataBase
Shigeki Hagihara:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Shigeki Hagihara, Naoki Yonezaki
Resolution Method for Modal Logic with Well-Founded Frames. [Citation Graph (0, 0)][DBLP] CSL, 1999, pp:277-291 [Conf]
- 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]
- 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]
Extracting Environmental Constraints to Make Reactive System Specifications Realizable. [Citation Graph (, )][DBLP]
An Operational Semantics of Program Dependence Graphs for Unstructured Programs. [Citation Graph (, )][DBLP]
Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic. [Citation Graph (, )][DBLP]
A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products. [Citation Graph (, )][DBLP]
Search in 0.022secs, Finished in 0.022secs
|