フォロー
Akihisa Yamada
Akihisa Yamada
確認したメール アドレス: aist.go.jp - ホームページ
タイトル
引用先
引用先
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
482015
On probabilistic term rewriting
M Avanzini, U Dal Lago, A Yamada
Science of Computer Programming 185, 102338, 2020
472020
Nagoya termination tool
A Yamada, K Kusakari, T Sakabe
Joint 25th International Conference on Rewriting Techniques and Applications …, 2014
442014
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
422016
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
392019
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
332019
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
292016
A unified ordering for termination proving
A Yamada, K Kusakari, T Sakabe
Science of Computer Programming 111, 110-134, 2015
252015
Matrices, Jordan normal forms, and spectral radius theory
R Thiemann, A Yamada
Archive of Formal Proofs 2015, 2015
21*2015
Algebraic numbers in Isabelle/HOL
R Thiemann, A Yamada
9th International Conference on Interactive Theorem Proving, 391-408, 2016
192016
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
Reachability analysis for termination and confluence of rewriting
C Sternagel, A Yamada
International Conference on Tools and Algorithms for the Construction and …, 2019
172019
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
132016
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
132015
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
122017
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
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
92018
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
92018
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
92013
A verified implementation of the Berlekamp–Zassenhaus factorization algorithm
J Divasón, SJC Joosten, R Thiemann, A Yamada
Journal of Automated Reasoning 64 (4), 699-735, 2020
72020
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20