Resolution Method for Modal Logic with Well-Founded Frames. - Shigeki Hagihara; Naoki Yonezaki (CSL, 1999)

AnZenMail: A Secure and Certified E-mail System. - Etsuya Shibayama; Shigeki Hagihara; Naoki Kobayashi 001; Shin-ya Nishizaki; Kenjiro Taura; Takuo Watanabe (ISSS, 2002)

A Formal System for Analysis of Cryptographic Encryption and Their Security Properties. - Ashraf Bhery; Shigeki Hagihara; Naoki Yonezaki (ISSS, 2003)

An Operational Semantics of Program Dependence Graphs for Unstructured Programs. - Souhei Ito; Shigeki Hagihara; Naoki Yonezaki (ASIAN, 2006)

A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products. - Souhei Ito; Shigeki Hagihara; Naoki Yonezaki (EJC, 2007)

Extracting Environmental Constraints to Make Reactive System Specifications Realizable. - Shigeki Hagihara; Yusuke Kitamura; Masaya Shimakawa; Naoki Yonezaki (APSEC, 2009)

Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic. - Sohei Ito; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (BIBE, 2010)

A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking - Takashi Tomita; Shigeki Hagihara; Naoki Yonezaki (INFINITY, 2011)

A Temporal Logic with Mean-Payoff Constraints. - Takashi Tomita; Shin Hiura; Shigeki Hagihara; Naoki Yonezaki (ICFEM, 2012)

Complexity of Checking Strong Satisfiability of Reactive System Specifications. - Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (SPIT, 2012)

Qualitative Analysis of Gene Regulatory Networks using Network Motifs. - Sohei Ito; Takuma Ichinose; Masaya Shimakawa; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (BIOINFORMATICS, 2013)

Formal Analysis of Gene Networks Using Network Motifs. - Sohei Ito; Takuma Ichinose; Masaya Shimakawa; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (BIOSTEC (Selected Papers), 2013)

SAT-Based Bounded Strong Satisfiability Checking of Reactive System Specifications. - Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (ICT-EurAsia, 2013)

Complexity of Strong Satisfiability Problems for Reactive System Specifications. - Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (IEICE Trans. Inf. Syst., 2013)

Modular analysis of gene networks by linear temporal logic. - Sohei Ito; Takuma Ichinose; Masaya Shimakawa; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (J. Integr. Bioinform., 2013)

A Qualitative Framework for Analysing Homeostasis in Gene Networks. - Souhei Ito; Shigeki Hagihara; Naoki Yonezaki (BIOINFORMATICS, 2014)

Formulation of Homeostasis by Realisability on Linear Temporal Logic. - Sohei Ito; Shigeki Hagihara; Naoki Yonezaki (BIOSTEC (Selected Papers), 2014)

Fast Translation from LTL to Büchi Automata via Non-transition-based Automata. - Shohei Mochizuki; Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (ICFEM, 2014)

Minimal strongly unsatisfiable subsets of reactive system specifications. - Shigeki Hagihara; Naoki Egawa; Masaya Shimakawa; Naoki Yonezaki (ASE, 2014)

Bounded Strong Satisfiability Checking of Reactive System Specifications. - Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (IEICE Trans. Inf. Syst., 2014)

Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs. - Sohei Ito; Shigeki Hagihara; Naoki Yonezaki (BIOINFORMATICS, 2015)

Reducing Bounded Realizability Analysis to Reachability Checking. - Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (RP, 2015)

Qualitative analysis of gene regulatory networks by temporal logic. - Sohei Ito; Takuma Ichinose; Masaya Shimakawa; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (Theor. Comput. Sci., 2015)

Simple synthesis of reactive systems with tolerance for unexpected environmental behavior. - Shigeki Hagihara; Atsushi Ueno; Takashi Tomita; Masaya Shimakawa; Naoki Yonezaki (FormaliSE@ICSE, 2016)

Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach. - Sohei Ito; Kenji Osari; Shigeki Hagihara; Naoki Yonezaki (BIOINFORMATICS, 2017)

Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms. - Sohei Ito; Kenji Osari; Shigeki Hagihara; Naoki Yonezaki (BIOSTEC (Selected Papers), 2017)

Web server access trend analysis based on the Poisson distribution. - Shigeki Hagihara; Yoshiharu Fushihara; Masaya Shimakawa; Masahiko Tomoishi; Naoki Yonezaki (ICSCA, 2017)

Modularization of formal specifications or efficient synthesis of reactive systems. - Masaya Shimakawa; Kenji Osari; Shigeki Hagihara; Naoki Yonezaki (ICSCA, 2017)

Safraless LTL synthesis considering maximal realizability. - Takashi Tomita; Atsushi Ueno; Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (Acta Informatica, 2017)

Verification of Verifiability of Voting Protocols by Strand Space Analysis. - Shigeki Hagihara; Masaya Shimakawa; Naoki Yonezaki (ICSCA, 2019)

Towards Efficient Implementation of Realizability Checking for Reactive System Specifications. - Masaya Shimakawa; Atsushi Ueno; Shohei Mochizuki; Takashi Tomita; Shigeki Hagihara; Naoki Yonezaki (ICSCA, 2019)

Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic. - Masaya Shimakawa; Kentaro Hayashi; Shigeki Hagihara; Naoki Yonezaki (ICSCA, 2020)

Efficient Realizability Checking by Modularization of LTL Specifications. - Sohei Ito; Kenji Osari; Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (Comput. J., 2022)

Sequential ambulance dispatch models for optimizing emergency medical services. - Yujiro Kawasaki; Shigeki Hagihara; Jun'ichi Miki (JSIAM Lett., 2022)

A Characterization on Necessary Conditions of Realizability for Reactive System Specifications. - Takashi Tomita; Shigeki Hagihara; Masaya Shimakawa; Naoki Yonezaki (IEICE Trans. Inf. Syst., 2022)