conf.researchr.org / Akihisa Yamada

Not registered as user yet

Name:Akihisa Yamada
Country:Japan
Affiliation:National Institute of Informatics
Personal website:http://cl-informatik.uibk.ac.at/users/ayamada/

Contributions

IWCT 2023 Committee Member in Program Committee within the IWCT-track
IWCT 2022 Committee Member in Program Committee within the IWCT 2022-track
CPP 2020 Committee Member in Program Committee within the CPP 2020-track
TACAS 2019 Author of Reachability Analysis for Termination and Confluence of Rewriting within the TACAS 2019-track
CPP 2018 Author of Efficient Certification of Complexity Proofs: Formalizing the Perron–Frobenius Theorem (Invited Talk Paper) within the CPP 2018-track
FSCD 2017 Presenter of Termination and Complexity Competition 2017 within the FSCD 2017-track
CPP 2017 Author of A Formalization of the Berlekamp-Zassenhaus Factorization Algorithm within the CPP-track
CPP 2016 Author of Formalizing Jordan Normal Forms in Isabelle/HOL within the CPP-track