Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Shigeki Hagihara
Observed names:
Hagihara, Shigeki,
S. Hagihara,
Shigeki HAGIHARA
Institutions:
Chitose Institute of Science and Technology,
University of the Philippines Diliman
Observed institutions:
Tokyo Institute of Technology,
Chitose Institute of Science and Technology,
Tohoku University of Community Service and Science,
University of the Philippines Diliman
ORCID:
0000-0002-9094-6398
Observed ORCID:
0000-0002-9094-6398
OpenAlex ID:
A5088859890
Works
204
Awards
2
Safraless LTL synthesis considering maximal realizability
2016
·
Takashi Tomita
, Atsushi Ueno
, et al.
·
Acta Informatica
·
24
PDF
A Temporal Logic with Mean-Payoff Constraints
2012
·
Takashi Tomita
, Shin Hiura
, et al.
·
Lecture notes in computer science
·
16
Extracting Environmental Constraints to Make Reactive System Specifications Realizable
2009
·
Shigeki Hagihara
, Yusuke Kitamura
, et al.
·
Asia-Pacific Software Engineering Conference (APSEC)
·
14
Qualitative analysis of gene regulatory networks by temporal logic
2015
·
Sohei Ito
, Takuma Ichinose
, et al.
·
Theoretical Computer Science
·
12
PDF
Complexity of Strong Satisfiability Problems for Reactive System Specifications
2013
·
Masaya SHIMAKAWA
, Shigeki HAGIHARA
, et al.
·
IEICE Transactions on Information and Systems
·
12
PDF
Modular analysis of gene networks by linear temporal logic
2013
·
Sohei Ito
, Takuma Ichinose
, et al.
·
Berichte aus der medizinischen Informatik und Bioinformatik/Journal of integrative bioinformatics
·
11
PDF
Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic
2010
·
Sohei Ito
, Naoko Izumi
, et al.
·
IEEE International Conference on Bioinformatics and Bioengineering (BIBE)
·
11
Minimal strongly unsatisfiable subsets of reactive system specifications
2014
·
Shigeki Hagihara
, Naoki Egawa
, et al.
·
IEEE/ACM International Conference on Automated Software Engineering (ASE)
·
10
PDF
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking
2011
·
Takashi Tomita
, Shigeki Hagihara
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
9
Simple synthesis of reactive systems with tolerance for unexpected environmental behavior
2016
·
Shigeki Hagihara
, Atsushi Ueno
, et al.
·
IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE)
·
8
Bounded Strong Satisfiability Checking of Reactive System Specifications
2014
·
Masaya SHIMAKAWA
, Shigeki HAGIHARA
, et al.
·
IEICE Transactions on Information and Systems
·
7
PDF
Reducing Bounded Realizability Analysis to Reachability Checking
2015
·
Masaya Shimakawa
, Shigeki Hagihara
, et al.
·
Lecture notes in computer science
·
6
A Formal System for Analysis of Cryptographic Encryption and Their Security Properties
2004
·
Ashraf Bhery
, Shigeki Hagihara
, et al.
·
Lecture notes in computer science
·
6
AnZenMail: A Secure and Certified E-mail System
2003
·
Etsuya Shibayama
, Shigeki Hagihara
, et al.
·
Lecture notes in computer science
·
6
Web server access trend analysis based on the Poisson distribution
2017
·
Shigeki Hagihara
, Yoshiharu Fushihara
, et al.
·
International Conference on Software and Computer Applications (ICSCA)
·
5
Complexity of Checking Strong Satisfiability of Reactive System Specifications
2014
·
Masaya Shimakawa
, Shigeki Hagihara
, et al.
·
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
·
5
A formal analysis of symmetric encryption and keyed hash function
2006
·
A. Bhery
, S. Hagihara
, et al.
·
IEEE International Midwest Symposium on Circuits and Systems (MWSCAS)
·
5
Fast Translation from LTL to Büchi Automata via Non-transition-based Automata
2014
·
Shohei Mochizuki
, Masaya Shimakawa
, et al.
·
Lecture notes in computer science
·
4
SAT–Based Bounded Strong Satisfiability Checking of Reactive System Specifications
2013
·
Masaya Shimakawa
, Shigeki Hagihara
, et al.
·
Lecture notes in computer science
·
4
PDF
Qualitative Analysis of Gene Regulatory Networks using Network Motifs
2013
·
Sohei Ito
, Takuma Ichinose
, et al.
·
International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS)
·
4
Efficiency of the strong satisfiability checking procedure for reactive system specifications
2018
·
Masaya Shimakawa
, Shigeki Hagihara
, et al.
·
AIP conference proceedings
·
3
Modularization of formal specifications or efficient synthesis of reactive systems
2017
·
Masaya Shimakawa
, Kenji Osari
, et al.
·
International Conference on Software and Computer Applications (ICSCA)
·
3
Formal Analysis of Gene Networks Using Network Motifs
2014
·
Sohei Ito
, Takuma Ichinose
, et al.
·
Communications in computer and information science
·
3
A ResNet-Aided Two-Stage DoA Estimation Technique for Multiuser SIMO Systems
2025
·
Haruta Inoue
, Yasuhiro Takano
, et al.
·
IEEE VTS Asia Pacific Wireless Communications Symposium (APWCS)
·
2
A Qualitative Framework for Analysing Homeostasis in Gene Networks
2014
·
Sohei Ito
, Shigeki Hagihara
, et al.
·
International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS)
·
2
Show more works
View as search
Works count:
204
Citation count:
212
H-index:
9
I10-index:
8
Year
Topic
Type
