Masami Hagiya

Available identifiers

zbMath Open hagiya.masamiMaRDI QIDQ288805

List of research outcomes

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
Unravel Four Hairpins!	2008-04-04	Paper
Displacement Whiplash PCR: Optimized Architecture and Experimental Validation	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/Q3044481	2004-08-11	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/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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Masami Hagiya