Akihisa Yamada

Available identifiers

zbMath Open yamada.akihisaDBLP36/2450-2WikidataQ90744217 ScholiaQ90744217MaRDI QIDQ1648878

List of research outcomes

Publication	Date of Publication	Type
Formalizing results on directed sets in isabelle/HOL (proof pearl)	2024-11-26	Paper
Reachability Analysis for Termination and Confluence of Rewriting	2023-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q5875442	2023-02-03	Paper
Tuple interpretations for termination of term rewriting	2022-12-12	Paper
Term orderings for non-reachability of (conditional) rewriting	2022-12-07	Paper
Relational Differential Dynamic Logic	2022-10-13	Paper
Architecture-guided test resource allocation via logic	2022-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q5028488	2022-02-09	Paper
Multi-dimensional interpretations for termination of term rewriting	2021-12-01	Paper
Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL	2020-11-02	Paper
A verified implementation of the Berlekamp-Zassenhaus factorization algorithm	2020-04-07	Paper
A verified implementation of algebraic numbers in Isabelle/HOL	2020-03-03	Paper
Relational differential dynamic logic	2019-10-22	Paper
A formalization of the LLL basis reduction algorithm	2018-10-04	Paper
On probabilistic term rewriting	2018-07-09	Paper
AC-KBO revisited	2017-11-09	Paper
Certifying safety and termination proofs for integer transition systems	2017-09-22	Paper
AC Dependency Pairs Revisited	2017-07-19	Paper
Relative termination via dependency pairs	2017-06-29	Paper
Algebraic Numbers in Isabelle/HOL	2016-10-27	Paper
Reducing Relative Termination to Dependency Pair Problems	2015-12-02	Paper
Nagoya Termination Tool	2014-07-24	Paper
AC-KBO Revisited	2014-07-24	Paper

Research outcomes over time

This page was built for person: Akihisa Yamada