| 2019 | ENASE | Model-based Network Fault Injection for IoT Protocols. | Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya |
| 2019 | UC | Self-stabilizing Gellular Automata. | Tatsuya Yamashita, Akira Yagawa, Masami Hagiya |
| 2017 | GECCO | Evolutionary optimization of self-assembly in a swarm of bio-micro-robots. | Nathanal Aubert-Kato, Charles Fosseprez, Guillaume Gines, Ibuki Kawamata, Quang Huy Dinh, Leo Cazenille, Andre Estevez-Torres, Masami Hagiya, Yannick Rondelez, Nicolas Bredche |
| 2017 | ICST | Model-Based API Testing of Apache ZooKeeper. | Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2016 | RV | Runtime Monitoring for Concurrent Systems. | Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2016 | UC | Universal Totalistic Asynchonous Cellular Automaton and Its Possible Implementation by DNA. | Teijiro Isokawa, Ferdinand Peper, Ibuki Kawamata, Nobuyuki Matsui, Satoshi Murata, Masami Hagiya |
| 2015 | ICSE | GRT at the SBST 2015 Tool Competition. | Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2015 | SETTA | Cardinality of UDP Transmission Outcomes. | Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto |
| 2014 | UC | On DNA-Based Gellular Automata. | Masami Hagiya, Shaoyu Wang, Ibuki Kawamata, Satoshi Murata, Teijiro Isokawa, Ferdinand Peper, Katsunobu Imai |
| 2012 | ISPEC | Computational Soundness of Indistinguishability Properties without Computable Parsing. | Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, Hideki Sakurada |
| 2011 | SEFM | Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. | Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya |
| 2010 | WoLLIC | Decidability and Undecidability Results on the Modal | Alexis Goyet, Masami Hagiya, Yoshinori Tanabe |
| 2009 | DNA | Automatic Design of DNA Logic Gates Based on Kinetic Simulation. | Ibuki Kawamata, Fumiaki Tanaka, Masami Hagiya |
| 2009 | ICSE | Verifying networked programs using a model checker extension. | Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2008 | AiML | A decision procedure for alternation-free modal -calculi. | Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya |
| 2008 | DNA | Towards DNA Comparator: The Machine That Compares DNA Concentrations. | Fumiaki Tanaka, Takashi Tsuda, Masami Hagiya |
| 2008 | SNPD | Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe |
| 2008 | SNPD | Tools and Techniques for Model Checking Networked Programs. | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe |
| 2007 | DNA | Combining Randomness and a High-Capacity DNA Memory. | Atsushi Kameda, Satoshi Kashiwamura, Masahito Yamamoto, Azuma Ohuchi, Masami Hagiya |
| 2007 | DNA | Multi-fueled Approach to DNA Nano-Robotics. | Akio Nishikawa, Satsuki Yaegashi, Kazumasa Ohtake, Masami Hagiya |
| 2006 | DNA | Unravel Four Hairpins! | Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya |
| 2006 | DNA | Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on DNA Hairpin Formation. | Ken Komiya, Satsuki Yaegashi, Masami Hagiya, Akira Suyama, John A. Rose |
| 2006 | DNA | Displacement Whiplash PCR: Optimized Architecture and Experimental Validation. | John A. Rose, Ken Komiya, Satsuki Yaegashi, Masami Hagiya |
| 2005 | CCA | Molecular Computing and Real Number Computing. | Masami Hagiya |
| 2005 | DNA | Photo- and Thermoregulation of DNA Nanomachines. | Keiichiro Takahashi, Satsuki Yaegashi, Hiroyuki Asanuma, Masami Hagiya |
| 2005 | DNA | Chain Reaction Systems Based on Loop Dissociation of DNA. | Keiichiro Takahashi, Satsuki Yaegashi, Atsushi Kameda, Masami Hagiya |
| 2005 | TABLEAUX | A Decision Procedure for the Alternation-Free Two-Way Modal -Calculus. | Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya |
| 2005 | UC | Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing. | Masami Hagiya |
| 2004 | DNA | Minimum Basin Algorithm: An Effective Analysis Technique for DNA Energy Landscapes. | Mitsuhiro Kubota, Masami Hagiya |
| 2004 | FLOPS | Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. | Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato |
| 2003 | CEC | Branching DNA machines based on transitions of hairpin structures. | Mitsuhiro Kubota, Kazumasa Ohtake, Ken Komiya, Kensaku Sakamoto, Masami Hagiya |
| 2003 | CEC | The fidelity of the tag-antitag system II: reconciliation with the stringency picture. | John A. Rose, Masami Hagiya, Akira Suyama |
| 2003 | DNA | Conformational Addressing Using the Hairpin Structure of Single-Strand DNA. | Atsushi Kameda, Masahito Yamamoto, Hiroki Uejima, Masami Hagiya, Kensaku Sakamoto, Azuma Ohuchi |
| 2003 | DNA | Secondary Structure Design of Multi-state DNA Machines Based on Sequential Structure Transitions. | Hiroki Uejima, Masami Hagiya |
| 2003 | DNA | Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules. | Hiroki Uejima, Masami Hagiya |
| 2001 | APLAS | Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata. | Mitsuharu Yamamoto, Masami Hagiya |
| 2001 | DNA | PNA-mediated Whiplash PCR. | John A. Rose, Russell J. Deaton, Masami Hagiya, Akira Suyama |
| 2001 | DNA | The Fidelity of the Tag-Antitag System. | John A. Rose, Russell J. Deaton, Masami Hagiya, Akira Suyama |
| 2001 | DNA | Horn Clause Computation by Self-assembly of DNA Molecules. | Hiroki Uejima, Masami Hagiya, Satoshi Kobayashi |
| 2000 | APLAS | Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. | Koichi Takahashi, Masami Hagiya |
| 2000 | DIS | Discovery and Deduction. | Masami Hagiya, Koichi Takahashi |
| 2000 | DNA | From Molecular Computing to Molecular Programming. | Masami Hagiya |
| 2000 | DNA | Successive State Transitions with I/O Interface by Molecules. | Ken Komiya, Kensaku Sakamoto, Hidetaka Gouzu, Shigeyuki Yokoyama, Masanori Arita, Akio Nishikawa, Masami Hagiya |
| 2000 | GECCO | Improving Sequence Design for DNA Computing. | Masanori Arita, Akio Nishikawa, Masami Hagiya, Ken Komiya, Hidetaka Gouzu, Kensaku Sakamoto |
| 1999 | CEC | Towards a system for simulating DNA computing with whiplash PCR. | Akio Nishikawa, Masami Hagiya |
| 1998 | JELIA | Higher Order Generalization. | Jianguo Lu, Masateru Harao, Masami Hagiya |
| 1998 | SAS | On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. | Masami Hagiya, Akihiko Tozawa |
| 1997 | ICEC | Joining and rotating data with molecules. | Masanori Arita, Masami Hagiya, Akira Suyama |
| 1997 | ICFP | A Bounds Inference Method for Vector-Based Memoisation. | Wei-Ngan Chin, Masami Hagiya |
| 1993 | ALT | A Typed Lambda-Calculus for Proving-by-Example and Bottom-Up Generalization Procedure. | Masami Hagiya |
| 1992 | PSC | Running Higher-Order Unification in PaiLisp. | Masami Hagiya |
| 1991 | ICLP | Higher-Order Unification as a Theorem Proving Procedure. | Masami Hagiya |
| 1990 | ALT | Synthesis of Rewrite Programs by Higher-Order and Semantic Unification. | Masami Hagiya |
| 1990 | ALT | Model Inference of Constrained Recursive Figures. | Shuling Liu, Masami Hagiya |
| 1990 | CADE | Programming by Example and Proving by Example Using Higher-order Unification. | Masami Hagiya |