Akihisa Yamada

Cited by

	All	Since 2020
Citations	781	495
h-index	15	11
i10-index	23	14

120

2014201520162017201820192020202120222023202420257 15 35 43 72 98 90 95 93 96 107 14

Public access

View all

30 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Sebastiaan J. C. Joostenapplied scientist, awsVerified email at amazon.com
Jose DivasónUniversidad de La RiojaVerified email at unirioja.es
Cyrille ArthoKTH Royal Institute of Technology, SwedenVerified email at kth.se
Takashi KitamuraAISTVerified email at aist.go.jp
Eun-Hye ChoiAISTVerified email at aist.go.jp
Christian SternagelVerified email at uibk.ac.at
Jérémy DubutAssistant Professor Monge, LIX, CNRS, École polytechnique, Institut Polytechnique de ParisVerified email at polytechnique.edu
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Martin AvanziniCentre Inria d'Université Côte d'AzurVerified email at inria.fr
Ugo Dal LagoUniversity of Bologna and INRIA Sophia AntipolisVerified email at cs.unibo.it
Julian NageleVerified email at jnagele.net
Ichiro HasuoProfessor of Computer Science, National Institute of InformaticsVerified email at acm.org
Naoki NishidaGraduate School of Informatics, Nagoya UniversityVerified email at i.nagoya-u.ac.jp
Fuyuki IshikawaAssociate Professor, National Institute of InformaticsVerified email at nii.ac.jp
Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityVerified email at informatik.rwth-aachen.de
Clovis EberhartProject researcher, ERATO MMSD, National Institute of InformaticsVerified email at nii.ac.jp
Albert RubioProfessor of Computer Science, Complutense University of Madrid (UCM)Verified email at ucm.es
Aart MiddeldorpUniversity of InnsbruckVerified email at uibk.ac.at
German VidalProf. Computer Science, MIST, VRAIN, Universitat Politècnica de ValènciaVerified email at dsic.upv.es
Xiao-Yi ZhangAssociate Professor, Beijing University of Science and TechnologyVerified email at ustb.edu.cn

Akihisa Yamada

Senior researcher, AIST

Verified email at aist.go.jp - Homepage

rewriting interactive theorem proving termination analysis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	75	2019
Optimization of combinatorial testing by incremental SAT solving A Yamada, T Kitamura, C Artho, EH Choi, Y Oiwa, A Biere 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015	68	2015
Greedy combinatorial test case generation using unsatisfiable cores A Yamada, A Biere, C Artho, T Kitamura, EH Choi Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016	65	2016
Nagoya termination tool A Yamada, K Kusakari, T Sakabe International Conference on Rewriting Techniques and Applications, 466-475, 2014	54	2014
TOOLympics 2019: An overview of competitions in formal methods E Bartocci, D Beyer, PE Black, G Fedyukovich, H Garavel, A Hartmanns, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019	50	2019
Formalizing Jordan normal forms in Isabelle/HOL R Thiemann, A Yamada Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016	40	2016
On probabilistic term rewriting M Avanzini, U Dal Lago, A Yamada Science of Computer Programming 185, 102338, 2020	38	2020
A unified ordering for termination proving A Yamada, K Kusakari, T Sakabe Science of Computer Programming 111, 110-134, 2015	34	2015
On probabilistic term rewriting M Avanzini, U Dal Lago, A Yamada International Symposium on Functional and Logic Programming, 132-148, 2018	28	2018
Matrices, Jordan normal forms, and spectral radius theory R Thiemann, A Yamada Archive of Formal Proofs 2015, 2015	24*	2015
Algebraic numbers in Isabelle/HOL R Thiemann, A Yamada Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy …, 2016	22	2016
A formalization of the Berlekamp-Zassenhaus factorization algorithm J Divasón, S Joosten, R Thiemann, A Yamada Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017	20	2017
Reachability analysis for termination and confluence of rewriting C Sternagel, A Yamada Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019	19	2019
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	17	2016
Combinatorial testing for tree-structured test models with constraints T Kitamura, A Yamada, G Hatayama, C Artho, EH Choi, NTB Do, Y Oiwa, ... 2015 IEEE International Conference on Software Quality, Reliability and …, 2015	16	2015
Goal-aware RSS for complex scenarios via program logic I Hasuo, C Eberhart, J Haydon, J Dubut, R Bohrer, T Kobayashi, ... IEEE Transactions on Intelligent Vehicles 8 (4), 3040-3072, 2022	14	2022
Certifying safety and termination proofs for integer transition systems M Brockschmidt, SJC Joosten, R Thiemann, A Yamada Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017	13	2017
Priority integration for weighted combinatorial testing EH Choi, T Kitamura, C Artho, A Yamada, Y Oiwa 2015 IEEE 39th Annual Computer Software and Applications Conference 2, 242-247, 2015	13	2015
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 Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018	11	2018
Tuple interpretations for termination of term rewriting A Yamada Journal of Automated Reasoning 66 (4), 667-688, 2022	10	2022

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors