 | 2011 |
|---|
| 8 |       | Takashi Tomita,
Shigeki Hagihara,
Naoki Yonezaki:
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking
INFINITY 2011: 79-93 |
| 2010 |
|---|
| 7 | | Sohei Ito,
Naoko Izumi,
Shigeki Hagihara,
Naoki Yonezaki:
Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic.
BIBE 2010: 232-237 |
| 2009 |
|---|
| 6 | | Shigeki Hagihara,
Yusuke Kitamura,
Masaya Shimakawa,
Naoki Yonezaki:
Extracting Environmental Constraints to Make Reactive System Specifications Realizable.
APSEC 2009: 61-68 |
| 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 | | Souhei Ito,
Shigeki Hagihara,
Naoki Yonezaki:
An Operational Semantics of Program Dependence Graphs for Unstructured Programs.
ASIAN 2006: 264-271 |
| 2003 |
|---|
| 3 | | Ashraf Bhery,
Shigeki Hagihara,
Naoki Yonezaki:
A Formal System for Analysis of Cryptographic Encryption and Their Security Properties.
ISSS 2003: 87-112 |
| 2002 |
|---|
| 2 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page