| 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 | 39 | 2015 |
| 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 | 33 | 2016 |
| Nagoya termination tool A Yamada, K Kusakari, T Sakabe Joint 25th International Conference on Rewriting Techniques and Applications …, 2014 | 33 | 2014 |
| On Probabilistic Term Rewriting M Avanzini, U Dal Lago, A Yamada 14th International Symposium on Functional and Logic Programming (FLOPS 2018 …, 2018 | 30 | 2018 |
| 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 | 24 | 2016 |
| 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 | 23 | 2019 |
| 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 | 21 | 2019 |
| 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 | 18 | 2017 |
| Algebraic numbers in Isabelle/HOL R Thiemann, A Yamada 9th International Conference on Interactive Theorem Proving, 391-408, 2016 | 17 | 2016 |
| A unified ordering for termination proving A Yamada, K Kusakari, T Sakabe Science of Computer Programming 111, 110-134, 2015 | 15 | 2015 |
| 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 | 12 | 2015 |
| 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 | 11 | 2017 |
| 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 | 10 | 2015 |
| Reachability analysis for termination and confluence of rewriting C Sternagel, A Yamada International Conference on Tools and Algorithms for the Construction and …, 2019 | 9 | 2019 |
| 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 | 8 | 2018 |
| Distance-integrated combinatorial testing EH Choi, C Artho, T Kitamura, O Mizuno, A Yamada IEEE 27th International Symposium on Software Reliability Engineering (ISSRE …, 2016 | 7 | 2016 |
| 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 | 7 | 2016 |
| 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 | 7 | 2013 |
| 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 | 6 | 2019 |
Sebastiaan J. C. JoostenLecturer, Dartmouth CollegeVerified email at dartmouth.edu
