| 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 | 2022-08-16 | Paper |
| Self-Stabilizing Distributed Algorithms by Gellular Automata | 2021-09-08 | Paper |
| Self-stabilizing distributed algorithms by gellular automata | 2021-07-08 | Paper |
| Turing-completeness of asynchronous non-camouflage cellular automata | 2020-09-17 | Paper |
| On the Persistency of Gellular Automata | 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 | 2018-03-08 | Paper |
| A bounds inference method for vector-based memoization | 2017-08-21 | Paper |
| Universal Totalistic Asynchonous Cellular Automaton and Its Possible Implementation by DNA | 2016-09-28 | Paper |
| Molecular computers for molecular robots as hybrid systems | 2016-05-27 | Paper |
| On DNA-Based Gellular Automata | 2015-09-14 | Paper |
| Computational Soundness of Indistinguishability Properties without Computable Parsing | 2012-06-29 | Paper |
| Decidability of Safety Properties of Timed Multiset Rewriting | 2011-04-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3085177 | 2011-03-30 | Paper |
| Model Checking of Concurrent Algorithms: From Java to C | 2010-10-27 | Paper |
| Decidability and Undecidability Results on the Modal μ-Calculus with a Natural Number-Valued Semantics | 2010-09-29 | Paper |
| Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption | 2009-06-09 | Paper |
| Displacement Whiplash PCR: Optimized Architecture and Experimental Validation | 2008-04-04 | Paper |
| Unravel Four Hairpins! | 2008-04-04 | Paper |
| Functional and Logic Programming | 2007-09-25 | Paper |
| DNA Computing | 2006-10-19 | Paper |
| Unconventional Computation | 2006-07-07 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2006-07-07 | Paper |
| DNA Computing | 2006-01-10 | Paper |
| DNA Computing | 2006-01-10 | Paper |
| DNA Computing | 2006-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024892 | 2005-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737639 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737643 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3044481 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737672 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4418585 | 2003-08-11 | Paper |
| Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms. | 2003-01-21 | Paper |
| Formalization and analysis of class loading in Java | 2002-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536408 | 2002-11-25 | Paper |
| Higher order generalization and its application in program verification | 2002-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4529977 | 2002-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4761820 | 2001-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263670 | 2001-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246979 | 2000-01-12 | Paper |
| A typed \(\lambda\)-calculus for proving-by-example and bottom-up generalization procedure | 1997-02-28 | Paper |
| A transformation method for dynamic-sized tabulation | 1995-06-21 | Paper |
| Synthesis of rewrite programs by higher-order and semantic unification | 1991-01-01 | Paper |
| Meta-circular interpreter for a strongly typed language | 1989-01-01 | Paper |
| Generalization from partial parametrization in higher-order type theory | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3028318 | 1987-01-01 | Paper |
| Foundation of logic programming based on inductive definition | 1984-01-01 | Paper |
| A proof description language and its reduction system | 1983-01-01 | Paper |
