Akihisa Yamada

From MaRDI portal
Person:1648878

Available identifiers

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

List of research outcomes





PublicationDate of PublicationType
Formalizing results on directed sets in isabelle/HOL (proof pearl)2024-11-26Paper
Reachability Analysis for Termination and Confluence of Rewriting2023-11-24Paper
https://portal.mardi4nfdi.de/entity/Q58754422023-02-03Paper
Tuple interpretations for termination of term rewriting2022-12-12Paper
Term orderings for non-reachability of (conditional) rewriting2022-12-07Paper
Relational Differential Dynamic Logic2022-10-13Paper
Architecture-guided test resource allocation via logic2022-03-21Paper
https://portal.mardi4nfdi.de/entity/Q50284882022-02-09Paper
Multi-dimensional interpretations for termination of term rewriting2021-12-01Paper
Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL2020-11-02Paper
A verified implementation of the Berlekamp-Zassenhaus factorization algorithm2020-04-07Paper
A verified implementation of algebraic numbers in Isabelle/HOL2020-03-03Paper
Relational differential dynamic logic2019-10-22Paper
A formalization of the LLL basis reduction algorithm2018-10-04Paper
On probabilistic term rewriting2018-07-09Paper
AC-KBO revisited2017-11-09Paper
Certifying safety and termination proofs for integer transition systems2017-09-22Paper
AC Dependency Pairs Revisited2017-07-19Paper
Relative termination via dependency pairs2017-06-29Paper
Algebraic Numbers in Isabelle/HOL2016-10-27Paper
Reducing Relative Termination to Dependency Pair Problems2015-12-02Paper
Nagoya Termination Tool2014-07-24Paper
AC-KBO Revisited2014-07-24Paper

Research outcomes over time

This page was built for person: Akihisa Yamada