Shigeki Hagihara

发表

Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic

Souhei Ito, Naoko Izumi, Shigeki Hagihara, 2010, 2010 IEEE International Conference on BioInformatics and BioEngineering.

Formal Analysis of Gene Networks Using Network Motifs

Souhei Ito, Naoko Izumi, Shigeki Hagihara, 2013, BIOSTEC.

SAT-Based Bounded Strong Satisfiability Checking of Reactive System Specifications

Shigeki Hagihara, Naoki Yonezaki, Masaya Shimakawa, 2013, ICT-EurAsia.

Resolution Method for Modal Logic with Well-Founded Frames

Shigeki Hagihara, Naoki Yonezaki, 1999, CSL.

Qualitative analysis of gene regulatory networks by temporal logic

Souhei Ito, Naoko Izumi, Shigeki Hagihara, 2015, Theor. Comput. Sci..

A Characterization on Necessary Conditions of Realizability for Reactive System Specifications

Shigeki Hagihara, Naoki Yonezaki, Masaya Shimakawa, 2019, IEICE Trans. Inf. Syst..

Complexity of Checking Strong Satisfiability of Reactive System Specifications

Shigeki Hagihara, Naoki Yonezaki, Masaya Shimakawa, 2012, SPIT.

Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs

Souhei Ito, Shigeki Hagihara, Naoki Yonezaki, 2015, BIOINFORMATICS.

AN OBJECT-ORIENTED LANGUAGE FOR PARAMETERISED REACTIVE SYSTEM SPECIFICATION BASED ON LINEAR TEMPORAL LOGIC

Shigeki Hagihara, Naoki Yonezaki, Masaya Shimakawa, 2014 .

Efficiency of the strong satisfiability checking procedure for reactive system specifications

Shigeki Hagihara, Naoki Yonezaki, Masaya Shimakawa, 2018 .

Qualitative Analysis of Gene Regulatory Networks using Network Motifs

Souhei Ito, Naoko Izumi, Shigeki Hagihara, 2013, BIOINFORMATICS.

A Formal System for Analysis of Cryptographic Encryption and Their Security Properties

Shigeki Hagihara, Naoki Yonezaki, Ashraf Bhery, 2003, ISSS.

Compact speech decoder based on pure functional programming

Shigeki Hagihara, Sadaoki Furui, Masakazu Sekijima, 2011 .

A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products

Souhei Ito, Shigeki Hagihara, Naoki Yonezaki, 2007, EJC.

Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach

Souhei Ito, Shigeki Hagihara, Naoki Yonezaki, 2017, BIOINFORMATICS.

Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic

Shigeki Hagihara, Naoki Yonezaki, Kentaro Hayashi, 2020, ICSCA.

Modular analysis of gene networks by linear temporal logic

Souhei Ito, Naoko Izumi, Shigeki Hagihara, 2013, J. Integr. Bioinform..

Fast Translation from LTL to Büchi Automata via Non-transition-based Automata

Shigeki Hagihara, Naoki Yonezaki, Masaya Shimakawa, 2014, ICFEM.

Formulation of Homeostasis by Realisability on Linear Temporal Logic

Souhei Ito, Shigeki Hagihara, Naoki Yonezaki, 2014, BIOSTEC.

Modularization of formal specifications or efficient synthesis of reactive systems

Shigeki Hagihara, Naoki Yonezaki, Masaya Shimakawa, 2017, ICSCA '17.

AnZenMail: A Secure and Certified E-mail System

Shigeki Hagihara, Etsuya Shibayama, Shin-ya Nishizaki, 2002, ISSS.

Developing Embedded Systems from Formal Specifications Written in Temporal Logic

Shigeki Hagihara, Naoki Yonezaki, Masaya Shimakawa, 2013 .

Towards Efficient Implementation of Realizability Checking for Reactive System Specifications

Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki, 2019, ICSCA.

Minimal strongly unsatisfiable subsets of reactive system specifications

Shigeki Hagihara, Naoki Yonezaki, Masaya Shimakawa, 2014, ASE.

AN EFFICIENT IMPLEMENTATION OF SATISFIABILITY CHECKING FOR LTL WITH MEAN-PAYOFF CONSTRAINTS

Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki, 2016 .

A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking

Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki, 2011, INFINITY.

Complexity of Strong Satisfiability Problems for Reactive System Specifications

Shigeki Hagihara, Naoki Yonezaki, Masaya Shimakawa, 2013, IEICE Trans. Inf. Syst..

Bounded Strong Satisfiability Checking of Reactive System Specifications

Shigeki Hagihara, Naoki Yonezaki, Masaya Shimakawa, 2014, IEICE Trans. Inf. Syst..

Safraless LTL synthesis considering maximal realizability

Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki, 2016, Acta Informatica.

Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms

Souhei Ito, Shigeki Hagihara, Naoki Yonezaki, 2017, BIOSTEC.

A Qualitative Framework for Analysing Homeostasis in Gene Networks

Souhei Ito, Shigeki Hagihara, Naoki Yonezaki, 2014, BIOINFORMATICS.

Reducing Bounded Realizability Analysis to Reachability Checking

Shigeki Hagihara, Naoki Yonezaki, Masaya Shimakawa, 2015, RP.

Verification of Verifiability of Voting Protocols by Strand Space Analysis

Shigeki Hagihara, Naoki Yonezaki, Masaya Shimakawa, 2019, ICSCA.

Discussion of LTL Subsets for Efficient Verification

Shigeki Hagihara, Naoki Yonezaki, Masaya Shimakawa, 2017 .

Combining Unification and Rewriting in Proofs for Modal Logics with First-order Undefinable Frames

Shigeki Hagihara, Naoki Yonezaki, Masaya Shimakawa, 2017 .

An Operational Semantics of Program Dependence Graphs for Unstructured Programs

Souhei Ito, Shigeki Hagihara, Naoki Yonezaki, 2006, ASIAN.

A Temporal Logic with Mean-Payoff Constraints

Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki, 2012, ICFEM.

Web server access trend analysis based on the Poisson distribution

Shigeki Hagihara, Naoki Yonezaki, Masaya Shimakawa, 2017, ICSCA '17.

Simple Synthesis of Reactive Systems with Tolerance for Unexpected Environmental Behavior

Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki, 2016, 2016 IEEE/ACM 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE).

Simple synthesis of reactive systems with tolerance for unexpected environmental behavior

Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki, 2016, FormaliSE@ICSE.

Extracting Environmental Constraints to Make Reactive System Specifications Realizable

Shigeki Hagihara, Naoki Yonezaki, Masaya Shimakawa, 2009, 2009 16th Asia-Pacific Software Engineering Conference.

Efficient Realizability Checking by Modularization of LTL Specifications

Shigeki Hagihara, Naoki Yonezaki, Masaya Shimakawa, 2021, Comput. J..

Modular analysis of gene networks by linear temporal logic

Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki, 2013, Journal of integrative bioinformatics.

Completeness of a Deduction System for Relational Information between Ciphertexts Based on Probabilistic Computational Semantics

Shigeki Hagihara, Naoki Yonezaki, Hiroaki Oguro, 2012 .