| Publication | Date of Publication | Type |
|---|
| Programming by example and proving by example using higher-order unification | 2023-04-28 | Paper |
From programming-by-example to proving-by-example
Lecture Notes in Computer Science | 2022-08-16 | Paper |
Self-stabilizing distributed algorithms by gellular automata
Complex Systems | 2021-09-08 | Paper |
| Self-stabilizing distributed algorithms by gellular automata | 2021-07-08 | Paper |
Turing-completeness of asynchronous non-camouflage cellular automata
Information and Computation | 2020-09-17 | Paper |
On the Persistency of Gellular Automata
Reversibility and Universality | 2020-05-28 | Paper |
| Self-stabilizing gellular automata | 2019-10-10 | Paper |
| Implementation of Turing machine using DNA strand displacement | 2018-10-26 | Paper |
Turing-completeness of asynchronous non-camouflage cellular automata
Cellular Automata and Discrete Complex Systems | 2018-03-08 | Paper |
A bounds inference method for vector-based memoization
Proceedings of the second ACM SIGPLAN international conference on Functional programming | 2017-08-21 | Paper |
Universal totalistic asynchonous cellular automaton and its possible implementation by DNA
Unconventional Computation and Natural Computation | 2016-09-28 | Paper |
Molecular computers for molecular robots as hybrid systems
Theoretical Computer Science | 2016-05-27 | Paper |
On DNA-based gellular automata
Unconventional Computation and Natural Computation | 2015-09-14 | Paper |
Computational soundness of indistinguishability properties without computable parsing
Information Security Practice and Experience | 2012-06-29 | Paper |
Decidability of safety properties of timed multiset rewriting
Lecture Notes in Computer Science | 2011-04-08 | Paper |
| A decision procedure for alternation-free modal -calculi | 2011-03-30 | Paper |
Model checking of concurrent algorithms: from Java to C
Distributed, Parallel and Biologically Inspired Systems | 2010-10-27 | Paper |
Decidability and undecidability results on the modal -calculus with a natural number-valued semantics
Logic, Language, Information and Computation | 2010-09-29 | Paper |
Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption
Formal to Practical Security | 2009-06-09 | Paper |
Unravel Four Hairpins!
DNA Computing | 2008-04-04 | Paper |
Displacement Whiplash PCR: Optimized Architecture and Experimental Validation
DNA Computing | 2008-04-04 | Paper |
Functional and Logic Programming
Lecture Notes in Computer Science | 2007-09-25 | Paper |
DNA Computing
Lecture Notes in Computer Science | 2006-10-19 | Paper |
Unconventional Computation
Lecture Notes in Computer Science | 2006-07-07 | Paper |
Automated Reasoning with Analytic Tableaux and Related Methods
Lecture Notes in Computer Science | 2006-07-07 | Paper |
DNA Computing
Lecture Notes in Computer Science | 2006-01-10 | Paper |
DNA Computing
Lecture Notes in Computer Science | 2006-01-10 | Paper |
DNA Computing
Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2185702 (Why is no real title available?) | 2005-07-04 | Paper |
| scientific article; zbMATH DE number 2086319 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087011 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087014 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087030 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1962755 (Why is no real title available?) | 2003-08-11 | Paper |
Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms.
Theoretical Computer Science | 2003-01-21 | Paper |
Formalization and analysis of class loading in Java
Higher-Order and Symbolic Computation | 2002-12-15 | Paper |
| scientific article; zbMATH DE number 1759458 (Why is no real title available?) | 2002-11-25 | Paper |
Higher order generalization and its application in program verification
Annals of Mathematics and Artificial Intelligence | 2002-06-27 | Paper |
| scientific article; zbMATH DE number 1738643 (Why is no real title available?) | 2002-05-07 | Paper |
| scientific article; zbMATH DE number 1568019 (Why is no real title available?) | 2001-02-21 | Paper |
| scientific article; zbMATH DE number 1342097 (Why is no real title available?) | 2001-02-05 | Paper |
| scientific article; zbMATH DE number 1301764 (Why is no real title available?) | 2000-01-12 | Paper |
A typed -calculus for proving-by-example and bottom-up generalization procedure
Theoretical Computer Science | 1997-02-28 | Paper |
A transformation method for dynamic-sized tabulation
Acta Informatica | 1995-06-21 | Paper |
Synthesis of rewrite programs by higher-order and semantic unification
New Generation Computing | 1991-01-01 | Paper |
Generalization from partial parametrization in higher-order type theory
Theoretical Computer Science | 1989-01-01 | Paper |
Meta-circular interpreter for a strongly typed language
Journal of Symbolic Computation | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4016165 (Why is no real title available?) | 1987-01-01 | Paper |
Foundation of logic programming based on inductive definition
New Generation Computing | 1984-01-01 | Paper |
A proof description language and its reduction system
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1983-01-01 | Paper |
