Akihisa Yamada
Akihisa Yamada
National Institute of Informatics, Japan
Verified email at trs.cm.is.nagoya-u.ac.jp - Homepage
TitleCited byYear
Optimization of combinatorial testing by incremental SAT solving
A Yamada, T Kitamura, C Artho, EH Choi, Y Oiwa, A Biere
8th International Conference on Software Testing, Verification and …, 2015
302015
Nagoya termination tool
A Yamada, K Kusakari, T Sakabe
Joint 25th International Conference on Rewriting Techniques and Applications …, 2014
282014
Greedy combinatorial test case generation using unsatisfiable cores
A Yamada, A Biere, C Artho, T Kitamura, EH Choi
31st IEEE/ACM International Conference on Automated Software Engineering …, 2016
232016
On Probabilistic Term Rewriting
M Avanzini, U Dal Lago, A Yamada
14th International Symposium on Functional and Logic Programming (FLOPS 2018 …, 2018
212018
Formalizing Jordan normal forms in Isabelle/HOL
R Thiemann, A Yamada
5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2016), 88-99, 2016
202016
Algebraic numbers in Isabelle/HOL
R Thiemann, A Yamada
9th International Conference on Interactive Theorem Proving, 391-408, 2016
162016
Matrices, Jordan normal forms, and spectral radius theory
R Thiemann, A Yamada
Archive of Formal Proofs 2015, 2015
16*2015
A formalization of the Berlekamp-Zassenhaus factorization algorithm
J Divasón, S Joosten, R Thiemann, A Yamada
6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), 17-29, 2017
152017
A unified ordering for termination proving
A Yamada, K Kusakari, T Sakabe
Science of Computer Programming 111, 110-134, 2015
112015
Priority integration for weighted combinatorial testing
EH Choi, T Kitamura, C Artho, A Yamada, Y Oiwa
IEEE 39th Annual Computer Software and Applications Conference (COMPSAC 2015 …, 2015
112015
TOOLympics 2019: an overview of competitions in formal methods
E Bartocci, D Beyer, PE Black, G Fedyukovich, H Garavel, A Hartmanns, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
9*2019
Combinatorial testing for tree-structured test models with constraints
T Kitamura, A Yamada, G Hatayama, C Artho, EH Choi, NTB Do, Y Oiwa, ...
IEEE International Conference on Software Quality, Reliability and Security …, 2015
82015
The termination and complexity competition
J Giesl, A Rubio, C Sternagel, J Waldmann, A Yamada
International Conference on Tools and Algorithms for the Construction and …, 2019
72019
Certifying safety and termination proofs for integer transition systems
M Brockschmidt, SJC Joosten, R Thiemann, A Yamada
26th International Conference on Automated Deduction (CADE-26), 454-471, 2017
62017
Distance-integrated combinatorial testing
EH Choi, C Artho, T Kitamura, O Mizuno, A Yamada
IEEE 27th International Symposium on Software Reliability Engineering (ISSRE …, 2016
62016
AC dependency pairs revisited
A Yamada, C Sternagel, R Thiemann, K Kusakari
25th EACSL Annual Conference on Computer Science Logic (CSL 2016), 8:1-8:16, 2016
62016
Unifying the Knuth-Bendix, recursive path and polynomial orders
A Yamada, K Kusakari, T Sakabe
15th Symposium on Principles and Practice of Declarative Programming (PPDP …, 2013
62013
Efficient certification of complexity proofs: formalizing the Perron–Frobenius theorem (invited talk paper)
J Divasón, S Joosten, O Kunčar, R Thiemann, A Yamada
7th ACM SIGPLAN International Conference on Certified Programs and Proofs …, 2018
52018
A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm
J Divasón, SJC Joosten, R Thiemann, A Yamada
Journal of Automated Reasoning, 1-37, 2019
42019
AC-KBO revisited
A Yamada, S Winkler, N Hirokawa, A Middeldorp
Theory and Practice of Logic Programming 16 (2), 163-188, 2016
42016
The system can't perform the operation now. Try again later.
Articles 1–20