Akihisa Yamada -

Not registered as user

Name:Akihisa Yamada

Country:Japan

Affiliation:National Institute of Informatics

Personal website: http://cl-informatik.uibk.ac.at/users/ayamada/

Contributions

2025

CPP

Author of An Isabelle Formalization of Co-rewrite Pairs for Non-reachability in Term Rewriting within the CPP 2025-track

2023

IWCT

Committee Member in Program Committee within the IWCT-track

2022

IWCT

Committee Member in Program Committee within the IWCT 2022-track

2020

CPP

Committee Member in Program Committee within the CPP 2020-track

2019

TACAS

Author of Reachability Analysis for Termination and Confluence of Rewriting within the TACAS 2019-track

2018

CPP

Author of Efficient Certification of Complexity Proofs: Formalizing the Perron–Frobenius Theorem (Invited Talk Paper) within the CPP 2018-track

2017

FSCD

Presenter of Termination and Complexity Competition 2017 within the FSCD 2017-track

CPP

Author of A Formalization of the Berlekamp-Zassenhaus Factorization Algorithm within the CPP-track

2016

CPP

Author of Formalizing Jordan Normal Forms in Isabelle/HOL within the CPP-track