Akihisa Yamada
Akihisa Yamada
Verified email at aist.go.jp - Homepage
Title
Cited by
Cited by
Year
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
392015
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
332016
Nagoya termination tool
A Yamada, K Kusakari, T Sakabe
Joint 25th International Conference on Rewriting Techniques and Applications …, 2014
332014
On Probabilistic Term Rewriting
M Avanzini, U Dal Lago, A Yamada
14th International Symposium on Functional and Logic Programming (FLOPS 2018 …, 2018
302018
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
242016
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
232019
Matrices, Jordan normal forms, and spectral radius theory
R Thiemann, A Yamada
Archive of Formal Proofs 2015, 2015
22*2015
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
212019
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
182017
Algebraic numbers in Isabelle/HOL
R Thiemann, A Yamada
9th International Conference on Interactive Theorem Proving, 391-408, 2016
172016
A unified ordering for termination proving
A Yamada, K Kusakari, T Sakabe
Science of Computer Programming 111, 110-134, 2015
152015
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
122015
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
112017
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
102015
Reachability analysis for termination and confluence of rewriting
C Sternagel, A Yamada
International Conference on Tools and Algorithms for the Construction and …, 2019
92019
A Formalization of the LLL Basis Reduction Algorithm
J Divasón, S Joosten, R Thiemann, A Yamada
9th International Conference on Interactive Theorem Proving (ITP 2018), 2018
82018
Distance-integrated combinatorial testing
EH Choi, C Artho, T Kitamura, O Mizuno, A Yamada
IEEE 27th International Symposium on Software Reliability Engineering (ISSRE …, 2016
72016
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
72016
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
72013
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
62019
The system can't perform the operation now. Try again later.
Articles 1–20