Masami Hagiya

According to our database1, Masami Hagiya
  • authored at least 123 papers between 1984 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Renewal of the Major Fields.
New Generation Comput., 2017

Model-Based API Testing of Apache ZooKeeper.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Evolutionary optimization of self-assembly in a swarm of bio-micro-robots.
Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Turing-Completeness of Asynchronous Non-camouflage Cellular Automata.
Proceedings of the Cellular Automata and Discrete Complex Systems, 2017

2016
Molecular computers for molecular robots as hybrid systems.
Theor. Comput. Sci., 2016

Java Pathfinder on Android Devices.
ACM SIGSOFT Software Engineering Notes, 2016

Preface.
Natural Computing, 2016

Universal Totalistic Asynchonous Cellular Automaton and Its Possible Implementation by DNA.
Proceedings of the Unconventional Computation and Natural Computation, 2016

Implementation of Turing Machine Using DNA Strand Displacement.
Proceedings of the Theory and Practice of Natural Computing - 5th International Conference, 2016

Runtime Monitoring for Concurrent Systems.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Pattern Formation and Computation by Autonomous Chemical Reaction Diffusion Model Inspired by Cellular Automata.
Proceedings of the Fourth International Symposium on Computing and Networking, 2016

2015
Defining Informatics across Bun-kei and Ri-kei.
JIP, 2015

Software Model Checking of UDP-based Distributed Applications.
IJNC, 2015

Using Checkpointing and Virtualization for Fault Injection.
IJNC, 2015

Cardinality of UDP Transmission Outcomes.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

GRT at the SBST 2015 Tool Competition.
Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

An Approach to Constructing and Simulating Block Cellular Automata by Gellular Automata.
Proceedings of the Third International Symposium on Computing and Networking, 2015

2014
Modular Software Model Checking for Distributed Systems.
IEEE Trans. Software Eng., 2014

A Knoppix-based demonstration environment for JPF.
ACM SIGSOFT Software Engineering Notes, 2014

Enforcing logical delays in DNA computing systems.
Natural Computing, 2014

On DNA-Based Gellular Automata.
Proceedings of the Unconventional Computation and Natural Computation, 2014

On the Composition of Signals in Gellular Automata.
Proceedings of the Second International Symposium on Computing and Networking, 2014

Software Model Checking of UDP-based Distributed Applications.
Proceedings of the Second International Symposium on Computing and Networking, 2014

Using Checkpointing and Virtualization for Fault Injection.
Proceedings of the Second International Symposium on Computing and Networking, 2014

2013
Molecular Robotics: A New Paradigm for Artifacts.
New Generation Comput., 2013

Software model checking for distributed systems with selector-based, non-blocking communication.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Modbat: A Model-Based API Tester for Event-Driven Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2013

Evolution of Cheating DNA-based Agents Playing the Game of Rock-Paper-Scissors.
Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, 2013

2012
Molecular Computing Machineries - Computing Models and Wet Implementations.
Proceedings of the Handbook of Natural Computing, 2012

DNA Memory.
Proceedings of the Handbook of Natural Computing, 2012

Computational Soundness of Indistinguishability Properties without Computable Parsing.
Proceedings of the Information Security Practice and Experience, 2012

Abstraction of Graph-Based Models of Bio-molecular Reaction Systems for Efficient Simulation.
Proceedings of the Computational Methods in Systems Biology, 2012

2011
Implementations of computational state transitions with biomolecules.
Scholarpedia, 2011

Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Model checking distributed systems by combining caching and process checkpointing.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Analysis on Secure and Effective Applications of a DNA-Based Cryptosystem.
Proceedings of the Sixth International Conference on Bio-Inspired Computing: Theories and Applications, 2011

2010
IT for synthetic biology and DNA nanotechnology.
ACM Crossroads, 2010

Decidability and Undecidability Results on the Modal µ-Calculus with a Natural Number-Valued Semantics.
Proceedings of the Logic, 2010

Model Checking of Concurrent Algorithms: From Java to C.
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

Implementation of tile sequencing for DNA logical computation toward next-generation information security.
Proceedings of the Fifth International Conference on Bio-Inspired Computing: Theories and Applications, 2010

2009
The 2nd International Workshop on Natural Computing.
New Generation Comput., 2009

Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption.
Proceedings of the Formal to Practical Security, 2009

Introduction of Virtualization Technology to Multi-Process Model Checking.
Proceedings of the First NASA Formal Methods Symposium, 2009

Cache-Based Model Checking of Networked Applications: From Linear to Branching Time.
Proceedings of the ASE 2009, 2009

Verifying networked programs using a model checker extension.
Proceedings of the 31st International Conference on Software Engineering, 2009

Fixed-Point Computations over Functions on Integers with Operations min, max and plus.
Proceedings of the 6th Workshop on Fixed Points in Computer Science, 2009

Automatic Design of DNA Logic Gates Based on Kinetic Simulation.
Proceedings of the DNA Computing and Molecular Programming, 15th International Conference, 2009

2008
Designing Chemical and Biological Systems.
New Generation Comput., 2008

Multi-fueled approach to DNA nano-robotics.
Natural Computing, 2008

Unravel four hairpins!
Natural Computing, 2008

Efficient Model Checking of Networked Applications.
Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Tools and Techniques for Model Checking Networked Programs.
Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008

Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs.
Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008

Towards DNA Comparator: The Machine That Compares DNA Concentrations.
Proceedings of the DNA Computing, 14th International Meeting on DNA Computing, 2008

A decision procedure for alternation-free modal µ-calculi.
Proceedings of the Advances in Modal Logic 7, 2008

2007
Multi-fueled Approach to DNA Nano-Robotics.
Proceedings of the DNA Computing, 13th International Meeting on DNA Computing, 2007

Combining Randomness and a High-Capacity DNA Memory.
Proceedings of the DNA Computing, 13th International Meeting on DNA Computing, 2007

2006
Computing with Hairpins and Secondary Structures of DNA.
Proceedings of the Nanotechnology: Science and Computation, 2006

Displacement Whiplash PCR: Optimized Architecture and Experimental Validation.
Proceedings of the DNA Computing, 12th International Meeting on DNA Computing, 2006

Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on DNA Hairpin Formation.
Proceedings of the DNA Computing, 12th International Meeting on DNA Computing, 2006

Unravel Four Hairpins!
Proceedings of the DNA Computing, 12th International Meeting on DNA Computing, 2006

2005
Hairpin-based state machine and conformational addressing: Design and experiment.
Natural Computing, 2005

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification.
Proceedings of the Verified Software: Theories, 2005

Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing.
Proceedings of the Unconventional Computation, 4th International Conference, 2005

A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

Chain Reaction Systems Based on Loop Dissociation of DNA.
Proceedings of the DNA Computing, 11th International Workshop on DNA Computing, 2005

Photo- and Thermoregulation of DNA Nanomachines.
Proceedings of the DNA Computing, 11th International Workshop on DNA Computing, 2005

Molecular Computing and Real Number Computing.
Proceedings of the CCA 2005, 2005

2004
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic.
Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

Minimum Basin Algorithm: An Effective Analysis Technique for DNA Energy Landscapes.
Proceedings of the DNA Computing, 10th International Workshop on DNA Computing, 2004

2003
A DNA Computing-based Genetic Program for In Vitro Protein Evolution via Constrained Pseudomodule Shuffling.
Genetic Programming and Evolvable Machines, 2003

XML Schema Containment Checking Based on Semi-implicit Techniques.
Proceedings of the Implementation and Application of Automata, 2003

UML Scrapbook and Realization of Snapshot Programming Environment.
Proceedings of the Software Security, 2003

Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules.
Proceedings of the DNA Computing, 9th International Workshop on DNA Based Computers, 2003

Secondary Structure Design of Multi-state DNA Machines Based on Sequential Structure Transitions.
Proceedings of the DNA Computing, 9th International Workshop on DNA Based Computers, 2003

Conformational Addressing Using the Hairpin Structure of Single-Strand DNA.
Proceedings of the DNA Computing, 9th International Workshop on DNA Based Computers, 2003

2002
Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms.
Theor. Comput. Sci., 2002

Biomolecular Computing - Preface.
New Generation Comput., 2002

Formalization and Analysis of Class Loading in Java.
Higher-Order and Symbolic Computation, 2002

Verification of Authentication Protocols Based on the Binding Relation.
Proceedings of the Software Security -- Theories and Systems, 2002

Decidability of Safety Properties of Timed Multiset Rewriting.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

Searching for Mutual Exclusion Algorithms Using BDDs.
Proceedings of the Progress in Discovery Science, 2002

2001
DNA computation simulator based on abstract bases.
Soft Comput., 2001

Horn Clause Computation by Self-assembly of DNA Molecules.
Proceedings of the DNA Computing, 7th International Workshop on DNA-Based Computers, 2001

The Fidelity of the Tag-Antitag System.
Proceedings of the DNA Computing, 7th International Workshop on DNA-Based Computers, 2001

PNA-mediated Whiplash PCR.
Proceedings of the DNA Computing, 7th International Workshop on DNA-Based Computers, 2001

Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000
Higher order generalization and its application in program verification.
Ann. Math. Artif. Intell., 2000

Theory and Construction of Molecular Computers.
Proceedings of the Theoretical Computer Science, 2000

Improving Sequence Design for DNA Computing.
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '00), 2000

Successive State Transitions with I/O Interface by Molecules.
Proceedings of the DNA Computing, 6th International Workshop on DNA-Based Computers, 2000

From Molecular Computing to Molecular Programming.
Proceedings of the DNA Computing, 6th International Workshop on DNA-Based Computers, 2000

Discovery and Deduction.
Proceedings of the Discovery Science, 2000

Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection.
Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1999
Perspectives on Molecular Computing.
New Generation Comput., 1999

Proving as Editing HOL Tactics.
Formal Asp. Comput., 1999

Careful Analysis of Type Spoofing.
Java-Informations-Tage, 1999

1998
Formalization of Graph Search Algorithms and Its Applications.
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines.
Proceedings of the Static Analysis, 5th International Symposium, 1998

Higher Order Generalization.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1997
A Bounds Inference Method for Vector-Based Memoisation.
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

Towards parallel evaluation and learning of Boolean μ-formulas with molecules.
Proceedings of the DNA Based Computers, 1997

1996
Preface.
Inf. Comput., 1996

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

Knowledge-Based Simulation of Regulatory Action in lambda phage.
International Journal on Artificial Intelligence Tools, 1995

A Transformation Method for Dynamic-Sized Tabulation.
Acta Inf., 1995

Programming by Example in Computing-as-Editing Paradigm.
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

Formalization of Planar Graphs.
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1994
On Implicit Arguments.
Proceedings of the Logic, 1994

1993
Foreword: Selected Papers of TACS 1991.
Sci. Comput. Program., 1993

An Iterative and Bottom-up Procedure for Proving-by-Example.
Proceedings of the Machine Learning: ECML-93, 1993

A Typed Lambda-Calculus for Proving-by-Example and Bottom-Up Generalization Procedure.
Proceedings of the Algorithmic Learning Theory, 4th International Workshop, 1993

1992
A Formal Approach to Visual Proving Based on Logic Programming.
Proceedings of the 1992 IEEE Workshop on Visual Languages, 1992

Running Higher-Order Unification in PaiLisp.
Proceedings of the Parallel Symbolic Computing: Languages, 1992

1991
Synthesis of Rewrite Programs by Higher-order and Semantic Unification.
New Generation Comput., 1991

From Programming-by-Example to Proving-by-Example.
Proceedings of the Theoretical Aspects of Computer Software, 1991

Higher-Order Unification as a Theorem Proving Procedure.
Proceedings of the Logic Programming, 1991

1990
Programming by Example and Proving by Example Using Higher-order Unification.
Proceedings of the 10th International Conference on Automated Deduction, 1990

Model Inference of Constrained Recursive Figures.
Proceedings of the Algorithmic Learning Theory, First International Workshop, 1990

Synthesis of Rewrite Programs by Higher-Order and Semantic Unification.
Proceedings of the Algorithmic Learning Theory, First International Workshop, 1990

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

Meta-Circular Interpreter for a Strongly Typed Language.
J. Symb. Comput., 1989

1984
Foundation of Logic Programming Based on Inductive Definition.
New Generation Comput., 1984


  Loading...