Masami Hagiya

Publications

Publish and perish!

Refereed Papers (including Conference Papers)

1. Yoshinori Tanabe, Masami Hagiya: Automatic Scoring in Programming Examinations for Beginners, 14th International Joint Conference on Knowledge-Based Software Engineering, JCKBSE 2022, pp.127-139.

2. Taiga Hongu, Masami Hagiya: Self-Stabilizing Distributed Algorithms by Gellular Automata, Complex Systems, Vol.30, No.2, 2021, pp.159-185.

3. Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto: Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers, Software Testing, Verification & Reliability, Vol.30, No.7-8, 2020.

4. Taiga Hongu, Masami Hagiya: Self-stabilizing Distributed Algorithms by Gellular Automata, Cellular Automata and Discrete Complex Systems, 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Lecture Notes in Computer Science, Vol.12286, 2020, pp.86-98.

5. Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya: Model-Based Testing for MQTT Applications, Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering, JCKBSE 2020, pp.47-59.

6. Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya: Model-based Network Fault Injection for IoT Protocols, Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, pp.201-209.

7. Masami Hagiya, Kosuke Fukuda, Yoshinori Tanabe, Toshinori Saito: Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants, Sustainable ICT, Education and Learning, IFIP WG 3.4 International Conference, SUZA 2019, pp.89-98.

8. Tatsuya Yamashita, Akira Yagawa, Masami Hagiya: Self-stabilizing Gellular Automata, Unconventional Computation and Natural Computation, 18th International Conference, UCNC 2019, Lecture Notes in Computer Science, Vol.11493, 2019, pp.272-285.

9. Tatsuya Yamashita and Masami Hagiya: Simulating Population Protocols by Gellular Automata, 2018 57th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE), pp.1579-1585, 2018. DOI: 10.23919/SICE.2018.8492697

10. Wataru Yahiro, Nathanael Aubert-Kato, and Masami Hagiya: A reservoir computing approach for molecular computing, ALIFE 2018: The 2018 Conference on Artificial Life, 2018, pp.31-38.

11. Tatsuya Yamashita, Teijiro Isokawa, Ferdinand Peper, Ibuki Kawamata, and Masami Hagiya: Turing-Completeness of Asynchronous Non-camouflage Cellular Automata, AUTOMATA 2017, Lecture Notes in Computer Science, Vol.10248, 2017, pp.187-199. DOI: 10.1007/978-3-319-58631-1 15 Also in Information and Computation, Vol.274, 2020, 104539.

12. Nathanael Aubert-Kato, Charles Fosseprez, Guillaume Gines, Ibuki Kawamata, Quang Huy Dinh, Leo Cazenille, Andre Estevez-Torres, Masami Hagiya, Yannick Rondelez, Nicolas Bredeche: Evolutionary optimization of self-assembly in a swarm of bio-micro-robots, The Genetic and Evolutionary Computation Conference (GECCO 2017), 2017, pp.59-66. DOI:10.1145/3071178.3071289

13. Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto: Model-Based API Testing of Apache ZooKeeper, The 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), 2017, pp.288-298.

14. Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, Yoshinori Tanabe: Java Pathfinder on Android Devices, ACM SIGSOFT Software Engineering Notes, Vol.41, No.6, 2016, pp.1-5.

15. Ibuki Kawamata, Takuto Hosoya, Fumi Takabatake, Ken Sugawara, Shin-ichiro M. Nomura, Teijiro Isokawa, Ferdinand Peper, Masami Hagiya, Satoshi Murata: Pattern Formation and Computation by Autonomous Chemical Reaction Diffusion Model Inspired by Cellular Automata, CANDAR, 2016, pp.215-221.

16. Wataru Yahiro and Masami Hagiya: Implementation of Turing Machine Using DNA Strand Displacement, Theory and Practice of Natural Computing, Fifth International Conference, TPNC 2016, Lecture Notes in Computer Science, Vol.10071, 2016, pp.161-172. DOI: 10.1007/978-3-319-49001-4 13

17. Yoriyuki Yamagata, Cyrille Valentin Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe and Mitsuharu Yamamoto: Runtime monitoring for concurrent systems. The 16th International Conference on Runtime Verification, RV'16, Lecture Notes in Computer Science, Vol.10012, 2016, pp.386-403. DOI: 10.1007/978-3-319-46982-9_24

18. Teijiro Isokawa, Ferdinand Peper, Ibuki Kawamata, Nobuyuki Matsui, Satoshi Murata, and Masami Hagiya: Universal Totalistic Asynchonous Cellular Automaton and Its Possible Implementation by DNA, Unconventional Computation and Natural Computation, 15th International Conference, UCNC 2016, Lecture Notes in Computer Science, Vol.9726, 2016, pp.182-195. DOI: 10.1007/978-3-319-41312-9_15

19. Shaoyu Wang, Katsunobu Imai, and Masami Hagiya: An Approach to Constructing and Simulating Block Cellular Automata by Gellular Automata, Third International Symposium on Computing and Networking (CANDAR-AFCA), 2015, pp.442-448. DOI: 10.1109/CANDAR.2015.97

20. Masami Hagiya, Nathanael Aubert-Kato, Shaoyu Wang, and Satoshi Kobayashi: Molecular computers for molecular robots as hybrid systems, Theoretical Computer Science, Vol.632, Issue C, 2016, pp.4-20. DOI: 10.1016/j.tcs.2015.11.002

21. Franz Weitl, Nazim Sebih, Cyrille Valentin Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata and Mitsuharu Yamamoto: Cardinality of UDP Transmission Outcomes, First International Symposium, SETTA 2015, Proceedings, Lecture Notes in Computer Science, Vol.9409, 2015, pp.120-134. DOI: 10.1007/978-3-319-25942-0_8

22. Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto: Using Checkpointing and Virtualization for Fault Injection, Second International Symposium on Computing and Networking (CANDAR), 2014, pp.144-150. DOI: 10.1109/CANDAR.2014.45
    Also in International Journal of Networking and Computing, Vol 5, No 2, 2015, pp.347-372.

23. Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, and Mitsuharu Yamamoto Software Model Checking of UDP-based Distributed Applications, Second International Symposium on Computing and Networking (CANDAR), 2014, pp.96-105. DOI: 10.1109/CANDAR.2014.66
    Also in International Journal of Networking and Computing, Vol 5, No 2, 2015, pp.373-402.

24. Shaoyu Wang, Katsunobu Imai, and Masami Hagiya: On the Composition of Signals in Gellular Automata, Second International Symposium on Computing and Networking (CANDAR-AFCA), 2014, pp.499-502. DOI: 10.1109/CANDAR.2014.71

25. Masami Hagiya, Shaoyu Wang, Ibuki Kawamata, Satoshi Murata, Teijiro Isokawa, Ferdinand Peper, Katsunobu Imai: On DNA-Based Gellular Automata, Unconventional Computation and Natural Computation, 13th International Conference, UCNC 2014, Lecture Notes in Computer Science, Vol.8553, 2014, pp.177-189. DOI: 10.1007/978-3-319-08123-6_15

26. Masami Hagiya, Akihiko Konagaya, Satoshi Kobayashi, Hirohide Saito, and Satoshi Murata: Molecular Robots with Sensors and Intelligence, Accounts of Chemical Research, ACS, Vol.47, No.6, 2014, pp.1681-1690. DOI: 10.1021/ar400318d

27. Richard Potter, Cyrille Artho, Kuniyasu Suzaki, and Masami Hagiya: A Knoppix-based demonstration environment for JPF, ACM SIGSOFT Software Engineering Notes, Vol.39 No.1, 2014, pp.1-5.

28. Nathanael Aubert, Clement Mosca, Teruo Fujii, Masami Hagiya, and Yannick Rondelez: Computer Assisted Design for Scaling Up Systems based on DNA Reaction Networks, Journal of the Royal Society Interface, Vol.11, 20131167, 2014. DOI: 10.1098/rsif.2013.1167

29. Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, and Koichi Takahashi: Modular Software Model Checking for Distributed Systems, IEEE Transactions on Software Engineering, Vol.40, No.5, 2014, pp.483-501.

30. Nathanael Aubert, Yannick Rondelez, Teruo Fujii, and Masami Hagiya: Enforcing delays in DNA computing systems, Natural Computing, Vol.13, No.4, 2014, pp.559-572. DOI: 10.1007/s11047-014-9450-9

31. Cyrille Artho , Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, and Mitsuharu Yamamoto: Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication, 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2013, pp.169-179.

32. Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, and Mitsuharu Yamamoto: Modbat: A Model-Based API Tester for Event-Driven Systems. Proceedings of the 9th Haifa Verification Conference, Lecture Notes in Computer Science, Vol.8244, 2013, pp.112-128.

33. Nathanael Aubert, Quang Huy Dinh, Masami Hagiya, Teruo Fujii, Hitoshi Iba, Nicolas Bredeche, and Yannick Rondelez: Evolution of Cheating DNA-based Agents Playing the Game of Rock-Paper-Scissors, ECAL, 2013, pp.1143-1150.

34. Masami Hagiya and Ibuki Kawamata: Towards Co-evolution of Information, Life and Artificial Life, Natural Computing and Beyond, Proceedings in Information and Communications Technology, Vol.6, 2013, pp.39-48.

35. Ibuki Kawamata, Nathanael Aubert, Masahiro Hamano and Masami Hagiya: Abstraction of Graph-Based Models of Bio-Molecular Reaction Systems for Efficient Simulation, Computational Methods in Systems Biology, 10th International Conference, CMSB 2012, Lecture Notes in Bioinformatics, Vol.7605, 2012, pp.187-206.

36. Miki Hirabayashi, Ibuki Kawamata, Masami Hagiya, Hiroaki Kojima, and Kazuhiro Oiwa: In Silico Design Control of the Trade-Off Balance in Robustness and Fragility of Logical Circuits Using DNA Nanostructures, IEEE NANO 2012, 2012, pp.1-6.

37. Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, and Hideki Sakurada: Computational soundness of indistinguishability properties without computable parsing, The 8th International Conference on Information Security Practice and Experience (ISPEC 2012), Lecture Notes in Computer Science, Vol.7232, 2012, pp.63-79.

38. Ryoji Sekine, Masayuki Yamamura, Shotaro Ayukawa, Kana Ishimatsu, Satoru Akama, Masahiro Takinoue, Masami Hagiya, and Daisuke Kiga: Tunable synthetic phenotypic diversification on Waddington's landscape through autonomous signaling, Proceedings of the National Academy of Sciences of the United States of America, Vol.108, 2011, pp.17969-17973.

39. Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, and Mitsuharu Yamamoto: Model Checking Distributed Systems by Combining Caching and Process Checkpointing, 26th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2011, pp.103-112.

40. Miki Hirabayashi, Akio Nishikawa, Fumiaki Tanaka, Masami Hagiya, Hiroaki Kojima, and Kazuhiro Oiwa: Design of Molecular-Based Network Robots - Toward the Environmental Control, IEEE NANO 2011, 2011, pp.313-318.

41. Kosuke Ono, Yoichi Hirai, Masami Hagiya and Yoshinori Tanabe: Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications, 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), Lecture Notes in Computer Science, Vol.7041, 2011, pp.350-365.

42. Ibuki Kawamata, Fumiaki Tanaka, and Masami Hagiya: Abstraction of DNA Graph Structures for Efficient Enumeration and Simulation, The 2011 International Conference on Parallel and Distributed Processing, Techniques and Applications (PDPTA'11), Technical Session on Mathematical Modeling and Problem Solving, 2011, pp.800-806.

43. Fumiaki Tanaka, Toshio Mochizuki, Xingguo Liang, Hiroyuki Asanuma, Shukichi Tanaka, Katsuyuki Suzuki, Shin'ichi Kitamura, Akio Nishikawa, Kumiko Ui-Tei, and Masami Hagiya: Robust and photo-controllable DNA capsules using azobenzenes, Nano Letters, Vol.10, No.9, 2010, pp.3560-3565.

44. Miki Hirabayashi, Akio Nishikawa, Fumiaki Tanaka, Masami Hagiya, Hiroaki Kojima, and Kazuhiro Oiwa: DNA-based Crosstalk Nanorobot Mimicking Amoeba Type of Slime Funguses, IEEE NANO 2010, 2010, pp.864-869.

45. Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, and Mitsuharu Yamamoto: Model Checking of Concurrent Algorithms: From Java to C, DIPES 2010, 7th IFIP Conference on Distributed and Parallel Embedded Systems, IFIP AICT, Vol.329, 2010, pp.90-101.

46. Alexis Goyet, Masami Hagiya and Yoshinori Tanabe: Decidability and undecidability results on the modal mu-calculus with a natural number-valued semantics, Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Lecture Notes in Artificial Intelligence, Vol.6188, 2010, pp.148-160.

47. Yoshinori Tanabe and Masami Hagiya: Fixed-point Computations over Functions on Integers with Operations Min, Max and Plus, 6th Workshop on Fixed Points in Computer Science (FICS 2009), Coimbra, Portugal, 12-13 September 2009, pp.108-115.

48. Miki Hirabayashi, Kazuhiro Oiwa, Akio Nishikawa, Fumiaki Tanaka, and Masami Hagiya: Toward Self-Assembly of Phage-Like Nanorobot, IEEE NANO 2009, 2009, pp.645-650.

49. Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe and Mitsuharu Yamamoto: Cache-based Model Checking of Networked Applications: From Linear to Branching Time, 24th IEEE/ACM International Conference on Automated Software Engineering, 2009, pp.447-458.

50. Ibuki Kawamata, Fumiaki Tanaka, and Masami Hagiya: Automatic Design of DNA Logic Gates Based on Kinetic Simulation, The 15th International Meeting on DNA Computing and Molecular Programming, DNA15, Preliminary Proceedings, 2009, pp.8-17. Also in DNA Computing and Molecular Programming: 15th International Conference, DNA 15, Lecture Notes in Computer Science, Vol.5877, 2009, pp.88-96.

51. Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, and Mitsuharu Yamamoto: Verifying networked programs using a model checker extension, ICSE Companion Proceedings, 2009, pp.409-410.

52. Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, and Mitsuharu Yamamoto: Introduction of virtualization technology to multi-process model checking, First NASA Formal Methods Symposium, NASA Conference Publication, 2009, pp.106-110.

53. Yusuke Kawamoto, Hideki Sakurada, and Masami Hagiya: Computationally sound formalization of rerandomizable RCCA secure encryption, Third Franco-Japanese Computer Security Workshop, Nancy, France, March 2008. In Formal to Practical Security, Papers Issued from the 2005-2008 French-Japanese Collaboration, Lecture Notes in Computer Science, Vol.5458, 2009, pp.158-180.

54. Yoshinori Tanabe, Koichi Takahashi, and Masami Hagiya: A decision procedure for alternation-free modal $\mu$-calculi, Advances in Modal Logic, Vol.7, (C. Areces, R. Goldblatt, Eds.), College Publications, London, 2008, pp.341-362.

55. Yusuke Kawamoto, Hideki Sakurada and Masami Hagiya: Computationally Sound Symbolic Anonymity of a Ring Signature, FCS-ARSPA-WITS'08, Joint Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2008.

56. Fumiaki Tanaka, Takashi Tsuda, and Masami Hagiya: Towards DNA Comparator: the Machine That Compares DNA Concentrations, The 14th International Meeting on DNA Computing, DNA14, Preliminary Proceedings, 2008, pp.100-111. Also in DNA Computing: 14th International Meeting on DNA Computing, DNA 14, Lecture Notes in Computer Science, Vol.5347, 2009, pp.11-20.

57. Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya and Yoshinori Tanabe: Efficient Model Checking of Networked Applications, TOOLS-EUROPE 2008, Lecture Notes in Business Information Processing, Vol.11, 2008, pp.22-40.

58. Dai Ikarashi, Yoshinori Tanabe, Koki Nishizawa, and Masami Hagiya: Modal $\mu$-calculus on min-plus algebra N$_\infty$, The Tenth Workshop on Programming and Programming Languages (PPL2008), Japanese Society on Software Science and Technology, 2008, pp.216-230. (Awarded Rombun-Shourei-Sho) The full version is in Computer Software, Japanese Society on Software Science and Technology, Vol.27, No.3, 2010, pp.99-113

59. S. Ayukawa, A. Kobayashi, Y. Nakashima, H. Takagi, S. Hamada, M. Uchiyama, K. Yugi, S. Murata, Y. Sakakibara, M. Hagiya, M. Yamamura and D. Kiga: SYANAC: SYnthetic biological Automaton for Noughts And Crosses, IET Synthetic Biology, Vol.1, No.1-2, 2007, pp.64-67.

60. Akio Nishikawa, Satsuki Yaegashi, Kazumasa Ohtake, and Masami Hagiya: Multi-fueled Approach to DNA Nano-robotics, The Thirteen International Meeting on DNA Computing, DNA13, Preliminary Proceedings, 2007, pp.162-171. Also in DNA Computing: 13th International Meeting on DNA Computing, DNA13, Lecture Notes in Computer Science, Vol.4848, 2008, pp.79-88. Also in Natural Computing, Vol.7, No.3, 2008, pp.371-383.

61. Atsushi Kameda, Satoshi Kashiwamura, Masahito Yamamoto, Azuma Ohuchi, and Masami Hagiya: Combining randomness and a high-capacity DNA memory, The Thirteen International Meeting on DNA Computing, DNA13, Preliminary Proceedings, 2007, pp.261-269. Also in DNA Computing: 13th International Meeting on DNA Computing, DNA13, Lecture Notes in Computer Science, Vol.4848, 2008, pp.109-118.

62. Carl Christian Frederiksen and Masami Hagiya: Sub-Computation Based Transition Predicate Abstraction, IPSJ Transactions on Programming, Vol.48, No.SIG10(PRO33), 2007, pp.114-137. Also in IPSJ Digital Courier, Vol.3, 2007, pp.380-403.

63. John A. Rose, Russell J. Deaton, Masami Hagiya, and Akira Suyama: Coupled Equilibrium Model of Hybridization Error for the DNA Microarray and Tag-Antitag Systems, IEEE Transactions on Nanobioscience, Vol.6, No.1, 2007, pp.18-27.

64. Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, and Masami Hagiya: Unravel Four Hairpins!, The Twelfth International Meeting on DNA Computing, DNA12, Preliminary Proceedings, 2006, pp.65-74. Also in DNA Computing: 12th International Meeting on DNA Computing, DNA12, Lecture Notes in Computer Science, Vol.4287, 2007, pp.381-392. Also in Natural Computing, Vol.7, No.2, 2008, pp.287-298.

65. Ken Komiya, Satsuki Yaegashi, Masami Hagiya, Akira Suyama, and John A. Rose: Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on Hairpin Formation, The Twelfth International Meeting on DNA Computing, DNA12, Preliminary Proceedings, 2006, pp.382-392. Also in DNA Computing: 12th International Meeting on DNA Computing, DNA12, Lecture Notes in Computer Science, Vol.4287, 2007, pp.428-438.

66. John A. Rose, Ken Komiya, Satsuki Yaegashi, and Masami Hagiya: Displacement Whiplash PCR: Optimized architecture and experimental validation, The Twelfth International Meeting on DNA Computing, DNA12, Preliminary Proceedings, 2006, pp.393-403. Also in DNA Computing: 12th International Meeting on DNA Computing, DNA12, Lecture Notes in Computer Science, Vol.4287, 2007, pp.393-403.

67. Ken Komiya, Kensaku Sakamoto, Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Daisuke Kiga, Shigeyuki Yokoyama and Masami Hagiya: DNA polymerase programmed with a hairpin DNA incorporates a multiple-instruction architecture into molecular computing, BioSystems, Vol.83, No.1, 2006, pp.18-25.

68. Seika Abe, Masami Hagiya and Ikuo Nakata: A Retargetable Code Generator for the Generic Intermediate Language in COINS, IPSJ Transactions on Programming, Vol.46, No.SIG14(PRO27), 2005, pp.12-29.

69. Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, and Masami Hagiya: A Decision Procedure for the Alternation-free Two-way Modal mu-calculus, TABLEAUX 2005, Lecture Notes in Artificial Intelligence, Vol.3702, 2005, pp.277-291.

70. Masami Hagiya: Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing, UC 2005, Unconventional Computation, Lecture Notes in Computer Science, Vol.3699, 2005, pp.117-129.

71. Atsushi Kameda, Masahito Yamamoto, Hiroki Uejima, Masami Hagiya, Kensaku Sakamoto and Azuma Ohuchi: Hairpin-based state machine and conformational addressing: Design and experiment, Natural Computing, Vol.4, No.2, 2005, pp.103-126.

72. Keiichiro Takahashi, Satsuki Yaegashi, Hiroyuki Asanuma and Masami Hagiya: Photo- and Thermoregulation of DNA Nanomachines, DNA11, Eleventh International Meeting on DNA Based Computers, Preliminary Proceedings, 2005, pp.147-156. Also in DNA Computing: 11th International Workshop on DNA Computing, DNA11, Lecture Notes in Computer Science, Vol.3892, 2006, pp.336-346.

73. Keiichiro Takahashi, Satsuki Yaegashi, Atsushi Kameda and Masami Hagiya: Chain Reaction Systems Based on Loop Dissociation of DNA, DNA11, Eleventh International Meeting on DNA Based Computers, Preliminary Proceedings, 2005, pp.343-353. Also in DNA Computing: 11th International Workshop on DNA Computing, DNA11, Lecture Notes in Computer Science, Vol.3892, 2006, pp.347-358.

74. Yoshihito Nakagawa, Richard Potter, Mitsuharu Yamamoto, Masami Hagiya, and Kazuhiko Kato: Model Checking of Multi-Process Applications Using SBUML and GDB, Workshop on Dependable Software -- Tools and Methods --, Supplemented Volume of the 2005 International Conference on Dependable Systems and Networks, 2005, pp.215-220.

75. Osamu Sato, Richard Potter, Mitsuharu Yamamoto and Masami Hagiya: UML Scrapbook and Realization of Snapshot Programming Environment, Software Security -- Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo Japan, November 2003, Revised papers, Lecture Notes in Computer Science, Vol.3233, 2004, pp.281-295.

76. Mitsuhiro Kubota and Masami Hagiya: Minimum Basin Algorithm: An Effective Analysis Technique for DNA Energy Landscapes, DNA10, Tenth International Meeting on DNA Based Computers, Preliminary Proceedings, 2004, pp.202-213. Also in DNA Computing: 10th International Workshop on DNA Computing, DNA10, Lecture Notes in Computer Science, Vol.3384, 2005, pp.202-214.

77. Mitsuhiro Kubota, Kazumasa Ohtake, Ken Komiya, Kensaku Sakamoto and Masami Hagiya: Branching DNA Machines Based on Transitions of Hairpin Structures, Proceedings of the 2003 Congress on Evolutionary Computation (CEC'03), 2003, pp.2542-2548.

78. John A. Rose, Masami Hagiya and Akira Suyama: The Fidelity of the Tag-Antitag System 2: Reconciliation with the Stringency Picture, Proceedings of the 2003 Congress on Evolutionary Computation (CEC'03), 2003, pp.2740-2747.

79. Akihiko Tozawa and Masami Hagiya: XML Schema Containment Checking based on Semi-implicit Techniques, Implementation and Application of Automata, 8th International Conference, CIAA 2003, Lecture Notes in Computer Science, Vol.2759, 2003, pp.213-225.

80. Hiroki Uejima and Masami Hagiya: Secondary Structure Design of Multi-state DNA Machines Based on Sequential Structure Transitions, DNA9, Ninth International Meeting on DNA Based Computers, Preliminary Proceedings, 2003, pp.80-91. Also in DNA Computing, 9th International Workshop on DNA-Based Computers, DNA9, Madison, WI, USA, June 2003, Revised Papers, Lecture Notes in Computer Science, Springer, Vol.2943, 2004, pp.74-85.

81. Masami Haigya, Ryo Takemura, Koichi Takahashi, and Takamichi Saito: Verification of Authentication Protocols Based on the Binding Relation, Software Security -- Theories and Systems, Mext-NSF-JSPS Internationa Symposium, ISSS 2002, Tokyo, Japan, November 2002, Revised papers, Lecture Notes in Computer Science, Springer, Vol.2609, 2003, pp.299-316.

82. Mitsuharu Yamamoto, Jean-Marie Cottin, and Masami Hagiya: Decidability of Safety Properties of Timed Multiset Rewriting, FTRTFT'02, Formal Techniques in Real-Time and Fault Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 2002, Proceedings, Lecture Notes in Computer Science, Springer, Vol.2469, 2002, pp.165-183.

83. Richard Potter and Masami Hagiya: Computation Scrapbooks for Software Evolution, Fifth International Workshop on Principles of Software Evolution, IWPSE 2002, Orlando, Florida, USA, May 19-20, 2002, pp.143-147.

84. Koichi Takahashi and Masami Hagiya: Formal Proof of Abstract Model Checking of Concurrent Garbage Collection, Workshop on Thirty Five years of Automath, Informal Proceedings (Fairouz Kamareddine Ed.), Heriot-Watt University, Edinburgh, April, 2002, pp.115-126.

85. Koichi Takahashi and Masami Hagiya: Searching for Mutual Exclusion Algorithms Using BDDs, Progress in Discovery Science, (Setsuo Arikawa and Ayumi Shinohara Eds.), Lecture Notes in Artificial Intelligence, Vol.2281, 2002, pp.1-18.

86. Akihiko Tozawa and Masami Hagiya: Formalization and Analysis of Class Loading in Java, Higher-Order and Symbolic Computation, Vol.15, 2002, pp.7-55.

87. J. A. Rose, R.J. Deaton, M. Hagiya, A. Suyama: An Equilibrium Analysis of the Efficiency of an Autonomous Molecular Computer, Physical Review E, Vol.65, No.2-1, 2002, 021910, pp.1-13.

88. Hiroki Uejima, Masami Hagiya and Satoshi Kobayashi: Horn Clause Computation by Self-Assembly of DNA Molecules, DNA7, 7th International Meeting on DNA Based Computers, Preliminary Proceedings, 2001, pp.63-74. Also in DNA Computing, 7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 2001, Revised Papers, Lecture Notes in Computer Science, Springer, Vol.2340, 2002, pp.308-320.

89. John A. Rose, Russell J. Deaton, Masami Hagiya, and Akira Suyama: The Fidelity of the Tag-Antitag System, DNA7, 7th International Meeting on DNA Based Computers, Preliminary Proceedings, 2001, pp.302-310. Also in DNA Computing, 7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 2001, Revised Papers, Lecture Notes in Computer Science, Springer, Vol.2340, 2002, pp.138-149.

90. John. A. Rose, Russell J. Deaton, Masami Hagiya, and Akira Suyama: PNA-mediated Whiplash PCR, DNA7, 7th International Meeting on DNA Based Computers, Preliminary Proceedings, 2001, pp.311-320. Also in DNA Computing, 7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 2001, Revised Papers, Lecture Notes in Computer Science, Springer, Vol.2340, 2002, pp.104-116.

91. Akio Nishikawa, Masayuki Yamamura and Masami Hagiya: DNA Computation Simulator Based on Abstract Bases, Soft Computing, Vol.5, No.1, 2001, pp.25-38.

92. Jianguo Lu, John Mylopoulos, Masateru Harao and Masami Hagiya: Higher-order generalization and its application in program verification, Annals of Mathematics and Artificial Intelligence, Vol.28, 2000, pp.107-126.

93. Kensaku Sakamoto, Hidetaka Gouzu, Ken komiya, Daisuke Kiga, Shigeyuki Yokoyama, Takashi Yokomori and Masami Hagiya: Molecular Computation by DNA Hairpin Formation, Science, Vol.288, 2000, pp.1223-1226.

94. Masanori Arita, Akio Nishikawa, Masami Hagiya, Ken Komiya, Hidetaka Gouzu and Kensaku Sakamoto: Improving Sequence Design for DNA Computing, Proceedings of the Gnenetic and Evolutionary Computation Conference (GECCO 2000), 2000, pp.875-882.

95. Ken Komiya, Kensaku Sakamoto, Hidetaka Gouzu, Shigeyuki Yokoyama, Masanori Arita, Akio Nishikawa and Masami Hagiya: Successive State Transitions with I/O Interface by Molecules, DNA6, Sixth International Meeting on DNA Based Computers, Preliminary Proceedings, 2000, pp.21-30. Also in DNA Computing, 6th International Workshop on DNA-Based Computers, DNA 2000, (Anne Condon and Grzegorz Rozenberg Eds.), Lecture Notes in Computer Science, Vol.2054, 2001, pp.17-26.

96. Akio Nishikawa and Masami Hagiya: Towards a System for Simulationg DNA Computing with Whiplash PCR, CEC'99, Congress on Evolutionary Computation, 1999, pp.960-966.

97. Akio Nishikawa, Masami Hagiya and Masayuki Yamamura: Virtual DNA Simulator and Protocol Design by GA, Proceedings of the Genetic and Evolutionary Computation Conference, GECCO'99, Vol.2, 1999, pp.1810-1816.

98. Mitsuharu Yamamoto and Masami Hagiya: Evolution of Inductive Definitions, IWPSE99, International Workshop on Principles of Software Evolution, Fukuoka Software Research Park, 1999, pp.17-21.

99. Akihiko Tozawa and Masami Hagiya: Careful Analysis of Type Spoofing, JIT'99 Java-Informations-Tage 1999 (Clemens H. Cap, Hrsg.), Informatik aktuell, Springer, 1999, pp.290-296.

100. Jianguo Lu, Masateru Harao and Masami Hagiya: Higher Order Generalizaion, Logics in Artificial Intelligence JELIA'98 (Jurgen Dix, Luis Farinas del Cerro and Ulrich Furback, eds.), Lecture Notes in Artificial Intelligence, Springer-Verlag, Vol.1489, 1998, pp.368-381.

101. Masami Hagiya and Akihiko Tozawa: On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines, Static Analysis, 5th International Symposium, SAS'98, Pisa, Italy, September 1998, Proceedings (Giorgio Levi, ed.), Lecture Notes in Computer Science, Springer-Verlag, Vol.1503, 1998, pp.17-32.

102. Koichi Takahashi and Masami Hagiya: Proving as Editing HOL Tactics, Informal proceedings of the Workshop on User Interfaces for Theorem Provers, UITP'98 (Roland Backhouse, ed.), Eindhoven University of Technology, 1998, pp.157-164. Also in Formal Aspects of Computing, Vol.11, No.3, 1999, pp.343-357.

103. Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki and Tetsuo Tamai: Formalization of Graph Search Algorithms and Its Applications, Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September/October 1998, Proceedings (Jim Grundy, Malcolm Newey, eds.) Lecture Notes in Computer Science, Springer-Verlag, Vol.1479, 1998, pp.479-496.

104. Kensaku Sakamoto, Daisuke Kiga, Ken Komiya, Hidetaka Gouzu, Shigeyuki Yokoyama, Shuji Ikeda, Hiroshi Sugiyama, and Masami Hagiya: State Transitions by Molecules, Preliminary Proceedings, Fourth International Meeting on DNA Based Computers, June 15 - June 19, 1998, University of Pennsylvania, pp.87-99. Also in BioSystems, Vol.52, No.1-3, 1999, pp.81-91.

105. Wei-Ngun Chin and Masami Hagiya: A Bounds Inference Method for Vector-Based Memoization, International Conference on Functional Programming '97, 1997, pp.176-187.

106. Yasuaki Takebe and Masami Hagiya: A User Interface for Controlling Term Rewriting Based on Computing-as-Editing Paradigm, User Interfaces for Theorem Provers UITP'97, INRIA Sophia-Antipolis, 1997, pp.93-100.

107. Akira Suyama, Masanori Arita and Masami Hagiya: A Heuristic Approach for Hamiltonian Path Problem with Molecules, Genetic Programming 1997: Proceedings of the Second Annual Conference (John R. Koza, et al. eds.), Morgan Kaufmann, 1997, pp.457-462

108. Masami Hagiya, Masanori Arita, Daisuke Kiga, Kensaku Sakamoto and Shigeyuki Yokoyama: Towards Parallel Evaluation and Learning of Boolean $\mu$-Formulas with Molecules, Preliminary Proceedings, 3rd DIMACS Workshop on DNA Based Computers, June 23 - June 25, 1997, University of Pennsylvania, pp.105-114. Also in DNA Based Computers III, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol.48, 1999, pp.57-72.

109. Masanori Arita, Masami Hagiya and Akira Suyama: Joining and Rotating Data with Molecules, Proceedings of 1997 IEEE International Conference on Evolutionary Computation (ICEC'97), 1997, pp.243-248.

110. Masami Hagiya and Hiroshi Kakuno: Proving as Editing, User-Interfaces for Theorem Provers UITP'96, Department of Computer Science, University of York, 1996, pp.35-42.

111. Mituharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya and Yozo Toda: Formalization of Planar Graphs, Higher-Order Logic Theorem Proving and Its Applications, Lecture Notes in Computer Science, Springer-Verlag, Vol.971, 1995, pp.369-384.

112. Masami Hagiya and Kouhei Iino: Binding Time Analysis for Data Type Specialization, Fuji International Workshop on Functional and Logic Programming, World Scientific, 1995, pp.254-269.

113. Masami Hagiya and Tomoki Shiratori: Programming by Example in Computing-as-Editing Paradigm, Proceedings of the 11th International IEEE Symposium on Visual Languages, 1995, pp.275-283.

114. Tomoaki Shimada, Masami Hagiya, Masanori Arita, Shin-ya Nishizaki and Chew Lim Tan: Knowledge-Based Simulation of Regulatory Action in Lambda Phage, First International IEEE Symposium on Intelligence in Neural and Biological Systems (INBS 95), 1995, pp.92-99. Also in International Journal of Artificial Intelligence Tools, Vol.4, No.4, December 1995, pp.511-524.

115. A. Ohyama, A. Suyama, Y. Furuhata, M. Hagiya, T. Ito, A. Fujimaya, M. Hattori, Y. Sakaki, T. Takagi: SAND - A DNA Fragment Assembler and editor for the nested deletion sequencing method, Cytogenetics and cell genetics, Vol.70, No.3-4, 1995, pp.182-182.

116. Masanori Arita, Masami Hagiya and Tomoki Shiratori: GEISHA System: An Environment for Simulating Protein Interaction, Genome Informatics Workshop V, 1994, pp.80-89.

117. Wei-Ngan Chin and Masami Hagiya: Tupling and Lambda Abstraction yield Dynamic-Sized Tabulation, Acta Informatica, Vol.32, 1995, pp.93-115.

118. Masami Hagiya and Yozo Toda: On Implicit Arguments, Logic, Language and Computation --- Festschrift in Honor of Satoru Takasu, Lecture Notes in Computer Science Vol.792, 1994, pp.10-30. The revised version is in TR-95-1 from Department Information Science, University of Tokyo.

119. Akira Suyama, Masami Hagiya, Takashi Ito, Asao Fujiyama, Akira Ohyama, Toshihisa Takagi: ContigMaker: Software Tool for Contig Map Construction, Genome Informatics Workshop IV, 1993, pp.376-384.

120. Masami Hagiya: A Deductive Method for Construction and Visualization of Contigs in the STS Strategy, Genome Informatics Workshop IV, 1993, pp.65-72.

121. Masami Hagiya: A Typed lambda-Calculus for Priving-by-Example and Bottom-Up Generalization Procedure, Algorithmic Learning Theory (K. P. Jantke, S. Kobayashi, E. Tomita and T. Yokomori eds.), Lecture Notes in Artificial Intelligence, Vol.744, 1993, pp.73-86. Also in Theoretical Computer Science, Vol.137, 1995, pp.3-23.

122. Masami Hagiya: An iterative and bottom-up procedure for proving-by-example, Machine Learning: ECML-93 (Pavel B. Brazdil ed.), Lecture Notes in Artificial Intelligence, Vol.667, 1993, pp.336-341.

123. Masami Hagiya: A formal approach to visual proving based on logic programming, Proceedings of the 1992 IEEE Workshop on Visual Languages, Seattle, Washington, 1992, pp.234-236.

124. Masami Hagiya: Higher-order unification as a theorem proving procedure, Eighth International Conference on Logic Programming, MIT Press, 1991, pp.270-284.

125. S. Liu and M. Hagiya: Model inference of constrained recursive figures, Proceedings of the First International Workshop on Algorithmic Learning Theory, OHMSHA Ltd., 1990, pp.355-367.

126. Masami Hagiya: Synthesis of rewrite programs by higher-order and semantic unification, Proceedings of the First International Workshop on Algorithmic Learning Theory, 1990, pp.396-410. Also in New Generation Computing, Vol.8, No.4, 1991, pp.403-420.

127. Masami Hagiya: Programming by example and proving by example using higher-order unification, 10th Conference on Automated Deduction (M. E. Stickel ed.), Lecture Notes in Aritifical Intelligence, Vol.448, 1990, pp.588-602.

128. M. Hagiya and K. Ohtani: Parallel object-oriented UIMS with macro and micro stubs, Proceedings of the Winter 1990 USENIX Conference, 1990, pp.259-273.

129. M. Hagiya, T. Hattori, A. Morishima, R. Nakajima, N. Niide, R. Okazaki, T. Sakuragawa, T. Suzuki, H. Tsuiki and T. Yuasa: Overview of GMW+Wnn system, Advances in Software Science and Technology, Vol.1, 1989, pp.133-156.

130. Masami Hagiya: Meta-circular interpreter for a strongly typed language, Journal of Symbolic Computation, Vol.8, No.12, 1989, pp.651-680. This is the main Ph.D work.

131. Masami Hagiya: Generalization by parametrization in higher order type theory, Theoretical Computer Science, Vol.63, 1989, pp.113-139.

132. M. Hagiya, T. Hattori, A. Morishima, R. Nakajima, N. Niide, R. Okazaki, T. Sakuragawa, T. Suzuki, H. Tsuiki and T. Yuasa: Overview of GMW+Wnn system, Proceedings of 2nd IEEE International Conference on Computer Workstations, 1988, pp.170-177.

133. Masami Hagiya and Takafumi Sakurai: Foundation of logic programming based on inductive definition, New Generation Computing, Vol.2, 1984, pp.59-77.

134. Masami Hagiya: A proof description language and its reduction system, Publications of the Research Institute for Mathematical Sciences, Kyoto University, Vol.19, No.1, 1983, pp.237-261. This is the M.Sc. work.

135. Masahiko Sato and Masami Hagiya: Hyperlisp, Algorithmic Languages (J.W. de Bakker and J.C. van Vliet eds.), North-Holland, 1981, pp.251-269.

Invited Papers

1. Masami Hagiya and Katsunobu Imai: On the Persistency of Gellular Automata, Andrew Adamatzky (eds) Reversibility and Universality, Emergence, Complexity and Computation, Vol.30, Springer, Cham, 2018, pp.373-383. DOI: 10.1007/978-3-319-73216-9_18

2. Masami Hagiya: Defining Informatics across Bun-kei and Ri-kei, Journal of Information Processing, Vol.23, No.4, 2015, pp.525-530. DOI: 10.2197/ipsjjip.23.525

3. Satoshi Kobayashi, Kazuya Yanagibashi, Ken Komiya, Kenzo Fujimoto and Masami Hagiya: Analog DNA Computing Devices Toward the Control of Molecular Robots, Proc. of Workshop on Self-organization in Swarm of Robotics, 2014.

4. Satoshi Murata, Akihiko Konagaya, Satoshi Kobayashi, Hirohide Saito, and Masami Hagiya: Molecular Robotics: A New Paradigm for Artifacts, New Generation Computing, Vol.31, 2013, pp.27-45.

5. Kazufumi Mizunuma and Masami Hagiya: Hybrid Method for Simulating Small-Number Molecular Systems, Algorithmic Bioprocesses (A. Condon, D. Harel, J. N. Kok, A. Salomaa, E. Winfree, Eds.), Natural Computing Series, Springer, 2009, pp.607-622.

6. Masami Hagiya, Satsuki Yaegashi, and Keiichiro Takahashi: Computing with Hairpins and Secondary Structures of DNA, Nanotechnology: Science and Computation (Junghuei Chen, Natasha Jonoska, Grzegorz Rozenberg, Eds.) Natural Computing Series, Springer, 2005, pp.293-308.

7. Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto and Takahiro Sato: Analysis of Synchronous and Asynchronous Cellular Automata using Abstraction by Temporal Logic, FLOPS2004: The Seventh Functional and Logic Programming Symposium, Lecture Notes in Computer Science, Vol.2998, 2004, pp.7-21.

8. J. A. Rose, M. Takano, M. Hagiya and A. Suyama: A DNA Computing-based Genetic Program for in vitro Protein Evolution via Constrained Pseudomodule Shuffling, Journal of Genetic Programming and Evolvable Machines, Vol.4, 2003, pp.139-152.

9. Masami Hagiya: Towards Molecular Programming - a Personal Report on DNA8 and Molecular Computing, Modelling in Molecular Biology (G. Ciobanu, G. Rozenberg, Eds.), Natural Computing Series, Springer, 2004, pp.125-140.

10. J. A. Rose, R. J. Deaton, M. Hagiya, and A. Suyama: A DNA-based in vitro Genetic Program, Journal of Biological Physics, Vol.28, 2002, pp.493-498.

11. Masami Hagiya, John A. Rose, Ken Komiya, and Kensaku Sakamoto: Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms, Theoretical Computer Science, Vol.287, 2002, pp.59-71.

12. Masami Hagiya: From Molecular Computing to Molecular Programming, DNA Computing, 6th International Workshop on DNA-Based Computers, DNA 2000, (Anne Condon and Grzegorz Rozenberg Eds.), Lecture Notes in Computer Science, Vol.2054, 2001, pp.89-102.

13. Masami Hagiya and Koichi Takahashi: Discovery and Deduction, Discovery Science, Third International Conference, DS 2000, (Setsuo Arikawa and Shinichi Morishita Eds.), Lecture Notes in Artificial Intelligence, Vol.1967, 2000, pp.17-37.

14. Masami Hagiya: Perspectives on Molecular Computing, New Generation Computing, Vol.17, No.2, 1999, pp.131-140.

15. Masami Hagiya: Towards Autonomous Molecular Computers, Genetic Programming 1998: Proceedings of the Third Annual Conference (John R. Koza, et al. eds.), Morgan Kaufmann, 1998, pp.691-699.

16. Masami Hagiya: From programming-by-example to proving-by-example, Theoretical Aspects of Computer Software (T. Ito and A. R. Meyer eds.), Lecture Notes in Computer Science, Vol.526, 1991, pp.387-419.

Unrefereed Papers (including Unpublished Papers)

1. Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Eric Platon, Mitsuharu Yamamoto: Cache-based Model Checking of Networked Software, DNSA 2010 - The Workshop on Dependability of Network Software Applications, 2010.

2. Vinh Cuong Tran, Yoshinori Tanabe and Masami Hagiya: Abstract Model Checking of Web Applications Using Java PathFinder, JSSST 2009, Japan Society for Software Science and Technology, 2009.

3. Yoshinori Tanabe and Masami Hagiya: Games and Natural Number-valued Semantics of the Modal $\mu$-calculus, JSSST 2009, Japan Society for Software Science and Technology, 2009.

4. Yusuke Kawamoto, Hideki Sakurada and Masami Hagiya: Generic Result for Mapping Soundness of Symbolic Signature Primitives, JSSST 2008, Japan Society for Software Science and Technology, 2008.

5. Vinh Cuong Tran, Hideki Hashimoto, Tanabe Yoshinori and Masami Hagiya: Verification of Java programs under fairness assumption, JSSST 2008, Japan Society for Software Science and Technology, 2008.

6. Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, and Masami Hagiya: Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification, IFIP TC2, Verified Software: Theories, Tools, Experiments, 2005.

7. Seika Abe, Masami Hagiya and Takao Nakajima: Code Generation for a DNA Computer by Integer Linear Programming, Proceedings of the 2004 IEEE Conference on Cybernetics and Intelligent Systems, Singapore, 1-3 December, 2004, pp.268-273.

8. Keiichiro Takahashi and Masami Hagiya: Preliminary Experiments on Hairpin Structure Dissociation for Constructing Robust DNA Machines, Proceedings of the 2004 IEEE Conference on Cybernetics and Intelligent Systems, Singapore, 1-3 December, 2004, pp.285-290.

9. Masami Hagiya: DNA Nanorobotics and Sequence Design, Proc. SICE Annual Conference, Sapporo, 2004, pp.2774-2778.

10. Keiichiro Takahashi and Masami Hagiya: On Computation of Minimum Free Energy and Partition Function of Multiple Nucleic Acid Sequences, FIT2004, Forum on Information Science and Technology, 2004, Vol.1, pp.91-92.

11. Hiroki Uejima and Masami Hagiya: Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules, DNA9, Ninth International Meeting on DNA Based Computers, Preliminary Proceedings, 2003, pp.92-96. Also in DNA Computing, 9th International Workshop on DNA-Based Computers, DNA9, Madison, WI, USA, June 2003, Revised Papers, Lecture Notes in Computer Science, Springer, Vol.2943, 2004, pp.86-90.

12. Atsushi Kameda, Masahito Yamamoto, Hiroki Uejima, Masami Hagiya, Kensaku Sakamoto and Azuma Ohuchi, Conformational Addressing using the hairpin structure of single-strand DNA, DNA9, Ninth International Meeting on DNA Based Computers, Preliminary Proceedings, 2003, pp.197-201. Also in DNA Computing, 9th International Workshop on DNA-Based Computers, DNA9, Madison, WI, USA, June 2003, Revised Papers, Lecture Notes in Computer Science, Springer, Vol.2943, 2004, pp.219-224.

13. Mitsuharu Yamamoto and Masami Hagiya: Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata, Proceedings of The Second Asian Workshop on Programming Languages and Systems (APLAS 2001), ROPAS Technical Memorandum 2001-16, KAIST (Korea Advanced Institute of Science and Technology), December 17-18, 2001, pp.193-205.

14. Masami Hagiya, Mitsuharu Yamamoto and Jean-Marie Cottin: Symbolic Analysis of Timed Multiset Rewriting and Its Application to Protocol Analysis (Extended Abstract), Rewriting in Proof and Computation, International Workshop, RPC'01, The Research Institute of Electrical Communication (RIEC), Tohoku University, October 25-27, 2001, pp.34-41.

15. Masami Hagiya and Koichi Takahashi: Searching for Synchronization Algorithms using BDDs, IPSJ PRO, Information Processing Society of Japan, January 2001.

16. John A. Rose, Akira Suyama, Masami Hagiya and Russel J. Deaton: An Antisense Antidote for Whiplash PCR, IPSJ Symposium Series, Vol.2000, No.16, Information Processing Society of Japan, 2000, pp.101-108.

17. Koichi Takahashi and Masami Hagiya: Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection, First Asian Workshop on Programming Languages and Systems, National University of Singapore, 2000, pp.1-8.

18. Koichi Takahashi, Yozo Toda and Masami Hagiya: Nonce Analysis and Strand Space Model, JSSST 2000, Japan Society for Software Science and Technology, 2000.

19. Akihiko Tozawa and Masami Hagiya: New Formalization of the JVM, 2000.

20. Masami Hagiya, Yozo Toda and Yoshiki Fukuba: Implementation and Verification of Authentication Protocols, Using Proof Procedures in HOL, Workshop on Enterprise Security (SSR99), Science University of Tokyo, November 11, 1999.

21. Koichi Takahashi and Masami Hagiya: Verification of Parallel Garbage Collection by Abstract Model Checking, 1999.

22. Masami Hagiya: On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines, IPSJ PRO, Information Processing Society of Japan, PRO-17-3, 1998, pp.13-18.

23. Masami Hagiya: Unification and Inductive Theorem Proving by Transformation of Equations with Recursors, JSSST'96, Japan Society for Software Science and Technology, 1996, pp.97-100.

24. Masami Hagiya, Hiroshi Watanabe and Toshiko Kitamura: On Merging Resolution and Induction, IPSJ PRO, Information Processing Society of Japan, PRO-6-12, 1996, pp.67-72.

25. Masanori Arita, Masami Hagiya and Tomoki Shiratori: SIMFLY: The Simulation of a Fly Embryo, Genome Informatics Workshop V, 1994, pp.230-231.

26. Akira Suyama, Akira Ohyama, Masami Hagiya, Yoshiaki Furuhata, Takashi Ito, Asao Fujiyama, Masahira Hattori, Yoshiyuki Sakaki, Toshihisa Takagi: ContigMaker and SAND: Software Tools for Genome Mapping and Sequencing, Genome Informatics Workshop V, 1994, pp.198-199.

27. Masami Hagiya: On Reduction and Projection in Type Theory with Inductive Definitions, 12th International Conference on Automated Deduction, Workshop 1B: Proof Search in Type-Theoretic Languages, 1994, pp.31-38.

28. Masami Hagiya: Running Higher-Order Unification in PaiLisp, Parallel Symbolic Computing: Languages, Systems, and Applications (Robert H. Halstead, Jr., Takayasu Ito, eds.), Lecture Notes in Computer Science, Vol.748, 1993, pp.155-160.

29. Masami Hagiya: Boomborg-PC: A Proof-Checker of Calculus of Constructions Running on a Buffer of GNU Emacs, Department of Information Science, University of Tokyo, 1992, 1995.

30. Masami Hagiya: An Operational Approach to Type Safety, 1992.

31. Masami Hagiya: Higher-order Unification as a Theorem Proving Procedure, 7th JSSST Congress, pp.365-368, 1990.

32. Masami Hagiya: Explanation-based Generalization in Logical Framework, 1989.

33. Masami Hagiya: Theory of Modal Logic Programming, 1985.

34. Taiichi Yuasa and Masami Hagiya: Implementation of Kyoto Common Lisp, IPSJ, SYM-34-1, 1985.

35. Masami Hagiya and Taiichi Yuasa: Implementation of Kyoto Common Lisp, 1st JSSST Congress, pp.65-68, 1984.

Tutorials

1. Masami Hagiya: Implementations of computational state transitions with biomolecules, Scholarpedia, 6(4):9917, 2011.

2. Masami Hagiya: Information Technology for Synthetic Biology, The 20th International Conference on Genome Informatics (GIW 2009), 2009.

3. Masami Hagiya: Molecular Computation Using Hairpins and Secondary Structures of DNA, Handbook of Theoretical and Computational Nanotechnology, Vol.6, Chapter 18, American Scientific Publishers, 2007, pp.817-840

4. Masami Hagiya: Program Synthesis --- Past, Present and Future, InfoJapan 90, Information Processing Society of Japan, 1990.

Books (including Books Edited)

1. Handbook of Natural Computing, Springer, 2010.

2. Christian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg and Jon Timmis: Unconventional Computation, 9th International Conference, UC2010, Tokyo, Japan, June 2010, Proceedings, Lecture Notes in Computer Science, Vol.6079, Springer, 2010.

3. Y. Suzuki, M. Hagiya, H. Umeo and A. Adamatzky: Natural Computing, 2nd International Workshop on Natural Computing, Nagoya, Japan, December 2007, Proceedings, Proceedings in Information and Communication Technology, PICT1, Springer, 2008.

4. Masami Hagiya and Philip Wadler: Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 2006, Proceedings, Lecture Notes in Computer Science, Vol.3945, Springer, 2006.

5. Masami Hagiya and Azuma Ohuchi: DNA Computing, 8th International Workshop on DNA-Based Computers, DNA8, Sapporo, Japan, June 2002, Revised Papers, Lecture Notes in Computer Science, Vol.2568, Springer, 2003.

6. J. van Leeuwen, O. Watanabe, M. Hagiya, P.D. Mosses, and T. Ito: Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, Lecture Notes in Computer Science, Vol.1872, Springer-Verlag, 2000.

7. Neil D. Jones, Masami Hagiya and Masahiko Sato: Logic, Language and Computation --- Festschrift in Honor of Satoru Takasu, Lecture Notes in Computer Science, Vol.792, Springer-Verlag, 1994.

8. Masami Hagiya and John C. Mitchell: Theoretical Aspects of Computer Software --- International Symposium TACS'94, Sendai, Japan, April 1994, Proceedings, Lecture Notes in Computer Science, Vol.789, Springer-Verlag, 1994.

9. Ikuo Nakata and Masami Hagiya: Software Science and Engineering --- Selected Papers from the Kyoto Symposia, World Scientific, 1991.

10. Taiichi Yuasa and Masami Hagiya: Introduction to Common Lisp, Academic Press, Inc., 1987.

Software

Hack and perish!

Original Software

1. MediaWiki for Molecular Robotics and Synthetic Biology with Ibuki Kawamata and Satoshi Egi.

2. net-iocache with Watcharin Leungwattanakit, Cyrille Artho, et al.

3. Supporting SBUML by Richard Potter.

4. VNA: Simulator for Virtual DNA Experiments with Akio Nishikawa.

5. Boomborg-HOL with Koichi Takahashi.

6. Boomborg-KEISAN with Tomoki Shiratori.

7. SIMFLY with Masanori Arita and Tomoki Shiratori.

8. ContigMaker with Akira Suyama et al.

9. Boomborg-PC helped by Yozo Toda and Mitsuharu Yamamoto.

10. G Strikes Back with Koji Otani and many people.

11. Gimme More Windows with Koji Otani and many people.

12. Kyoto Common Lisp with Taiichi Yuasa.

13. Prolog11P.

14. Hyperlisp with Masahiko Sato.

International Activities

Program Committee (not exhaustive)

• The 28th International Conference on DNA Computing and Molecular Programming (DNA28), Albuquerque , New Mexico, USA, August 8-12, 2022.

• IFIP WCCE 2022, World Conference on Computers in Education, Hiroshima, Japan, August 20-24, 2022 (Local Chair). 

• The 27th International Conference on DNA Computing and Molecular Programming (DNA27), Online, September 13-16, 2021.

• The 26th International Conference on DNA Computing and Molecular Programming (DNA26), Online, September 14-17, 2020.

• The 25th International Conference on DNA Computing and Molecular Programming (DNA25), Seattle, Washington, USA, August 5-9, 2019.

• The 18th International Conference on Unconventional Computation and Natural Computation (UCNC '19), Tokyo, Japan, June 3-7, 2019.

• The 17th International Conference on Unconventional Computation and Natural Computation (UCNC '18), Fontainebleau, France, June 25-29, 2018.

• The 14th International Conference on Unconventional Computation and Natural Computation (UCNC '15), Auckland, New Zealand, August 31-September 4, 2015.

• The 13th International Conference on Unconventional Computation and Natural Computation (UCNC '14), London, Ontario, Canada, July 14-18, 2014.

• The 40th International Colloquium on Automata, Languages and Programming (ICALP 2013), Track B: Logic, Semantics, Automata and Theory of Programming, Riga, Latvia, July 8-12, 2013.

• The 12th International Conference on Unconventional Computation and Natural Computation (UCNC '13), Milano, Italy, July 1-5, 2013.

• The 11th International Conference on Unconventional Computation and Natural Computation (UCNC '12), Orléans, France, September 3-7, 2012.

• The 17th International Conference on DNA Computing and Molecular Programming (DNA17), Pasadena, California, USA, September 19-23, 2011.

• 9th Conference on Unconventional Computation (UC 2010), Tokyo, Japan, June 21-25, 2010 (Local Chair).

• The 16th International Conference on DNA Computing and Molecular Programming (DNA16), Hong Kong, China, June 14-17, 2010.

• The sixth International Workshop on Formal Aspects in Security and Trust, Eindhoven, the Netherlands, October 31-November 6, 2009.

• ASIAN'09, 13th Annual Asian Computing Science Conference Focusing on Information Security and Privacy: Theory and Practice, December 14-16, 2009.

• 8th Conference on Unconventional Computation (UC 2009), Ponta Delgada, Portugal, September 7-11, 2009.

• CoSyProofs 2009: Spring School and Workshop on Computational and Symbolic Proofs of Security, Atagawa, Japan, April 5-9, 2009 (co-chair).

• The fifth International Workshop on Formal Aspects in Security and Trust, Malaga, Spain, October 9-10, 2008.

• 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Valencia, Spain, July 15-17, 2008.

• TC1 Track of the 20th IFIP World Computer Congress, Track B: Logic, Semantics, Specification and Verification, Milano, Italy, September 8-10, 2008.

• 21st IEEE Computer Security Foundations Symposium, Carnegie Mellon University, Pittsburgh - USA, June 23-25, 2008.

• ASIAN'07, 12th Annual Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007.

• WoLLIC 2007, 14th Workshop on Logic, Language, Information and Computation, Rio de Janeiro, Brazil, July 2-5, 2007.

• 20th IEEE Computer Security Foundations Symposium, S. Servolo island, Venice, Italy, July 6-8, 2007.

• ASIAN'06, 11th Annual Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006.

• The First International Conference on Bio-Inspired Computing: Theory and Applications, Wuhan, China, September 18-21, 2006 (DNA Computing Session chair).

• 8th International Symposium on Functional and Logic Programming, Fuji Susono, Japan, April 24-26, 2006 (PC co-chair).

• 17th IEEE Computer Security Foundations Workshop, Pacific Grove, CA, June 28-30, 2004.

• Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming, Uppsala, Sweden, August 27-29, 2003.

• 16th IEEE Computer Security Foundations Workshop, Pacific Grove, CA, June 30-July 2, 2003.

• Ninth International Meeting on DNA Based Computers, Madison, Wisconsin, June 1-4, 2003.

• ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, ACM SIGPLAN ASIA-PEPM '02, Aizu, Japan, September 12-14, 2002.

• Eighth International Meeting on DNA Based Computers, Hokkaido University, Japan, June 10-13, 2002 (PC Chair).

• 15th IEEE Computer Security Foundations Workshop, Keltic Lodge, Cape Breton, Nova Scotia, Canada, June 24-26, 2002.

• Theoretical Aspects of Computer Software, Sendai, Japan, October 29-31, 2001.

• 8th Static Analysis Symposium, La Sorbonne, Paris, France, July 16-18, 2001.

• Seventh International Meeting on DNA Based Computers, University of South Florida, USA, June 10-13, 2001.

• International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 (Track2 Co-Chair).

• Fifth International Meeting on DNA Based Computers, Massachusetts Institute of Technology, USA, June 14-15, 1999.

• Fourth International Meeting on DNA Based Computers, University of Pennsylvania, USA, June 15-19, 1998.

• Pacific Symposium on Biocomputing '98, Computing with Biomolecules, Maui, Hawaii, USA, January 4-9, 1998.

• Theoretical Aspects of Computer Software, Sendai, Japan, September 23-26, 1997.

• POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Paris, France, January 15-17, 1997.

• Sixth International Workshop on Algorithmic Learning Theory (ALT'95), Fukuoka, Japan, October 18-20, 1995.

• Fifth International Conference on Logic Programming and Automated Reasoning (LPAR'94), Kiev, Ukraine, July 16-22, 1994.

• 12th International Conference on Automated Deduction, Nancy, France, June 28-July 1, 1994.

• Theoretical Aspects of Computer Software, Sendai, Japan, April 19-22, 1994 (Program Committee Co-Chair).

• International Logic Programming Symposium, Vancouver, British Columbia, Canada, October 26-29, 1993.

• IEEE Workshop on Visual Language, Kobe, Japan, October 9-11, 1991.

• Theoretical Aspects of Computer Software, Sendai, Japan, September 24-27, 1991.

• Fifth Generation Computer Conference, Tokyo, Japan, November 28-December 2, 1988.

Editorial Board

• Natural Computing, Kluwer Academic Publishers, Springer.
  editor (2002-)

• New Generation Computing, Ohmsha, Springer.
  area editor (2003-2013), editor-in-chief (2013-2017)

Short Personal History

• March 1980, B.Sc. from Department of Information Science, Faculty of Science, University of Tokyo.

• March 1982, M.Sc. from Department of Information Science, Graduate School of Science, University of Tokyo.

• April 1982, Research Associate, Research Institute for Mathematical Sciences, Kyoto University.

• March 1988, Doctor of Science from Kyoto University.

• October 1988, Associate Professor, Research Institute for Mathematical Sciences, Kyoto University.

• April 1992, Associate Professor, Department of Information Science, Faculty of Science, University of Tokyo.

• April 1993, Associate Professor, Department of Information Science, Graduate School of Science, University of Tokyo.

• November 1995, Professor, Department of Information Science, Graduate School of Science, University of Tokyo.

• April 2001 - March 2022, Professor, Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo.

• April 2010 - March 2013, Dean, Graduate School of Information Science and Technology, University of Tokyo.

• April 2021, Director, Institute for AI and Beyond, University of Tokyo

• June 2022, Professor Emeritus, University of Tokyo.

Publications in Japanese

Papers (Refereed)

1. 日本学術会議 情報学委員会 情報学教育分科会: 報告 情報教育課程の設計指針 ― 初等教育から高等教育まで, 2020. (分科会委員長として)

2. 中山泰一, 中野由章, 角田博保, 久野靖, 鈴木貢, 和田勉, 萩谷昌己, 筧捷彦: 高等学校情報科における教科担任の現状, 情報処理学会論文誌教育とコンピュータ, Vol.3, No.2, 2017, pp.1-11.

3. 日本学術会議 情報学委員会 情報科学技術教育分科会: 報告 大学教育の分野別質保証のための教育課程編成上の参照基準 情報学分野, 2016. (分科会委員長として)

4. 今井健男, 酒井政裕, 萩谷昌己: 高速なMCS列挙を利用した準最弱事前条件推定の改良, コンピュータソフトウェア, Vol.32 No.4, 2015, pp.161-175. DOI:10.11309/jssst.32.4_161

5. 今井健男, 酒井政裕, 萩谷昌己: Minimal Unsatisfiable Core列挙によるプログラムの準最弱な事前条件推定, ソフトウェア工学の基礎XVIII, レクチャーノート/ソフトウェア学, 近代科学社, Vol.37, 2011, pp.187-196. Also in コンピュータソフトウェア, Vol.30, No.2, 2013, pp.207-226.

6. 川本裕輔, 真野健, 櫻田英樹, 萩谷昌己: 関数部分知識と匿名性検証, 日本応用数理学会論文誌, Vol.17, No.4, 2007, pp.559-576. (日本応用数理学会論文賞(理論部門)受賞)

7. 萩谷昌己: 数理的技法による情報セキュリティの検証, 応用数理, Vol.17, No.4, 2007, pp.8-15.

8. 齋藤孝道, 鬼頭利之, 萩谷昌己, 溝口文雄: SSHパスワードユーザ認証の脆弱性とその考察, 情報処理学会論文誌, Vol.47, No.4, 2006, pp.1118-1126.

9. 田辺良則, 高橋孝一, 山本光晴, 佐藤貴洋, 萩谷昌己: BDDを用いた2方向CTL論理式充足可能性決定手続きの実装, コンピュータソフトウェア, Vol.22, No.3, 2005, pp.154-166.

10. 阿部正佳, 萩谷昌己: 整数線形計画法を用いたDNAコンピュータ制御コードの生成, 情報処理学会論文誌プログラミング, Vol.45, No.SIG9(PRO22), 2004, pp.1-13.

11. 萩谷昌己, 竹村亮, 高橋孝一, 齋藤孝道: 束縛関係に基づく認証プロトコルの検証, コンピュータソフトウェア, Vol.20, No.3, 2003, pp.17-29.

12. 戸沢晶彦, 萩谷昌己: JAVA2のPermission機構のモデル化と実験, コンピュータソフトウェア, Vol.18, No.6, 2001, pp.43-53.

13. 萩谷昌己, 高橋孝一: モデル検査系を用いたプログラム発見, 人工知能学会誌, Vol.16, No.5, 2001, pp.648-654.

14. 齋藤孝道, 萩谷昌己, 溝口文雄: 公開鍵を用いた認証プロトコルについて, 情報処理学会論文誌, Vol.42, No.8, 2001, pp.2040-2048.

15. 高橋孝一, 萩谷昌己: 正則表現を用いた並列ごみ集めの抽象モデル検査, 情報処理学会論文誌プログラミング, Vol.42, No.SIG2(PRO9), 2001, pp.61-70.

16. 山本光晴, 高橋孝一, 萩谷昌己, 西崎真也, 玉井哲雄: グラフ探索アルゴリズムの発展とその応用, コンピュータソフトウェア別冊, ソフトウェア発展, Vol.19, No.0, 2001, pp.92-108.

17. 萩谷昌己, 戸沢晶彦, 高橋孝一, 西崎真也: Javaのクラスローダ制約の定式化, 情報処理学会論文誌プログラミング, Vol.41, No.SIG4(PRO7), 2000, pp.79-87.

18. 山下大輔，高木啓伸，萩谷昌己: 「賢い紙」・紙に埋め込まれたプログラムによる紙インタフェースの提案, インタラクティブシステムとソフトウェアVII, レクチャーノート/ソフトウェア学, 近代科学社, Vol.23, 1999, pp.17-22.

19. 戸田洋三, 萩谷昌己: タクティクからのプログラム抽出とその応用, 情報処理学会論文誌プログラミング, Vol.40, SIG4(PRO3), 1999, pp.21-32.

20. 萩谷昌己, 高橋孝一: 「計算＝編集」パラダイムに従うHOLタクティクのためのEmacsインタフェース, インタラクティブシステムとソフトウェアV, レクチャーノート/ソフトウェア学, 近代科学社, Vol.18, 1997, pp.123-128.

21. 竹辺靖昭, 萩谷昌己: CAEPに基づいた項書き換え制御のユーザインタフェース, インタラクティブシステムとソフトウェアIV, レクチャーノート/ソフトウェア学, 近代科学社, Vol.16, 1996, pp.31-40.

22. 萩谷昌己, 白取知樹: 「計算＝編集」パラダイムに基づく例によるプログラミング, コンピュータソフトウェア, Vol.13, No.3, 1996, pp.64-78. (日本ソフトウェア科学会論文賞受賞)

23. 山本光晴, 萩谷昌己, 白取知樹, 西崎真也: 図的対象を扱う証明チェッカのための視覚化ツール インタラクティブシステムとソフトウェアIII, レクチャーノート/ソフトウェア学, 近代科学社, Vol.12, 1995, pp.85-92.

24. 角野宏司, 有田正規, 萩谷昌己, 白取知樹: Computing-as-Editing(CAEP)に基づいた 数式処理システムのユーザ・インタフェース, インタラクティブシステムとソフトウェアIII, レクチャーノート/ソフトウェア学, 近代科学社, Vol.12, 1995, pp.161-170.

25. 加藤和彦, 萩谷昌己, 千葉滋, 綾塚裕二, 益田隆司: オブジェクト指向データベースを用いた グラフィカルユーザインターフェースシステムについて, アドバンスト・データベースシステム・シンポジウム, 情報処理学会, 1992.

26. 萩谷昌己: 高階単一化と証明の一般化, 人工知能学会誌, Vol.6, No.3, 1991, pp.388-396.

27. 大谷浩司, 角野宏司, 児島彰, 萩谷昌己, 服部隆志, 劉樹苓: GMWウィンドウ・システム上のアプリケーション構築について, コンピュータソフトウェア, Vol.7, No.1, 1990, pp.45-60.

Papers (Invited)

1. 萩谷昌己: DNAロボットの自動設計に向かって ― DNAナノテクノロジーと合成生物学と情報科学 ―, 計測自動制御学会, システム情報部門講演会 (SSI09), 2009.

2. 萩谷昌己, 山村雅幸: 分子プログラミング, ソフトウェア工学の基礎XIV, レクチャーノート/ソフトウェア学, 近代科学社, Vol.33, 2007, pp.1-4.

3. 萩谷 昌己: 大容量DNAメモリとランダム性の活用, 数理モデル化と問題解決シンポジウム, ISSN 1344-0640, 情報処理学会シンポジウムシリーズ, Vol.2006, Nol.10, 2006 pp.9-16.

4. 萩谷 昌己: 分子コンピュータの理論と構築, 人工知能学会全国大会(第11回)論文集, 1997, pp.9-17.

Papers (Unrefereed)

1. 中山泰一, 中野由章, 角田博保, 久野靖, 鈴木貢, 和田勉, 萩谷昌己, 筧捷彦: 高等学校情報科における教科担任の現状, 情報処理学会第57回プログラミングシンポジウム予稿集, 2016, pp.83-88.

2. 中山泰一, 中野由章, 角田博保, 久野靖, 鈴木貢, 和田勉, 萩谷昌己, 筧捷彦: 高等学校情報科における教科担任の現状, 情報処理学会コンピュータと教育研究会報告, 2015-CE-131-11, 2015.

3. 田辺良則, Cyrille Artho, Watcharin Leungwattanakit, 山本光晴, 萩谷昌己: ネットワークアプリケーションの マスター・スレーブ方式モデル検査アルゴリズムについて, 日本ソフトウェア科学会第28回大会, 2011.

4. 櫻田英樹, 川本裕輔, 萩谷昌己: 能動的攻撃者の下でのXORの記号モデルとその計算論的健全性, 日本応用数理学会2009年度年会講演予稿集, 2010.

5. 田辺良則, Cyrille Artho, 萩谷昌己, Watcharin Leungwattanakit, 山本光晴: ネットワークアプリケーションのマスタースレーブ方式によるソフトウェアモデル検査, 第8回ディペンダブルシステムワークショップ, 日本ソフトウェア科学会ディペンダブルシステム研究会, 2010.

6. ウベール・コモン-ルンド, 萩谷昌己, 川本裕輔, 櫻田英樹: 計算論的に健全な記号的匿名性, 日本応用数理学会2009年度年会講演予稿集, 2009.

7. 川本裕輔, 櫻田英樹, 萩谷昌己: リング署名の計算論的に健全な形式化, 日本応用数理学会2008年度年会講演予稿集, 2008, pp.179-180.

8. 萩谷昌己: Excelでプログラムを書く, 夏のプログラミング・シンポジウム, 「First Programming Languages プログラミング言語の実力と美学」報告集, 情報処理学会, 2008, pp.5-11.

9. 櫻田英樹, 萩谷昌己: ブラインド署名を扱うことが可能な計算論的に健全なプロトコル検証法, 日本応用数理学会2007年度年会講演予稿集, 2007, pp.42-43.

10. 五十嵐大, 田辺良則, 西澤弘毅, 萩谷昌己: min-plus代数N∞上の様相μ計算とその応用, 日本ソフトウェア科学会第24回大会, 2007.

11. 田辺良則, 萩谷昌己: 階層的グラフ構造の記述と検証のための様相論理, 日本ソフトウェア科学会第23回大会, 2006.

12. 川本裕輔, 真野健, 櫻田英樹, 萩谷昌己: 電子投票プロトコルの匿名性検証のための関数部分知識モデル, 日本ソフトウェア科学会第23回大会, 2006.

13. 櫻田英樹, 萩谷昌己: 遷移関係の詳細化による正則モデル検査の再構成と拡張, 日本ソフトウェア科学会第23回大会, 2006.

14. 阿部正佳, 萩谷昌己, 瀬川修: DNA コンピュータ制御コードの最適化, 日本ソフトウェア科学会第22回大会, 2005.

15. 山本光晴, 萩谷昌己: 時相論理による抽象化を用いた検証とその応用, 日本ソフトウェア科学会第22回大会, 2005.

16. 田辺良則, 高橋孝一, 山本光晴, 佐藤貴洋, 戸沢晶彦, 萩谷昌己: BDDによる実装が可能な様相論理の充足可能性判定手続き, 日本ソフトウェア科学会, PPL2005, 2005.

17. 中川孔人, ポッター リチャード, 山本光晴, 萩谷昌己, 加藤和彦: SBUMLとGDBの連携によるマルチプロセスアプリケーションのモデル検査, 第2回ディペンダブルソフトウェアワークショップDSW2005論文集, 日本ソフトウェア科学会研究会資料シリーズ, No.35, 2005, pp.13-21.

18. 山本光晴, 萩谷昌己: 格子状の様相を持つ時相論理による抽象化のための充足可能性判定, 日本ソフトウェア科学会第21回大会, 2004.

19. 佐藤貴洋, 田辺良則, 萩谷昌己: BDDを用いたガード付きフラグメントの充足可能性判定, 日本ソフトウェア科学会第21回大会, 2004.

20. 中川孔人, 萩谷昌己, ポッターリチャード: SBUMLを用いたOSレベルでのUndoの実現とその応用, 日本ソフトウェア科学会第21回大会, 2004.

21. 萩谷昌己, 高橋孝一, 山本光晴, 佐藤貴洋: 時相論理による抽象化を用いたセル・オートマトンの解析, 日本ソフトウェア科学会第20回大会, 2003.

22. 松下耕三, 萩谷昌己: 携帯電話上における証明付き認証, 日本ソフトウェア科学会第20回大会, 2003.

23. 萩谷昌己: グラフ書き換えと時空間様相論理, 情報処理学会, プログラミング研究会, 2003.

24. 西澤 弘毅, 萩谷 昌己: Linear Logical Framework の拡張による Local Model Checking の形式的検証, 日本ソフトウェア科学会第19回大会, 2002.

25. 萩谷昌己, 山本光晴, ジャン-マリ コタン: 時間付き多重集合書き換えに対する記号的解析とそのプロトコル解析への応用, 日本ソフトウェア科学会第18回大会, 2001.

26. 山本光晴, 萩谷昌己: 抽象到達可能性検査のPriced Timed Automatonへの応用, 日本ソフトウェア科学会第18回大会, 2001.

27. 萩谷昌己, 高橋孝一: 証明の表現, 夏のプログラミングシンポジウム「計算機と表現」報告集, 2000年8月30日～9月1日, 情報処理学会, 2001, pp.89-92.

28. 萩谷昌己, 小宮健, 坂本健作: SAT Engineの計算量 --- 確率アルゴリズムとしてのDNAアルゴリズム ---, 新しい計算パラダイムシンポジウム2000 論文集, 情報処理学会シンポジウムシリーズ, Vol.2000, No.16, 2000, pp.109-114.

29. 坂本健作, 小宮健, 横山茂之, 萩谷昌己: DNA分子の自己会合反応の解析, 新しい計算パラダイムシンポジウム2000 論文集, 情報処理学会シンポジウムシリーズ, Vol.2000, No.16, 2000, pp.115-121.

30. 萩谷昌己: 格子モデルによるヘアピン形成のシミュレーション, 新しい計算パラダイムシンポジウム2000 論文集, 情報処理学会シンポジウムシリーズ, Vol.2000, No.16, 2000, p.85.

31. 山下大輔，高木啓伸，萩谷昌己: オフライン紙ユーザインタフェースのための例による図形認識プログラミング, インタラクティブシステムとソフトウェアVIII, レクチャーノート/ソフトウェア学, 近代科学社, Vol.24, 2000, pp.253-254.

32. 高橋孝一, 戸田洋三, 萩谷昌己: ノンス解析とストランド空間モデル, 日本ソフトウェア科学会第17回大会論文集, 2000.

33. 戸沢晶彦, 萩谷昌己: Java2のPermission機構のモデル化と実験, 第2回プログラミングおよびプログラミング言語ワークショップ, 日本ソフトウェア科学会, 2000.

34. 萩谷昌己: 検証系を用いたアルゴリズムの発見, 第41回プログラミング・シンポジウム報告集, 情報処理学会, 2000, pp.9-19.

35. 山本光晴, 高橋孝一, 萩谷昌己: モデル検査アルゴリズムの検証について, 日本ソフトウェア科学会第16回大会論文集, 1999, pp.337-344.

36. 高橋孝一, 萩谷昌己: 定理証明における図的推論の健全な実装法, 日本ソフトウェア科学会第16回大会論文集, 1999, pp.81-84.

37. 高橋孝一, 萩谷昌己: 抽象モデル検査による並列ごみ集めの検証, 第2回プログラミングおよび応用のシステムに関するワークショップ, SPA'99, 日本ソフトウェア科学会, 1999.

38. 山本光晴, 萩谷昌己: 帰納的定義の発展, 日本ソフトウェア科学会第15回大会論文集, 1998, pp.405-408.

39. 萩谷昌己, 高橋孝一, 西崎真也: Javaクラスローダの定式化とバイナリ互換性, 日本ソフトウェア科学会第15回大会論文集, 1998, pp.89-92.

40. 萩谷昌己: Java仮想機械手続きのための新しいデータフロー解析について, 第1回プログラミングおよび応用のシステムに関するワークショップ論文集, 日本ソフトウェア科学会, 1998. Also in 情報処理学会, プログラミング研究会, PRO-17-3, 1997.

41. 萩谷昌己, 山本光晴, 高橋孝一, 西崎真也, 玉井哲雄: グラフ探索アルゴリズムの形式化とその応用, 日本ソフトウェア科学会第14回大会論文集, 1997, pp.593-596.

42. * 戸田洋三, 萩谷昌己: タクティクの一般化によるプログラム抽出, 日本ソフトウェア科学会第14回大会論文集, 1997, pp.561-564.

43. 戸田洋三, 萩谷昌己: tacticからのプログラム抽出, 情報処理学会, プログラミング研究会, PRO-12-2, 1997, pp.9-14.

44. 白取知樹, 萩谷昌己: 編集＝計算パラダイムと例によるプログラミング, 情報処理学会, プログラミング研究会, PRO-3-1, 1995, pp.1-2.

45. 萩谷昌己: 制約付き型理論の実現, 関数プログラミングII, JSSST'94, レクチャーノート／ソフトウェア学, 近代科学社, 1994, pp.63-77.

46. 浅井弘子, 西崎真也, 萩谷昌己: 自然言語インターフェースを用いた検索結果の視覚化, 1993年度人工知能学会全国大会, 1993, pp.589-592.

47. 萩谷昌己: テキスト・エディタ上の証明チェッカ, 情報処理学会, プログラミング-言語・基礎・実践-研究会, PRG-7-9, 1992.

48. 萩谷昌己: 帰納的定義付き型理論における簡約と射影について, 情報処理学会, ソフトウェア基礎論研究会, SF-38-7, 1990.

49. 萩谷昌己: 定理証明手続きとしての高階単一化, 情報処理学会, ソフトウェア基礎論研究会, SF-36-3, 1990.

50. 萩谷昌己: 証明の一般化技法について, 人工知能学会研究会資料, SIG-FAI-8904-4(1/31), pp.31-40, 1989.

51. 萩谷昌己: 例によるプログラミングと例による証明, 日本ソフトウェア科学会第6回大会論文集, 1989, pp.125-128.

52. 萩谷昌己: オブジェクト指向言語における型の拡張性について, 日本ソフトウェア科学会第4回大会論文集, 1987, pp.151-154.

53. 萩谷昌己: GはGMWのG --- GMWウィンドウ・システムの拡張用言語Gについて, 情報処理学会, プログラミング言語研究会, PL-13-1, 1987.

54. 萩谷昌己: 型のある言語におけるmeta-circularなインタープリタについて, 日本ソフトウェア科学会第3回大会論文集, 1986, pp.9-15.

55. 萩谷昌己: 構成的型理論における一般化について, 日本ソフトウェア科学会第2回大会論文集, 1985, pp.189-192. (日本ソフトウェア科学会高橋奨励賞受賞)

56. 湯淺太一, 萩谷昌己: Common Lispシステム実現上の問題点, 情報処理学会, 記号処理研究会, SYM-32-9, 1985.

57. 萩谷昌己: Theory of Modal Logic Programming, 情報処理学会, ソフトウェア基礎論研究会, SF-9-4, 1984.

58. 萩谷昌己: Prolog Shell ----Prolog with Modality, 情報処理学会, 記号処理研究会, SYM-28-2, 1983.

59. 萩谷昌己: Lazy ReductionによるHAのNormalization, 情報処理学会第23回(昭和56年後期)全国大会, 1981, pp.31-32.

60. 萩谷昌己, 佐藤雅彦: Hyperlispとそのimplementation, 情報処理学会, 記号処理研究会, SYM-14-3, 1980.

Tutorials

1. 萩谷昌己編集・執筆:  情報Ⅱ, 実教出版, 2023.

2. 萩谷昌己編集: 高校情報ⅠPython, 高校情報ⅠPavaScript, 最新情報Ⅰ, 図説情報Ⅰ, 実教出版, 2022.

3. 萩谷昌己: 情報教育の格差と, 情報学分野の参照基準, 情報管理, Vol.59, No.7, 科学技術振興機構, 2016, pp.472-478.

4. 萩谷昌己: DNA分子によるコンピューティング, 現代化学, No.547, 東京化学同人, 2016, pp.22-27.

5. 萩谷昌己: 参照基準から情報教育を概観 --- 一貫した情報教育を目指して, cybermedia forum, No.16, Cybermedia Center, 大阪大学, 2015. pp.13-18.

6. 萩谷昌己: 大学情報学分野における参照基準, じっきょう資料, 情報教育資料, No.41, 実教出版, 2015, pp.6-9.

7. 萩谷昌己: ぺた語義：情報学分野参照基準その後, 情報処理, Vol.56, No.2, 2015, p.195.

8. 萩谷昌己: 情報学を定義する---情報学分野の参照基準, 情報処理, Vol.55, No.7, 2014, pp.734-743.

9. 萩谷昌己: RubyのJIS規格化・ISO規格化を祝って, 情報処理, Vol.53, 2012, pp.838-841.

10. 萩谷昌己: "情報"と"生命"が創発しあう時代 --- 合成生物学の背景にある知の力学, 科学, Vol.80, No.7, 岩波書店, 2010, pp.743-746.

11. 萩谷昌己: 生命の「しかけ」で作る分子機械, じっきょう資料, 情報教育資料, No.25, 実教出版, 2009, pp.3-6.

12. 萩谷昌己: 安心・安全な社会のためのゲームの話, 理大 科学フォーラム, 東京理科大学 科学教養誌, No4, 2009, pp.28-32.

13. 萩谷昌己: 情報科学と論理,数理科学, Vol.46, No.11, 2008, pp.43-48.

14. 萩谷昌己: フォーマルメソッドによる暗号安全性, 情報処理, Vol.49, No.5, 2008, pp.537-543.

15. 萩谷昌己: 生命的コンピューティング, 人工知能学会誌, Vol.23, No.3, 2008, pp.404-414.

16. 萩谷昌己: DNA鎖に基づくナノシステム, 高分子, Vol.56, No.6, 2007, p.440.

17. 萩谷昌己: 数理的技法によるセキュリティプロトコルの検証, 日本応用数理学会2006年度年会講演予稿集, 2006, pp.8-11.

18. 萩谷昌己: 大学入試における「情報」科目の導入へ向けて, じっきょう資料, 情報教育資料, No.17, 実教出版, 2007, pp.1-6.

19. 萩谷昌己: 分子コンピューティングの発展 --- 分子マシンから分子コミュニケーションへ ---, 電子情報通信学会誌, Vol.89, No.6, 2006, pp.500-505.

20. 萩谷昌己: 二次構造の解離に基づく汎用分子システム, シミュレーション, Vol.24, No.4, 2005, pp.21-24.

21. 萩谷昌己: 分子プログラミング, 応用物理, Vol.74, No.7, 2005, pp.930-934.

22. 萩谷昌己: ソフトウェア・セキュリティにおける理論研究の役割, 科学, Vol.74, No.2, 岩波書店, 2004, pp.185-190.

23. 萩谷昌己: サイエンスへの招待: 分子コンピューティングのこと, 東京大学広報誌「淡青」, Vol.6, February, 2002, p.24.

24. 萩谷昌己: 最近の分子コンピューティング, Computer Today, No.109, 2002, pp.4-10.

25. 萩谷昌己, 有田正規: 分子計算とその物理学的基礎, 日本物理学会誌, Vol.56, No.6, 2001, pp.403-410.

26. 萩谷昌己: 特集 未来予想 --- 2050年あるものないもの, コンピュータサイエンス, bit, Vol.33, No.1, 2001, pp.18-21.

27. 萩谷昌己: 分子計算から分子プログラミングへ, 計測と制御, Vol.40, No.1, 2001, pp.100-105.

28. 萩谷昌己, 米崎直樹: ソフトウェア発展と検証技術の未来, bit, Vol.32, No.12, 2000, pp.3-8.

29. 萩谷昌己, 西川明男: DNA計算, 遺伝的アルゴリズム４, 第１章, 産業図書, 2000, pp.3-48

30. 萩谷昌己, 西川明男: DNA計算とは何か, 電子情報通信学会誌, Vol.83, No.10, 2000, pp.756-762.

31. 西川明男, 萩谷昌己: DNA計算のためのシミュレーションの試み, 数理科学, No.445, 2000年7月号, pp.15-26.

32. 萩谷昌己: DNA計算の新基軸, 人工知能学会誌, Vol.15, No.1, 2000, pp.43-50.

33. 萩谷昌己・西川明男: 分子計算から見た並行計算 -- Making Chemical Abstract Machines More Chemical --, 日本ファジィ学会誌, Vol.11, No.1, 1999, pp.2-13.

34. 萩谷昌己: 計算システムの検証と合成, 学術月報, Vol.51, No.10, 1998, pp.10-14.

35. 萩谷昌己: 生物の系のモデル化とシミュレーション: その意義と研究方向, 特集:「ゲノム情報」,情報処理, Vol.37, No.10, October 1996, pp.941-945.

36. 萩谷昌己: 形式的数学のための計算機環境, 日本数学会年会, 特別講演, 1996.

37. 萩谷昌己: 証明チェッカとそのユーザ・インターフェース, 人工知能学会誌, Vol.10, No.1, January 1995, pp.52-60.

38. 萩谷昌己, 劉樹苓: 図形を用いた推論の基礎づけ, 人工知能学会誌, Vol.9, No.2, March 1994, pp.190-195.

39. 萩谷昌己: 視覚的プログラミングと自動プログラミング, コンピュータソフトウェア, Vol.8, No.2, 1991, pp.27-39.

40. 萩谷昌己: グラフィカルなユーザ・インタフェースとその開発環境について, bit, Vol.21, No.5, 1989, pp.51-62.

41. 萩谷昌己, 森島晃年: ワークステーション上のウィンドウ・システムについて, コンピュータソフトウェア, Vol.5, No.2, 1988, pp.2-24.

42. 萩谷昌己: GMWウィンドウ・システムについて, bit, Vol.19, No.3, 1987, pp.4-19.

43. 湯浅太一, 萩谷昌己: KCl(Kyoto Common Lisp), コンピュータソフトウェア, Vol.1, No.2, 1984, pp.69-72.

44. 萩谷昌己: Prologの基礎, 情報処理, Vol.25, No.12, 1984, pp.1336-1344.

45. 萩谷昌己: よい子のはいぱーりすぷ, bit, Vol.14, No.3, 1982, pp.28-37.

Books (including Books Edited)

1. 小林聡, 萩谷昌己, 横森貴編: 自然計算へのいざない, ナチュラルコンピューティング・シリーズ, 第0巻, 近代科学社, 2015.

2. 川合慧, 萩谷昌己: コンピューティング---原理とその展開---, 放送大学大学院文化科学研究科, 日本放送出版協会, 2015.

3. 萩谷昌己, 横森貴編: ナチュラルコンピューティング・シリーズ, 近代科学社, 2011-.

4. 萩谷昌己, 塚田恭章編: 数理的技法による情報セキュリティ, シリーズ応用数理1, 共立出版, 2010.

5. 増原英彦, 東京大学情報教育連絡会: 情報科学入門―Rubyを使って学ぶ, 東京大学出版会, 2010.

6. 萩谷昌己, 山本光晴: 化学系と生物系の計算モデル, アルゴリズム・サイエンス シリーズ⑯, 共立出版, 2009.

7. 川合慧, 萩谷昌己: 基礎情報科学, 放送大学大学院文化科学研究科, 日本放送出版協会, 2009.

8. 萩谷昌己, 西川明男: DNAロボット--生命のしかけで創る分子機械, 岩波科学ライブラリー153, 岩波書店, 2008.
   訂正: p.20の図10の螺旋構造において、3'と5'がすべて逆です。 申し訳ありません。m(_ _)m

9. 萩谷昌己監修, 吉岡信和, 青木利晃, 田原康之著: SPINによる設計モデル検証, 近代科学社, 2008.

10. 萩谷昌己, 西崎真也: 論理と計算のしくみ, 岩波書店, 2007. 訂正と補足 (2008年度大川出版賞受賞)

11. 岩波書店編集部編: 情報科学への道、情報科学の行く道, ブックガイド 文庫で読む科学, 岩波科学ライブラリー132, 2007, pp.105-114.

12. 萩谷昌己編著: 分子コンピュータの現状と展望 -- 分子プログラミングへの展開, 臨時別冊・数理科学, SGCライブラリ31, サイエンス社, 2004.

13. 萩谷昌己, 横森貴(共編): DNAコンピュータ, 培風館, 2001.

14. 萩谷昌己: 関数プログラミング, 日本評論社, 1998.

15. 萩谷昌己: ソフトウェア科学のための論理学, 岩波講座「ソフトウェア科学」, 第11巻, 1994.

16. 萩谷昌己: 論理と計算, 岩波講座「応用数学」, 基礎11, 1993.

17. 湯浅太一, 萩谷昌己: Common Lisp入門, 岩波書店, 1986. 英語訳 --- Introduction to Common Lisp, Academic Press, Inc., 1987.

18. 湯浅太一, 萩谷昌己: Kyoto Common Lisp Report, 帝国印刷, 1985.

19. 萩谷昌己: ソフトウェア考現学, CQ出版, 1985.

Essays

• いまだに公教育に頼るべきか, ぺた語義, 情報処理, Vol.54 No.7, 2013, p.719.

• 研究科長からのメッセージ, 東京大学情報理工学系研究科パンフレット, 2011.

• 量子コンピューティングとタイムマシン, 情報処理, Vol.52, No.6, 2011, pp.635-636.

• 岩波 科学: クラウドが見る夢, 科学, Vol.79, No.2, 岩波書店, 2009.

• ASTEC World.

• 研究会たより, 情報処理.

• 情報処理インタラクティブ・エッセイ: Unicode批判批判.

• 情報処理インタラクティブ・エッセイ: 竹内郁雄の使命.

• 7bits: 原論.

• 7bits: ソフトウェア考古学.

• 7bits: 教育.

• 7bits: もやもや.

• 7bits: おたく.

• 7bits: たかが論理されど論理.

• 7bits: 生命の神秘.

• 7bits: クライアントは誰だ.

• 7bits: 証明を型にはめれば.

• 7bits: 止まれ.

• 7bits: final.

• セミナー日記.

• H君への手紙.

• 味シリーズ.

• 思い出シリーズ.

学会など

• 情報処理学会, (日本ソフトウェア科学会), 人工知能学会, (日本応用数理学会), (計測自動制御学会), 日本情報科教育学会など 

()は退会

• IFIP TC2 member (～2013)

• IFIP WG2.2 member (～2013)

• Association for Computer Machinery

• The International Society of Nanoscale Science, Computing, and Engineering (2008-2009, President)

受賞など

• 令和元年8月 日本ソフトウェア科学会 基礎研究賞

• 平成30年7月 衞藤細矢記念賞（双葉電子記念財団）

• 平成27年9月 日本ソフトウェア科学会 第19回研究論文賞

• 平成22年9月 フェロー (日本ソフトウェア科学会)

• 平成20年11月 大川出版賞 (大川情報通信基金)

• 平成20年9月 論文賞 (理論部門) (日本応用数理学会)

• June 2008 Tulip Award (DNA Computing Person of the Year) (International Conference on DNA Computing and Molecular Programming)

• 平成20年3月 論文奨励賞 (日本ソフトウェア科学会PPL)

• 平成19年4月 文部科学大臣表彰科学技術賞 (研究部門) (文部科学省)

• 平成19年3月 フェロー (情報処理学会)

• 平成10年6月 ソフトウェア科学会論文賞 (日本ソフトウェア科学会)

• 平成元年12月 第三回日本IBM科学賞 (日本IBM)

• 昭和62年4月 第二回元岡賞 (元岡記念財団)

• 昭和60年9月 第一回ソフトウェア科学会高橋奨励賞 (日本ソフトウェア科学会)

主な外部資金

• 平成6年度～平成7年度：科学研究費補助金・一般研究（C）「型理論とその機械学習への応用」研究代表者

• 平成8年度～平成10年度：科学研究費補助金・基盤研究（C）「人間と計算機の協調の視点に立った問題解決のための文書編集環境」研究代表者

• 平成8年度～平成12年度：未来開拓学術推進事業「分子コンピュータの理論と構築」研究代表者

• 平成11年度～平成13年度：科学研究費補助金・基盤研究（B）「抽象モデル検査とその応用」研究代表者

• 平成13年12月～平成19年3月：科学技術振興機構・戦略的創造研究推進事業「多相的分子インタラクションによる大容量メモリの構築」研究代表者

• 平成14年度～平成16年度：科学研究費補助金・萌芽研究「ハイブリッド・セル・オートマトンを用いた生物系と化学系の解析と検証」研究代表者

•  平成14年度～平成18年度：科学研究費補助金・特定領域研究「分子プログラミング－分子レベルの情報処理機構の設計論－」領域代表者「形態変化する分子を用いた並行計算と分散計算」研究代表者

• 平成18年度～平成19年度：科学研究費補助金・基盤研究（C）「グラフからマルチセットへの時相論理を用いた抽象化」研究代表者

•  平成20年度～平成22年度：科学研究費補助金・基盤研究（B）「分子ダイアル錠とナノケージ」研究代表者

•  平成20年度～平成22年度：日本電信電話株式会社コミュニケーション科学基礎研究所・共同研究「論理的手法に基づくネットワークセキュリティ検証」研究代表者

•  平成21年度～平成22年度：科学研究費補助金・挑戦的萌芽研究「オープンサイエンスの分析と基盤的ソフトウェアの構築」研究代表者

•  平成21年度～平成23年度：日本電気株式会社サービスプラットフォーム研究所・共同研究「モデル検査によるプログラム検証の研究」研究代表者

•  平成23年度～平成24年度：科学研究費補助金・挑戦的萌芽研究「抽象化を活用したプロセス計算の自動合成」研究代表者

•  平成23年度～平成27年度：科学研究費補助金・基盤研究（A）「クラウドコンピューティングミドルウェアのソフトウェアモデル検査手法」研究代表者

•  平成24年度：日本電気株式会社情報・ナレッジ研究所・共同研究「大規模システムの検証を可能にする手法の研究」研究代表者

•  平成24年度～平成28年度：科学研究費補助金・新学術領域研究（研究領域提案型）「感覚と知能と備えた分子ロボットの創成」領域代表者「構造化ゲルと化学反応場の協働による運動創発」研究代表者

•  平成28年度～平成30年度：文部科学省・大学入学者選抜改革推進委託事業・大阪大学再委託「情報学的アプローチによる「情報科」大学入学者選抜における評価手法の研究開発」研究代表者

•  平成29年度～令和元年度：科学研究費補助金・基盤研究（B）「IoTプロトコルのテストとモデル検査」研究代表者

•  平成29年度～令和元年度：科学研究費補助金・挑戦的研究（萌芽）「群分子ロボットによる学習」研究代表者

•  平成29年度～令和元年度：ＮＥＤＯ・ＡＩ分野の汎用的人材育成パッケージの研究開発「ＮＥＤＯプロジェクトを核とした人材育成、産学連携等の総合的展開／実データで学ぶ人工知能講座」研究代表者

•  令和2年度～令和4年度：科学研究費補助金・基盤研究（C）「記号実行を用いたプログラミング試験問題の自動生成」研究代表者

学歴

• 昭和51年3月 東京都立戸山高等学校卒業

• 昭和55年3月 東京大学理学部情報科学科卒業

• 昭和57年3月 東京大学大学院理学系研究科情報科学専攻修士課程修了

• 昭和63年3月 京都大学理学博士

職歴

• 昭和57年4月 京都大学数理解析研究所助手

• 昭和63年10月 京都大学数理解析研究所助教授

• 平成4年4月 東京大学理学部助教授

• 平成5年4月 東京大学大学院理学系研究科助教授

• 平成7年11月 東京大学大学院理学系研究科教授

• 平成13年4月～令和4年3月 東京大学大学院情報理工学系研究科教授

• 平成22年4月～平成25年3月 東京大学大学院情報理工学系研究科研究科長

• 平成23年10月～平成29年9月 日本学術会議会員

• 令和3年4月～ 東京大学Beyond AI研究推進機構機構長

• 令和4年6月 東京大学名誉教授