Masami Hagiya

Akira Suyama

John A. Rose

Proceedings of the DNA Computing, 12th International Meeting on DNA Computing, 2006

2005

Hairpin-based state machine and conformational addressing: Design and experiment.

[BibT_eX]

[DOI]

Nat. Comput., 2005

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, 2005

Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation, 4th International Conference, 2005

A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

Chain Reaction Systems Based on Loop Dissociation of DNA.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 11th International Workshop on DNA Computing, 2005

Photo- and Thermoregulation of DNA Nanomachines.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 11th International Workshop on DNA Computing, 2005

Molecular Computing and Real Number Computing.

[BibT_eX]

Proceedings of the CCA 2005, 2005

2004

Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

Minimum Basin Algorithm: An Effective Analysis Technique for DNA Energy Landscapes.

[BibT_eX]

[DOI]

Mitsuhiro Kubota

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.

[BibT_eX]

[DOI]

Genet. Program. Evolvable Mach., 2003

XML Schema Containment Checking Based on Semi-implicit Techniques.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2003

UML Scrapbook and Realization of Snapshot Programming Environment.

[BibT_eX]

[DOI]

Proceedings of the Software Security, 2003

Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules.

[BibT_eX]

[DOI]

Hiroki Uejima

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.

[BibT_eX]

[DOI]

Hiroki Uejima

Proceedings of the DNA Computing, 9th International Workshop on DNA Based Computers, 2003

Conformational Addressing Using the Hairpin Structure of Single-Strand DNA.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 9th International Workshop on DNA Based Computers, 2003

The fidelity of the tag-antitag system II: reconciliation with the stringency picture.

[BibT_eX]

[DOI]

John A. Rose

Akira Suyama

Proceedings of the IEEE Congress on Evolutionary Computation, 2003

Branching DNA machines based on transitions of hairpin structures.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2003

2002

Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Biomolecular Computing - Preface.

[BibT_eX]

[DOI]

Masayuki Yamamura

Tom Head

New Gener. Comput., 2002

Formalization and Analysis of Class Loading in Java.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2002

Computation scrapbooks for software evolution.

[BibT_eX]

[DOI]

Richard Potter

Proceedings of the International Workshop on Principles of Software Evolution, 2002

Verification of Authentication Protocols Based on the Binding Relation.

[BibT_eX]

[DOI]

Proceedings of the Software Security -- Theories and Systems, 2002

Decidability of Safety Properties of Timed Multiset Rewriting.

[BibT_eX]

[DOI]

Mitsuharu Yamamoto

Jean-Marie Cottin

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

Searching for Mutual Exclusion Algorithms Using BDDs.

[BibT_eX]

[DOI]

Proceedings of the Progress in Discovery Science, 2002

2001

DNA computation simulator based on abstract bases.

[BibT_eX]

[DOI]

Akio Nishikawa

Masayuki Yamamura

Soft Comput., 2001

Horn Clause Computation by Self-assembly of DNA Molecules.

[BibT_eX]

[DOI]

Hiroki Uejima

Satoshi Kobayashi

Proceedings of the DNA Computing, 7th International Workshop on DNA-Based Computers, 2001

The Fidelity of the Tag-Antitag System.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 7th International Workshop on DNA-Based Computers, 2001

PNA-mediated Whiplash PCR.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 7th International Workshop on DNA-Based Computers, 2001

Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata.

[BibT_eX]

Mitsuharu Yamamoto

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000

Higher order generalization and its application in program verification.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2000

Theory and Construction of Molecular Computers.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 2000

Improving Sequence Design for DNA Computing.

[BibT_eX]

Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '00), 2000

Successive State Transitions with I/O Interface by Molecules.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 6th International Workshop on DNA-Based Computers, 2000

From Molecular Computing to Molecular Programming.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 6th International Workshop on DNA-Based Computers, 2000

Discovery and Deduction.

[BibT_eX]

[DOI]

Proceedings of the Discovery Science, 2000

Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection.

[BibT_eX]

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1999

Perspectives on Molecular Computing.

[BibT_eX]

[DOI]

New Gener. Comput., 1999

Proving as Editing HOL Tactics.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1999

Careful Analysis of Type Spoofing.

[BibT_eX]

[DOI]

Proceedings of the JIT '99, 1999

Towards a system for simulating DNA computing with whiplash PCR.

[BibT_eX]

[DOI]

Akio Nishikawa

Proceedings of the 1999 Congress on Evolutionary Computation, 1999

1998

Formalization of Graph Search Algorithms and Its Applications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 5th International Symposium, 1998

Higher Order Generalization.

[BibT_eX]

[DOI]

Jianguo Lu

Masateru Harao

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1997

A Bounds Inference Method for Vector-Based Memoisation.

[BibT_eX]

[DOI]

Wei-Ngan Chin

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

Towards parallel evaluation and learning of Boolean μ-formulas with molecules.

[BibT_eX]

[DOI]

Proceedings of the DNA Based Computers, 1997

1996

Preface.

[BibT_eX]

[DOI]

Inf. Comput., 1996

1995

A Typed lambda-Calculus for Proving-by-Example and Bottom-Up Generalization Procedure.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

Knowledge-Based Simulation of Regulatory Action in lambda phage.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 1995

A Transformation Method for Dynamic-Sized Tabulation.

[BibT_eX]

[DOI]

Wei-Ngan Chin

Acta Informatica, 1995

Programming by Example in Computing-as-Editing Paradigm.

[BibT_eX]

[DOI]

Tomoki Shiratori

Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

Formalization of Planar Graphs.

[BibT_eX]

[DOI]

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1994

On Implicit Arguments.

[BibT_eX]

[DOI]

Yozo Toda

Proceedings of the Logic, 1994

1993

Foreword: Selected Papers of TACS 1991.

[BibT_eX]

[DOI]

Krzysztof R. Apt

Sci. Comput. Program., 1993

An Iterative and Bottom-up Procedure for Proving-by-Example.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning: ECML-93, 1993

1992

A Formal Approach to Visual Proving Based on Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the 1992 IEEE Workshop on Visual Languages, 1992

Running Higher-Order Unification in PaiLisp.

[BibT_eX]

[DOI]

Proceedings of the Parallel Symbolic Computing: Languages, 1992

1991

Synthesis of Rewrite Programs by Higher-order and Semantic Unification.

[BibT_eX]

[DOI]

New Gener. Comput., 1991

From Programming-by-Example to Proving-by-Example.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, 1991

Higher-Order Unification as a Theorem Proving Procedure.

[BibT_eX]

Proceedings of the Logic Programming, 1991

1990

Programming by Example and Proving by Example Using Higher-order Unification.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Automated Deduction, 1990

Model Inference of Constrained Recursive Figures.

[BibT_eX]

Shuling Liu

Proceedings of the Algorithmic Learning Theory, First International Workshop, 1990

1989

Generalization from Partial Parametrization in Higher-Order Type Theory.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1989

Meta-Circular Interpreter for a Strongly Typed Language.

[BibT_eX]

[DOI]

J. Symb. Comput., 1989

1984

Foundation of Logic Programming Based on Inductive Definition.

[BibT_eX]

[DOI]