Foundation of Logic Programming Based on Inductive Definition. - Masami Hagiya; Takafumi Sakurai (New Gener. Comput., 1984)

Meta-Circular Interpreter for a Strongly Typed Language. - Masami Hagiya (J. Symb. Comput., 1989)

Generalization from Partial Parametrization in Higher-Order Type Theory. - Masami Hagiya (Theor. Comput. Sci., 1989)

Model Inference of Constrained Recursive Figures. - Shuling Liu; Masami Hagiya (ALT, 1990)

Programming by Example and Proving by Example Using Higher-order Unification. - Masami Hagiya (CADE, 1990)

Higher-Order Unification as a Theorem Proving Procedure. - Masami Hagiya (ICLP, 1991)

From Programming-by-Example to Proving-by-Example. - Masami Hagiya (TACS, 1991)

Synthesis of Rewrite Programs by Higher-order and Semantic Unification. - Masami Hagiya (New Gener. Comput., 1991)

Running Higher-Order Unification in PaiLisp. - Masami Hagiya (Parallel Symbolic Computing, 1992)

A Formal Approach to Visual Proving Based on Logic Programming. - Masami Hagiya (VL, 1992)

An Iterative and Bottom-up Procedure for Proving-by-Example. - Masami Hagiya (ECML, 1993)

Foreword: Selected Papers of TACS 1991. - Krzysztof R. Apt; Masami Hagiya (Sci. Comput. Program., 1993)

On Implicit Arguments. - Masami Hagiya; Yozo Toda (Logic, Language and Computation, 1994)

Formalization of Planar Graphs. - Mitsuharu Yamamoto; Shin-ya Nishizaki; Masami Hagiya; Yozo Toda (TPHOLs, 1995)

Programming by Example in Computing-as-Editing Paradigm. - Masami Hagiya; Tomoki Shiratori (VL, 1995)

A Transformation Method for Dynamic-Sized Tabulation. - Wei-Ngan Chin; Masami Hagiya (Acta Informatica, 1995)

Knowledge-Based Simulation of Regulatory Action in lambda phage. - Tomoaki Shimada; Masami Hagiya; Masanori Arita; Shin-ya Nishizaki; Chew Lim Tan (Int. J. Artif. Intell. Tools, 1995)

A Typed lambda-Calculus for Proving-by-Example and Bottom-Up Generalization Procedure. - Masami Hagiya (Theor. Comput. Sci., 1995)

Preface. - Masami Hagiya (Inf. Comput., 1996)

Towards parallel evaluation and learning of Boolean μ-formulas with molecules. - Masami Hagiya; Masanori Arita; Daisuke Kiga; Kensaku Sakamoto; Shigeyuki Yokoyama (DNA Based Computers, 1997)

Joining and rotating data with molecules. - Masanori Arita; Masami Hagiya; Akira Suyama (ICEC, 1997)

A Bounds Inference Method for Vector-Based Memoisation. - Wei-Ngan Chin; Masami Hagiya (ICFP, 1997)

Higher Order Generalization. - Jianguo Lu; Masateru Harao; Masami Hagiya (JELIA, 1998)

On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. - Masami Hagiya; Akihiko Tozawa (SAS, 1998)

Formalization of Graph Search Algorithms and Its Applications. - Mitsuharu Yamamoto; Koichi Takahashi; Masami Hagiya; Shin-ya Nishizaki; Tetsuo Tamai (TPHOLs, 1998)

Towards a system for simulating DNA computing with whiplash PCR. - Akio Nishikawa; Masami Hagiya (CEC, 1999)

Careful Analysis of Type Spoofing. - Akihiko Tozawa; Masami Hagiya (Java-Informations-Tage, 1999)

Proving as Editing HOL Tactics. - Koichi Takahashi; Masami Hagiya (Formal Aspects Comput., 1999)

Perspectives on Molecular Computing. - Masami Hagiya (New Gener. Comput., 1999)

Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. - Koichi Takahashi; Masami Hagiya (APLAS, 2000)

Discovery and Deduction. - Masami Hagiya; Koichi Takahashi (Discovery Science, 2000)

From Molecular Computing to Molecular Programming. - Masami Hagiya (DNA Computing, 2000)

Successive State Transitions with I/O Interface by Molecules. - Ken Komiya; Kensaku Sakamoto; Hidetaka Gouzu; Shigeyuki Yokoyama; Masanori Arita; Akio Nishikawa; Masami Hagiya (DNA Computing, 2000)

Improving Sequence Design for DNA Computing. - Masanori Arita; Akio Nishikawa; Masami Hagiya; Ken Komiya; Hidetaka Gouzu; Kensaku Sakamoto (GECCO, 2000)

Theory and Construction of Molecular Computers. - Masami Hagiya (IFIP TCS, 2000)

Higher order generalization and its application in program verification. - Jianguo Lu; John Mylopoulos; Masateru Harao; Masami Hagiya (Ann. Math. Artif. Intell., 2000)

Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata. - Mitsuharu Yamamoto; Masami Hagiya (APLAS, 2001)

PNA-mediated Whiplash PCR. - John A. Rose; Russell J. Deaton; Masami Hagiya; Akira Suyama (DNA, 2001)

The Fidelity of the Tag-Antitag System. - John A. Rose; Russell J. Deaton; Masami Hagiya; Akira Suyama (DNA, 2001)

Horn Clause Computation by Self-assembly of DNA Molecules. - Hiroki Uejima; Masami Hagiya; Satoshi Kobayashi (DNA, 2001)

DNA computation simulator based on abstract bases. - Akio Nishikawa; Masayuki Yamamura; Masami Hagiya (Soft Comput., 2001)

Searching for Mutual Exclusion Algorithms Using BDDs. - Koichi Takahashi; Masami Hagiya (Progress in Discovery Science, 2002)

Decidability of Safety Properties of Timed Multiset Rewriting. - Mitsuharu Yamamoto; Jean-Marie Cottin; Masami Hagiya (FTRTFT, 2002)

Verification of Authentication Protocols Based on the Binding Relation. - Masami Hagiya; Ryo Takemura; Koichi Takahashi; Takamichi Saito (ISSS, 2002)

Computation scrapbooks for software evolution. - Richard Potter; Masami Hagiya (IWPSE, 2002)

Formalization and Analysis of Class Loading in Java. - Akihiko Tozawa; Masami Hagiya (High. Order Symb. Comput., 2002)

Biomolecular Computing - Preface. - Masayuki Yamamura; Tom Head; Masami Hagiya (New Gener. Comput., 2002)

Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms. - Masami Hagiya; John A. Rose; Ken Komiya; Kensaku Sakamoto (Theor. Comput. Sci., 2002)

Branching DNA machines based on transitions of hairpin structures. - Mitsuhiro Kubota; Kazumasa Ohtake; Ken Komiya; Kensaku Sakamoto; Masami Hagiya (IEEE Congress on Evolutionary Computation, 2003)

The fidelity of the tag-antitag system II: reconciliation with the stringency picture. - John A. Rose; Masami Hagiya; Akira Suyama (IEEE Congress on Evolutionary Computation, 2003)

Conformational Addressing Using the Hairpin Structure of Single-Strand DNA. - Atsushi Kameda; Masahito Yamamoto; Hiroki Uejima; Masami Hagiya; Kensaku Sakamoto; Azuma Ohuchi (DNA, 2003)

Secondary Structure Design of Multi-state DNA Machines Based on Sequential Structure Transitions. - Hiroki Uejima; Masami Hagiya (DNA, 2003)

Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules. - Hiroki Uejima; Masami Hagiya (DNA, 2003)

UML Scrapbook and Realization of Snapshot Programming Environment. - Osamu Sato; Richard Potter; Mitsuharu Yamamoto; Masami Hagiya (ISSS, 2003)

XML Schema Containment Checking Based on Semi-implicit Techniques. - Akihiko Tozawa; Masami Hagiya (CIAA, 2003)

A DNA Computing-based Genetic Program for In Vitro Protein Evolution via Constrained Pseudomodule Shuffling. - John A. Rose; Mitsunori Takano; Masami Hagiya; Akira Suyama (Genet. Program. Evolvable Mach., 2003)

Minimum Basin Algorithm: An Effective Analysis Technique for DNA Energy Landscapes. - Mitsuhiro Kubota; Masami Hagiya (DNA, 2004)

Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. - Masami Hagiya; Koichi Takahashi; Mitsuharu Yamamoto; Takahiro Sato (FLOPS, 2004)

Molecular Computing and Real Number Computing. - Masami Hagiya (CCA, 2005)

Photo- and Thermoregulation of DNA Nanomachines. - Keiichiro Takahashi; Satsuki Yaegashi; Hiroyuki Asanuma; Masami Hagiya (DNA, 2005)

Chain Reaction Systems Based on Loop Dissociation of DNA. - Keiichiro Takahashi; Satsuki Yaegashi; Atsushi Kameda; Masami Hagiya (DNA, 2005)

A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. - Yoshinori Tanabe; Koichi Takahashi; Mitsuharu Yamamoto; Akihiko Tozawa; Masami Hagiya (TABLEAUX, 2005)

Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing. - Masami Hagiya (UC, 2005)

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. - Mitsuharu Yamamoto; Yoshinori Tanabe; Koichi Takahashi; Masami Hagiya (VSTTE, 2005)

Hairpin-based state machine and conformational addressing: Design and experiment. - Atsushi Kameda; Masahito Yamamoto; Hiroki Uejima; Masami Hagiya; Kensaku Sakamoto; Azuma Ohuchi (Nat. Comput., 2005)

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 (DNA, 2006)

Displacement Whiplash PCR: Optimized Architecture and Experimental Validation. - John A. Rose; Ken Komiya; Satsuki Yaegashi; Masami Hagiya (DNA, 2006)

Computing with Hairpins and Secondary Structures of DNA. - Masami Hagiya; Satsuki Yaegashi; Keiichiro Takahashi (Nanotechnology: Science and Computation, 2006)

Combining Randomness and a High-Capacity DNA Memory. - Atsushi Kameda; Satoshi Kashiwamura; Masahito Yamamoto; Azuma Ohuchi; Masami Hagiya (DNA, 2007)

Multi-fueled Approach to DNA Nano-Robotics. - Akio Nishikawa; Satsuki Yaegashi; Kazumasa Ohtake; Masami Hagiya (DNA, 2007)

Sub-Computation Based Transition Predicate Abstraction. - Carl Christian Frederiksen; Masami Hagiya (Inf. Media Technol., 2007)

A decision procedure for alternation-free modal µ-calculi. - Yoshinori Tanabe; Koichi Takahashi; Masami Hagiya (Advances in Modal Logic, 2008)

Towards DNA Comparator: The Machine That Compares DNA Concentrations. - Fumiaki Tanaka; Takashi Tsuda; Masami Hagiya (DNA, 2008)

Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. - Cyrille Artho; Watcharin Leungwattanakit; Masami Hagiya; Yoshinori Tanabe (SNPD, 2008)

Tools and Techniques for Model Checking Networked Programs. - Cyrille Artho; Watcharin Leungwattanakit; Masami Hagiya; Yoshinori Tanabe (SNPD, 2008)

Efficient Model Checking of Networked Applications. - Cyrille Artho; Watcharin Leungwattanakit; Masami Hagiya; Yoshinori Tanabe (TOOLS (46), 2008)

Unravel four hairpins! - Atsushi Kameda; Masahito Yamamoto; Azuma Ohuchi; Satsuki Yaegashi; Masami Hagiya (Nat. Comput., 2008)

Multi-fueled approach to DNA nano-robotics. - Akio Nishikawa; Satsuki Yaegashi; Fumiaki Tanaka; Kazumasa Ohtake; Masami Hagiya (Nat. Comput., 2008)

Designing Chemical and Biological Systems. - Masami Hagiya (New Gener. Comput., 2008)

Hybrid Method for Simulating Small-Number Molecular Systems. - Kazufumi Mizunuma; Masami Hagiya (Algorithmic Bioprocesses, 2009)

Automatic Design of DNA Logic Gates Based on Kinetic Simulation. - Ibuki Kawamata; Fumiaki Tanaka; Masami Hagiya (DNA, 2009)

Fixed-Point Computations over Functions on Integers with Operations min, max and plus. - Yoshinori Tanabe; Masami Hagiya (FICS, 2009)

Verifying networked programs using a model checker extension. - Watcharin Leungwattanakit; Cyrille Artho; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (ICSE Companion, 2009)

Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. - Cyrille Artho; Watcharin Leungwattanakit; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (ASE, 2009)

Introduction of Virtualization Technology to Multi-Process Model Checking. - Watcharin Leungwattanakit; Cyrille Valentin Artho; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (NASA Formal Methods, 2009)

Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption. - Yusuke Kawamoto 001; Hideki Sakurada; Masami Hagiya (Formal to Practical Security, 2009)

The 2nd International Workshop on Natural Computing. - Yasuhiro Suzuki; Masami Hagiya; Hiroshi Umeo; Andrew Adamatzky (New Gener. Comput., 2009)

Implementation of tile sequencing for DNA logical computation toward next-generation information security. - Miki Hirabayashi; Hiroaki Kojima; Kazuhiro Oiwa; Akio Nishikawa; Fumiaki Tanaka; Masami Hagiya (BIC-TA, 2010)

Model Checking of Concurrent Algorithms: From Java to C. - Cyrille Artho; Masami Hagiya; Watcharin Leungwattanakit; Yoshinori Tanabe; Mitsuharu Yamamoto (DIPES/BICC, 2010)

Decidability and Undecidability Results on the Modal µ-Calculus with a Natural Number-Valued Semantics. - Alexis Goyet; Masami Hagiya; Yoshinori Tanabe (WoLLIC, 2010)

IT for synthetic biology and DNA nanotechnology. - Masami Hagiya; Fumiaki Tanaka; Ibuki Kawamata (XRDS, 2010)

Modal μ-calculus on Min-plus Algebra N∞. - Dai Ikarashi; Yoshinori Tanabe; Koki Nishizawa; Masami Hagiya (Inf. Media Technol., 2010)

Analysis on Secure and Effective Applications of a DNA-Based Cryptosystem. - Miki Hirabayashi; Akio Nishikawa; Fumiaki Tanaka; Masami Hagiya; Hiroaki Kojima; Kazuhiro Oiwa (BIC-TA, 2011)

Model checking distributed systems by combining caching and process checkpointing. - Watcharin Leungwattanakit; Cyrille Artho; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (ASE, 2011)

Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. - Kosuke Ono; Yoichi Hirai; Yoshinori Tanabe; Natsuko Noda; Masami Hagiya (SEFM, 2011)

Implementations of computational state transitions with biomolecules. - Masami Hagiya (Scholarpedia, 2011)

Abstraction of Graph-Based Models of Bio-molecular Reaction Systems for Efficient Simulation. - Ibuki Kawamata; Nathanael Aubert; Masahiro Hamano; Masami Hagiya (CMSB, 2012)

Computational Soundness of Indistinguishability Properties without Computable Parsing. - Hubert Comon-Lundh; Masami Hagiya; Yusuke Kawamoto 001; Hideki Sakurada (ISPEC, 2012)

DNA Memory. - Masanori Arita; Masami Hagiya; Masahiro Takinoue; Fumiaki Tanaka (Handbook of Natural Computing, 2012)

Molecular Computing Machineries - Computing Models and Wet Implementations. - Masami Hagiya; Satoshi Kobayashi; Ken Komiya; Fumiaki Tanaka; Takashi Yokomori (Handbook of Natural Computing, 2012)

Evolution of Cheating DNA-based Agents Playing the Game of Rock-Paper-Scissors. - Nathanael Aubert; Quang Huy Dinh; Masami Hagiya; Hitoshi Iba; Teruo Fujii; Nicolas Bredèche; Yannick Rondelez (ECAL, 2013)

Modbat: A Model-Based API Tester for Event-Driven Systems. - Cyrille Valentin Artho; Armin Biere; Masami Hagiya; Eric Platon; Martina Seidl; Yoshinori Tanabe; Mitsuharu Yamamoto (Haifa Verification Conference, 2013)

Software model checking for distributed systems with selector-based, non-blocking communication. - Cyrille Artho; Masami Hagiya; Richard Potter; Yoshinori Tanabe; Franz Weitl; Mitsuharu Yamamoto (ASE, 2013)

Molecular Robotics: A New Paradigm for Artifacts. - Satoshi Murata; Akihiko Konagaya; Satoshi Kobayashi; Hirohide Saito; Masami Hagiya (New Gener. Comput., 2013)

On the Composition of Signals in Gellular Automata. - Shaoyu Wang; Katsunobu Imai; Masami Hagiya (CANDAR, 2014)

On DNA-Based Gellular Automata. - Masami Hagiya; Shaoyu Wang; Ibuki Kawamata; Satoshi Murata; Teijiro Isokawa; Ferdinand Peper; Katsunobu Imai (UCNC, 2014)

Enforcing logical delays in DNA computing systems. - Nathanael Aubert; Yannick Rondelez; Teruo Fujii; Masami Hagiya (Nat. Comput., 2014)

A Knoppix-based demonstration environment for JPF. - Richard Potter; Cyrille Artho; Kuniyasu Suzaki; Masami Hagiya (ACM SIGSOFT Softw. Eng. Notes, 2014)

Modular Software Model Checking for Distributed Systems. - Watcharin Leungwattanakit; Cyrille Artho; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto; Koichi Takahashi (IEEE Trans. Software Eng., 2014)

An Approach to Constructing and Simulating Block Cellular Automata by Gellular Automata. - Shaoyu Wang; Katsunobu Imai; Masami Hagiya (CANDAR, 2015)

GRT at the SBST 2015 Tool Competition. - Lei Ma 003; Cyrille Artho; Cheng Zhang; Hiroyuki Sato; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (SBST@ICSE, 2015)

Cardinality of UDP Transmission Outcomes. - Franz Weitl; Nazim Sebih; Cyrille Artho; Masami Hagiya; Yoshinori Tanabe; Yoriyuki Yamagata; Mitsuharu Yamamoto (SETTA, 2015)

Using Checkpointing and Virtualization for Fault Injection. - Cyrille Artho; Kuniyasu Suzaki; Masami Hagiya; Watcharin Leungwattanakit; Richard Potter; Eric Platon; Yoshinori Tanabe; Franz Weitl; Mitsuharu Yamamoto (Int. J. Netw. Comput., 2015)

Software Model Checking of UDP-based Distributed Applications. - Nazim Sebih; Masami Hagiya; Franz Weitl; Mitsuharu Yamamoto; Cyrille Artho; Yoshinori Tanabe (Int. J. Netw. Comput., 2015)

Defining Informatics across Bun-kei and Ri-kei. - Masami Hagiya (J. Inf. Process., 2015)

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

Runtime Monitoring for Concurrent Systems. - Yoriyuki Yamagata; Cyrille Artho; Masami Hagiya; Jun Inoue 001; Lei Ma 003; Yoshinori Tanabe; Mitsuharu Yamamoto (RV, 2016)

Implementation of Turing Machine Using DNA Strand Displacement. - Wataru Yahiro; Masami Hagiya (TPNC, 2016)

Universal Totalistic Asynchonous Cellular Automaton and Its Possible Implementation by DNA. - Teijiro Isokawa; Ferdinand Peper; Ibuki Kawamata; Nobuyuki Matsui; Satoshi Murata; Masami Hagiya (UCNC, 2016)

Preface. - Satoshi Murata; Masami Hagiya (Nat. Comput., 2016)

Java Pathfinder on Android Devices. - Alexander Kohan; Mitsuharu Yamamoto; Cyrille Artho; Yoriyuki Yamagata; Lei Ma 003; Masami Hagiya; Yoshinori Tanabe (ACM SIGSOFT Softw. Eng. Notes, 2016)

Molecular computers for molecular robots as hybrid systems. - Masami Hagiya; Nathanaël Aubert-Kato; Shaoyu Wang; Satoshi Kobayashi (Theor. Comput. Sci., 2016)

Evolutionary optimization of self-assembly in a swarm of bio-micro-robots. - Nathanaël Aubert-Kato; Charles Fosseprez; Guillaume Gines; Ibuki Kawamata; Quang Huy Dinh; Leo Cazenille; Andre Estevez-Torres; Masami Hagiya; Yannick Rondelez; Nicolas Bredèche (GECCO, 2017)

Model-Based API Testing of Apache ZooKeeper. - Cyrille Artho; Quentin Gros; Guillaume Rousset; Kazuaki Banzai; Lei Ma 003; Takashi Kitamura 001; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (ICST, 2017)

Renewal of the Major Fields. - Masami Hagiya; Kazunori Ueda; Ryutaro Ichise; Ferdinand Peper; Satoshi Murata (New Gener. Comput., 2017)

On the Persistency of Gellular Automata. - Masami Hagiya; Katsunobu Imai (Reversibility and Universality, 2018)

A reservoir computing approach for molecular computing. - Wataru Yahiro; Nathanaël Aubert-Kato; Masami Hagiya (ALIFE, 2018)

Model-based Network Fault Injection for IoT Protocols. - Jun Yoneyama; Cyrille Artho; Yoshinori Tanabe; Masami Hagiya (ENASE, 2019)

Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants. - Masami Hagiya; Kosuke Fukuda; Yoshinori Tanabe; Toshinori Saito (SUZA, 2019)

Self-stabilizing Gellular Automata. - Tatsuya Yamashita; Akira Yagawa; Masami Hagiya (UCNC, 2019)

Model-Based Testing for MQTT Applications. - Kotaro Tanabe; Yoshinori Tanabe; Masami Hagiya (JCKBSE, 2020)

Turing-completeness of asynchronous non-camouflage cellular automata. - Tatsuya Yamashita; Teijiro Isokawa; Ferdinand Peper; Ibuki Kawamata; Masami Hagiya (Inf. Comput., 2020)

Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. - Cyrille Artho; Kazuaki Banzai; Quentin Gros; Guillaume Rousset; Lei Ma 003; Takashi Kitamura 001; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (Softw. Test. Verification Reliab., 2020)

Self-Stabilizing Distributed Algorithms by Gellular Automata. - Taiga Hongu; Masami Hagiya (Complex Syst., 2021)

Automatic Scoring in Programming Examinations for Beginners. - Yoshinori Tanabe; Masami Hagiya (JCKBSE, 2022)