Shigeki Hagihara

38 papers A* 1B 1C 5Journal 8Unranked 23
YearRankTypeTitle / Venue / Authors
2025 — conf
A ResNet-Aided Two-Stage DoA Estimation Technique for Multiuser SIMO Systems.
APWCS
Haruta Inoue, Yasuhiro Takano, Hsuan-Jung Su, Yoshiaki Shiraishi, Shigeki Hagihara
2025 — conf
Design and Implementation of a Compact Educational Blockchain System to Aid Understanding of System Integrity and Behavior.
ICSCA
Kengo Matsui, Shigeki Hagihara
2025 — conf
Evaluation Criteria for Explainable AI in Intrusion Detection to Ensure the Creation of High-Quality Threat Intelligence.
ICSCA
Noriyoshi Ozawa, Satoru Sunahara, Shigeki Hagihara
2022 J jnl
A Characterization on Necessary Conditions of Realizability for Reactive System Specifications.
IEICE Trans. Inf. Syst.
Takashi Tomita, Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki
2022 J jnl
Efficient Realizability Checking by Modularization of LTL Specifications.
Comput. J.
Sohei Ito, Kenji Osari, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2022 J jnl
Sequential ambulance dispatch models for optimizing emergency medical services.
JSIAM Lett.
Yujiro Kawasaki, Shigeki Hagihara, Jun'ichi Miki
2020 — conf
Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic.
ICSCA
Masaya Shimakawa, Kentaro Hayashi, Shigeki Hagihara, Naoki Yonezaki
2019 — conf
Towards Efficient Implementation of Realizability Checking for Reactive System Specifications.
ICSCA
Masaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki
2019 — conf
Verification of Verifiability of Voting Protocols by Strand Space Analysis.
ICSCA
Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki
2017 — conf
Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms.
BIOSTEC (Selected Papers)
Sohei Ito, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki
2017 — conf
Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach.
BIOINFORMATICS
Sohei Ito, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki
2017 — conf
Modularization of formal specifications or efficient synthesis of reactive systems.
ICSCA
Masaya Shimakawa, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki
2017 J jnl
Safraless LTL synthesis considering maximal realizability.
Acta Informatica
Takashi Tomita, Atsushi Ueno, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2017 — conf
Web server access trend analysis based on the Poisson distribution.
ICSCA
Shigeki Hagihara, Yoshiharu Fushihara, Masaya Shimakawa, Masahiko Tomoishi, Naoki Yonezaki
2016 — conf
Simple synthesis of reactive systems with tolerance for unexpected environmental behavior.
FormaliSE@ICSE
Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki
2015 — conf
Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs.
BIOINFORMATICS
Sohei Ito, Shigeki Hagihara, Naoki Yonezaki
2015 J jnl
Qualitative analysis of gene regulatory networks by temporal logic.
Theor. Comput. Sci.
Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
2015 — conf
Reducing Bounded Realizability Analysis to Reachability Checking.
RP
Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2014 — conf
A Qualitative Framework for Analysing Homeostasis in Gene Networks.
BIOINFORMATICS
Souhei Ito, Shigeki Hagihara, Naoki Yonezaki
2014 J jnl
Bounded Strong Satisfiability Checking of Reactive System Specifications.
IEICE Trans. Inf. Syst.
Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2014 C conf
Fast Translation from LTL to Büchi Automata via Non-transition-based Automata.
ICFEM
Shohei Mochizuki, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2014 — conf
Formulation of Homeostasis by Realisability on Linear Temporal Logic.
BIOSTEC (Selected Papers)
Sohei Ito, Shigeki Hagihara, Naoki Yonezaki
2014 A* conf
Minimal strongly unsatisfiable subsets of reactive system specifications.
ASE
Shigeki Hagihara, Naoki Egawa, Masaya Shimakawa, Naoki Yonezaki
2013 J jnl
Complexity of Strong Satisfiability Problems for Reactive System Specifications.
IEICE Trans. Inf. Syst.
Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2013 — conf
Formal Analysis of Gene Networks Using Network Motifs.
BIOSTEC (Selected Papers)
Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
2013 J jnl
Modular analysis of gene networks by linear temporal logic.
J. Integr. Bioinform.
Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
2013 — conf
Qualitative Analysis of Gene Regulatory Networks using Network Motifs.
BIOINFORMATICS
Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
2013 — conf
SAT-Based Bounded Strong Satisfiability Checking of Reactive System Specifications.
ICT-EurAsia
Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2012 C conf
A Temporal Logic with Mean-Payoff Constraints.
ICFEM
Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki
2012 — conf
Complexity of Checking Strong Satisfiability of Reactive System Specifications.
SPIT
Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2011 — conf
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking
INFINITY
Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki
2010 C conf
Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic.
BIBE
Sohei Ito, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
2009 C conf
Extracting Environmental Constraints to Make Reactive System Specifications Realizable.
APSEC
Shigeki Hagihara, Yusuke Kitamura, Masaya Shimakawa, Naoki Yonezaki
2007 C conf
A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products.
EJC
Souhei Ito, Shigeki Hagihara, Naoki Yonezaki
2006 — conf
An Operational Semantics of Program Dependence Graphs for Unstructured Programs.
ASIAN
Souhei Ito, Shigeki Hagihara, Naoki Yonezaki
2003 — conf
A Formal System for Analysis of Cryptographic Encryption and Their Security Properties.
ISSS
Ashraf Bhery, Shigeki Hagihara, Naoki Yonezaki
2002 — conf
AnZenMail: A Secure and Certified E-mail System.
ISSS
Etsuya Shibayama, Shigeki Hagihara, Naoki Kobayashi, Shin-ya Nishizaki, Kenjiro Taura, Takuo Watanabe
1999 B conf
Resolution Method for Modal Logic with Well-Founded Frames.
CSL
Shigeki Hagihara, Naoki Yonezaki