＜査読有＞

Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki. Discussion on Verification of Voting Protocols, 17th Philippine Computing Science Congress (PCSC 2017), pp. 197-202, Mar. 2017.

Shigeki Hagihara, Masahiko Tomoishi, Masaya Shimakawa, Naoki Yonezaki. Combining Unification and Rewriting in Proofs for Modal Logics with First-order Undefinable Frames, 5th International Conference on Computer Science, Electronics Technology and Automation (ICCSETA 2017), Atlantis press, doi:10.2991/icmmct-17.2017.140, Mar. 2017.

Shigeki Hagihara, Yoshiharu Fushihara, Masaya Shimakawa, Masahiko Tomoishi, Naoki Yonezaki. Web server access trend analysis based on the Poisson distribution, 6th International Conference on Software and Computer Applications (ICSCA 2017), to appear, Feb. 2017.

Masaya Shimakawa, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki. Modularization of formal specifications for efficient synthesis of reactive systems, 6th International Conference on Software and Computer Applications (ICSCA 2017), to appear, 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), Preproceedings of Workshop on Computation: Theory and Practice (WCTP2016), pp. 1-14, Sep. 2016.

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), Preproceedings of Workshop on Computation: Theory and Practice (WCTP2015), pp. 80-90, Sep. 2015.

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 Non-Transition-based 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 Mean-Payoff Constraints, Workshop on Computation: Theory and Practice (WCTP2014), pp. 30-42, Oct. 2014.

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 Unification-based Proof Methods for Modal Logics with First-order 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 object-oriented language for parameterised reactive system specification based on linear temporal logic, Workshop on Computation: Theory and Practice (WCTP2013), pp. 94-113, Sep. 2013, Theory and Practice of Computation (post-proceedings), pp 121-143, World scientific publishing, 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 (WCTP-2012), Theory and Practice of Computation, Proceedings in Information and Communications Technology, Vol. 7, pp. 13-33, 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: SAT-Based Bounded Strong Satisfiability Checking of Reactive System Specifications, Information & Communication Technology - EurAsia Conference 2013 (ICT-EurAsia 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 Mean-Payoff 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. 41-50, 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 Infinite-State 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, Proceedings of Workshop on Computation: Theory and Practice (WCTP-2011), Post-Proceedings, 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 Asia-Pacific 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: Tasks-Agents-Products, Proceedings of the 17th European-Japanese 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, UNU-IIST 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, Shin-ya Nishizaki, Kenjiro Taura, Takuo Watanabe. AnZenMail: A Secure and Certified E-mail 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 (JDE-system), 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 Well-founded 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. Unification-based proof method for modal logic with well-founded 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- Agents-Products, Proceedings of International Symposium on Large-scale 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 Large-scale 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, CBI-KSBSB Joint Conference, P12-143, pp.216, Nov. 2009.

Takashi Tomita, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki. 2-layered Formal Interaction Ontology among Biological Processes with Quantitative Semantics, CBI-KSBSB Joint Conference, P12-144, 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 Franco-Japanese 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.

萩原のページに戻る 教員紹介に戻る