Akihisa Yamada

Available identifiers

zbMath Open yamada.akihisaWikidataQ90744217 ScholiaQ90744217MaRDI QIDQ1648878

List of research outcomes

Publication	Date of Publication	Type
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
AC-KBO Revisited	2014-07-24	Paper
Nagoya Termination Tool	2014-07-24	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: Akihisa Yamada