＜査読有＞ 
Shigeki Hagihara, Masaya Shimakawa and Naoki Yonezaki, Verification of Verifiability of Voting Protocols by Strand Space Analysis, 8th International Conference on Software and Computer Applications (ICSCA 2019), to appear, Feb. 2019. 
Masaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara and Naoki Yonezaki, Towards Efficient Implementation of Realizability Checking for Reactive System Specifications, 8th International Conference on Software and Computer Applications (ICSCA 2019), to appear, Feb. 2019. 
Masaya Shimakawa, Shigeki Hagihara and Naoki Yonezaki, Towards Improvement of Realizability Checking for Reactive System Specifications by Simplification of Infinite Games, Preproceedings of Workshop on Computation: Theory and Practice (WCTP 2018), pp.6982, Postproceedings to appear, Sep. 2018 
Takashi Tomita, Masaya Shimakawa, Shigeki Hagihara and Naoki Yonezaki, A Characterization on Necessary Conditions of Realizability for Reactive System Specifications, Preproceedings of Workshop on Computation: Theory and Practice (WCTP2018), pp.5468, Postproceedings to appear, Sep. 2018. 
Masaya Shimakawa, Shigeki Hagihara and Naoki Yonezaki, Efficiency of the Strong Satisfiability Checking Procedure for Reactive System Specifications, International Conference on Computer, Electronic Engineering and Information Science (CEEIS 2017), Dec. 2017, AIP Conference Proceedings 1955, 040051, Apr. 2018. 
Masaya Shimakawa, Shigeki Hagihara and Naoki Yonezaki, Towards Improvements of Bounded Realizability Checking, Preproceedings of Workshop on Computation: Theory and Practice (WCTP 2017), Sep. 2017, Theory and Practice of Computation, pp. 118128, World Scientific, Dec. 2018. 
Sohei Ito, Kenji Osari, Shigeki Hagihara and Naoki Yonezaki, Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms, International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017), Feb. 2017, Biomedical Engineering Systems and Technologies. BIOSTEC 2017. Communications in Computer and Information Science, vol. 881, pp 191211, Springer, Jul, 2018. 
Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki. Discussion on Verification of Voting Protocols, 17th Philippine Computing Science Congress (PCSC 2017), pp. 197202, Mar. 2017. 
Shigeki Hagihara, Masahiko Tomoishi, Masaya Shimakawa, Naoki Yonezaki. Combining Unification and Rewriting in Proofs for Modal Logics with Firstorder Undefinable Frames, 5th International Conference on Computer Science, Electronics Technology and Automation (ICCSETA 2017), Atlantis press, doi:10.2991/icmmct17.2017.140, Mar. 2017. 
Shigeki Hagihara, Yoshiharu Fushihara, Masaya Shimakawa, Masahiko Tomoishi, Naoki Yonezaki. Web server access trend analysis based on the Poisson distribution, Proceedings of the 6th International Conference on Software and Computer Applications (ICSCA 2017), pp.256261, ACM New York, Feb. 2017. 
Masaya Shimakawa, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki. Modularization of formal specifications for efficient synthesis of reactive systems, Proceedings of the 6th International Conference on Software and Computer Applications (ICSCA 2017), pp.208213 , ACM New York, Feb. 2017. 
Masaya Shimakawa, Yuji Iwasaki, Shigeki Hagihara and Naoki Yonezaki, Discussion of LTL Subsets for Efficient Verification, Workshop on Computation: Theory and Practice (WCTP2016), Sep. 2016, Theory and Practice of Computation, pp. 1427, World Scientific, Dec. 2017 
Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki. Simple synthesis of reactive systems with tolerance for unexpected environmental behavior, Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE '16), ACM New York, pp. 15―21, May. 2016. 
Shigeki Hagihara, Naoto Sato, Naoki Yonezaki. Toward Applicable Synthesis of Security Protocols for Data Transmission, 16th Philippine Computing Science Congress (PCSC 2016), Mar. 2016. 
Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki. Towards Unbounded Realizability Checking, Workshop on Computation: Theory and Practice (WCTP2015), Sep. 2015, Theory and Practice of Computation, pp. 2636, World Scientific, Apr. 2017 
Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki, Reducing Bounded Realizability Analysis to Reachability Checking, 9th international workshop on reachability problem (RP2015), Lecture Notes in Computer Science, Springer, Vol. 9328, pp. 140―152, Sep. 2015. 
Yoshiharu Fushihara, Shigeki Hagihara, Masahiko Tomoishi, Naoki Yonezaki. A new approach to analysis of access tendency of web server using Poisson distribution, 15th Philippine Computing Science Congress (PCSC 2015), pp. 14―19, Mar. 2015. 
Sohei Ito, Shigeki Hagihara, Naoki Yonezaki. Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs, 6th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2015), pp. 93―101, Jan. 2015. 
Kenji Osari, Shigeki Hagihara, Naoki Yonezaki. Discussion on modularization of specifications for efficient synthesis of reactive systems, 7th Symposium on Mathematical Aspects of Computer Science, SMACS2014, pp. 27―32, Nov. 2014. 
Shohei Mochizuki, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki, Fast Translation from LTL to Buchi Automata via NonTransitionbased Automata, Formal Methods and Software Engineering, 16th International Conference on Formal Engineering Methods, ICFEM 2014, Lecture Notes in Computer Science, Springer, Vol. 8829, pp. 364―379, Nov. 2014. 
Takashi Tomita, Takahito Kimura, Shigeki Hagihara, Naoki Yonezaki. An Efficient Implementation of Satisfiability Checking for LTL with MeanPayoff Constraints, Workshop on Computation: Theory and Practice (WCTP2014), Oct. 2014, Theory and Practice of Computation, pp. 1327, World Scientific, Jan. 2016. 
Shigeki Hagihara, Naoki Egawa, Masaya Shimakawa, Naoki Yonezaki, Minimal Strongly Unsatisfiable Subsets of Reactive System Specifications, the 29th ACM/IEEE international conference on Automated software engineering (ASE2014), ACM New York, pp. 629―634, Sep. 2014. 
Shigeki Hagihara, Masahiko Tomoishi, Naoki Yonezaki. On Constructing Unificationbased Proof Methods for Modal Logics with Firstorder Undefinable Frames, Proceedings of the 14th Philippine Computing Science Congress, pp. 22―27, Mar. 2014. 
Sohei Ito, Shigeki Hagihara, Naoki Yonezaki. A Qualitative Framework for Analysing Homeostasis in Gene Networks, Proceedings of 5th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2014), pp. 5―16, Mar. 2014. 
Kenji Osari, Takuya Murooka, Kiyotaka Hagiwara, Takahiro Ando, Masaya Shimakawa, Sohei Ito, Shigeki Hagihara, Naoki Yonezaki. An objectoriented language for parameterised reactive system specification based on linear temporal logic, Workshop on Computation: Theory and Practice (WCTP2013), Sep. 2013, Theory and Practice of Computation, pp 121―143, World scientific, Nov. 2014. 
Takashi Tomita, Naoko Izumi, Shigeki Hagihara and Naoki Yonezaki A Formal Ontology of Interactions with Intensional Quantitative Semantics, Workshop on Computation: Theory and Practice (WCTP2012), Sep. 2012, Theory and Practice of Computation, Proceedings in Information and Communications Technology, Vol. 7, pp. 13―33, Springer, Jun. 2013. 
Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki: Modular analysis of gene networks by linear temporal logic, Proceedings of 9th International Symposium on Integrative Bioinformatics, pp. 43―54, Mar. 2013. 
Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki: SATBased Bounded Strong Satisfiability Checking of Reactive System Specifications, Information & Communication Technology  EurAsia Conference 2013 (ICTEurAsia 2013), Information and Communication Technology, Lecture Notes in Computer Science, Vol. 7804, pp. 60―70, Springer, Mar. 2013. 
Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki: Qualitative analysis of gene regulatory networks using network motifs, Proceedings of 4th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2013), pp. 15―24, Feb. 2013. 
Shigeki Hagihara, Hiroaki Oguro, Naoki Yonezaki: Kripke semantics for Epistemic Logic of Relational Information between Ciphertexts, 6th Symposium on Mathematical Aspects of Computer Science, SMACS2012, Proceedings, pp. 82―29, Dec. 2012. 
Takashi Tomita, Shin Hiura, Shigeki Hagihara and Naoki Yonezaki, A Temporal Logic with MeanPayoff Constraints, 14th International Conference on Formal Engineering Methods (ICFEM2012), Formal Methods and Software Engineering, 14th International Conference on Formal Engineering Methods, ICFEM 2012, Lecture Notes in Computer Science, Vol. 7635, pp. 249―265, Springer, Nov. 2012. 
Masaya Shimakawa, Shigeki Hagihara, and Naoki Yonezaki, Complexity of Checking Strong Satisfiability of Reactive System Specifications, International Conference on Advances in Information Technology and Communication, AIT 2012, pp.42―51, Sep. 2012. Revised Selected Papers, Signal Processing and Information Technology, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Vol. 117, pp. 4150, 2014 
Shigeki Hagihara, Takahiro Arai, Masaya Shimakawa and Naoki Yonezaki, Developing Embedded Systems from Formal Specifications written in Temporal Logic, Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing, Lecture Notes in Electrical Engineering, Vol.150, pp 107―113, Springer, Aug. 2012 
Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki, Probabilistic Temporal Logic with Frequency Operators and Its Model Checking, Proceedings 13th International Workshop on Verification of InfiniteState Systems (INFINITY 2011), Electronic Proceedings in Theoretical Computer Science 73, pp. 79―93, Oct. 2011. 

Takahiro Shinozaki, Masakazu Sekijima, Shigeki Hagihara, Sadaoki Furui, Compact speech decoder based on pure functional programming, APSIPA ASC2011, Proc. APSIPA ASC 2011, CDROM, Oct. 2011. 

Shigeki Hagihara, Hiroaki Oguro, Naoki Yonezaki, Completeness of a Deduction System for Relational Information between Ciphertexts based on Probabilistic Computational Semantics, Workshop on Computation: Theory and Practice (WCTP2011), Sep. 2011, Theory and Practice of Computation, Proceedings in Information and Communications Technology, Springer, Vol. 5, pp. 116―132, May 2012. 

Sohei Ito, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki: Qualitative analysis of gene regulatory networks by satisfiability checking of Linear Temporal Logic, Proceedings of the 10th IEEE International Conference on Bioinformatics & Bioengineering, pp.232―237, May 2010. 

Shigeki Hagihara, Yusuke Kitamura, Masaya Shimakawa, Naoki Yonezaki. Extracting Environmental Constraints to Make Reactive System Specifications Realizable, Proceedings of 16th AsiaPacific Software Engineering Conference APSEC 2009, pp. 61―68, Dec. 2009. 

Sohei Ito, Shigeki Hagihara, Naoki Yonezaki. An Operational Semantics of Program Dependence Graphs for Unstructured Programs, Advances in Computer Science  ASIAN 2006. Secure Software and Related Issues, Lecture Notes in Computer Science (11th Annual Asian Computing Science Conference (ASIAN 2006)) , Vol. 4435, pp. 264―271, Springer Berlin, Jan. 2008. 

Sohei Ito, Shigeki Hagihara, Naoki Yonezaki. A Formal Ontology for Business Process Model TAP: TasksAgentsProducts, Proceedings of the 17th EuropeanJapanese Conference on Information Modeling and Knowledge Bases EJC2007, pp. 294―301, Jun. 2007. 

Shigeki Hagihara, Naoki Yonezaki. Completeness of Verification methods for Approaching to Realizable Reactive Specifications, Proceedings of 1st Asian Working Conference on Verified Software AWCVS'06, UNUIIST Technical Report, Vol. 348, pp. 242―257, Oct. 2006. 

Ashraf Bhery, Shigeki Hagihara, Naoki Yonezaki. A Formal System for Analysis of Cryptographic encryption and Their Security properties, Software Security  Theories and Systems, Lecture Notes in Computer Science (2nd International Symposium on Software Security 2003) , Vol. 3233, pp. 87―112, Springer, Jun. 2004. 

Etsuya Shibayama, Shigeki Hagihara, Naoki Kobayashi, Shinya Nishizaki, Kenjiro Taura, Takuo Watanabe. AnZenMail: A Secure and Certified Email System, Lecture Notes in Computer Science (Software Security: Theories and Systems), Vol. 2609, pp. 201―216, Nov. 2003. 

Ashraf Bhery, Shigeki Hagihara, Naoki Yonezaki. A Formal Analysis of Symmetric Encryption and Keyed and Keyed Hash Function, The 46th IEEE International Midwest Symposium On Circuits & Systems, Vol.2, pp.774―777, IEEE, Dec. 2003. 

Ashraf Bhery, Shigeki Hagihara, Naoki Yonezaki. The Characterization of Cryptographic Primitives and Their Security Properties, Proceedings of the Ninth International Conference on Distributed Multimedia Systems, pp. 636―642, Sep. 2003. 

Ashraf Bhery, Shigeki Hagihara, Naoki Yonezaki. Judgment Deduction System of Asymmetric Encryption Scheme (JDEsystem), Proceeding of WISA 2003, The 4th International Workshop on Information Security Applications, pp. 639―649, Aug. 2003. 

Shigeki Hagihara, Naoki Yonezaki. Resolution Method for Modal Logic with Wellfounded Frames, Computer Science Logic, Lecture Notes in computer Science (13th International Workshop, CSL'99, 8th Annual Conference of the EACSL) , Vol. 1683, pp. 277―291, Springer, Sep. 1999. 

Shigeki Hagihara, Naoki Yonezaki. Unificationbased proof method for modal logic with wellfounded frames, Automated Reasoning with Analytic Tableaux and Related Methods: Position Papers, Technical Report, Institute for Programming and Logics, Department of Computer Science, University at Albany  SUNY (International Conference, TABLEAUX'99), Vol. 99, No. 1, pp. 71―85, Jun. 1999. 
＜査読無＞ 
Sohei Ito, Shigeki Hagihara, Naoki Yonezaki. An Ontology for Business Process Model TAP: Tasks AgentsProducts, Proceedings of International Symposium on Largescale Knowledge Resources (LKR2007), pp. 227―232, Mar. 2007. 

Sohei Ito, Shigeki Hagihara, Naoki Yonezaki. Formalization of process optimization knowledge  An application to code optimization , Proceedings of International Symposium on Largescale Knowledge Resources (LKR2006) , pp. 179―182, Mar. 2006. 
＜ポスター発表＞ 
Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki: Modular analysis of gene networks using temporal logic (abstract), 5th Annual RECOMB Conference on Regulatory and Systems Genomics, with DREAM Challenges, program booklet, pp. 118―119, Nov. 2012. 

Sohei Ito, Takuma Ichinose, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki: Qualitative analysis of gene regulatory networks by approximation using network motifs, International Symposium on Integrative Bioinformatics 2011, CDROM, Mar. 2011. 

Takashi Tomita, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki: Qualitative Inference Rules for Analysis of Biological Object Interactions, 9th International Conference on Bioinformatics, Abstracts, pp.48, Sep. 2010. 

Sohei Ito, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki: Possible behavior analysis of Gene Regulatory Networks by Linear Temporal Logic, 9th International Conference on Bioinformatics, Abstracts, pp.50, Sep. 2010. 

Sohei Ito, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki. Analysis of gene regulatory networks by checking satisfiability of Linear Temporal Logic, CBIKSBSB Joint Conference, P12143, pp.216, Nov. 2009. 

Takashi Tomita, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki. 2layered Formal Interaction Ontology among Biological Processes with Quantitative Semantics, CBIKSBSB Joint Conference, P12144, pp.217, Nov. 2009. 

Shigeki Hagihara, Naoki Yonezaki. A connection based proof method for modal logic restricted to discrete frames, Fifteenth International Joint Conference on Artificial Intelligence, Poster Session Abstracts, pp. 99, Aug. 1997. 
＜口頭発表＞ 
Shigeki Hagihara. To develop software without flaws, Workshop on Computation: Theory and Practice (WCTP2016), Satellite Conference, Oral Presentation, Sep. 2016. 

Hiroaki Oguro, Shigeki Hagihara, Naoki Yonezaki. A Formal System for Analysis of an Oblivious Transfer Protocol, The 4th FrancoJapanese Computer Security Workshop, Oral Presentation, Dec. 2008. 

Shigeki Hagihara, Takayoshi Sanui, Naoki Yonezaki. Formal Construction of Security Protocols, 2nd International Workshop on Foundations for Secure/Survivable Systems and Networks, Oral Presentation, Oct. 2001. 

Shigeki Hagihara, Takayoshi Sanui, Naoki Yonezaki. Formal Construction of Security Protocols, 公開シンポジウム 「安全な社会基盤を支えるソフトウェア技術」, Oral Presentation, Sep. 2001. 

Shigeki Hagihara, Naoki Yonezaki. Resolution calculus for Modal logic of finite frames, 1st International Workshop on Specification and Verification of Timed Systems (IWTS'99), Oral Presentation, Mar. 1999. 