Akihisa Yamada - Concepedia

Author

Akihisa Yamada

National Institute of Advanced Industrial Science and Technology ORCID

Also Known As

A. Yamada, AKIHISA YAMADA, Akihisa Yamada, Muramatsu, S., Onoye, T., Yamada, Akihisa

106

Publications

787

Citations

H-Index

Concepts

All Affiliations

National Institute of Advanced Industrial Science and Technology Universität Innsbruck Sharp Laboratories of Europe (United Kingdom)NEC (Japan)National Institute of Informatics

About

Akihisa Yamada is an author at National Institute of Advanced Industrial Science and Technology specializing in engineering, computer science, and computer engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	13	303
2	Computer Engineering	11	11	276
3	Computer Science	11	11	236
4	Electrical Engineering	2	2	67
5	Industrial Engineering	1	1	11

Akihisa Yamada

Publications

472

Citations

H-Index

Page 1

	Year	Citations
Optimization of Combinatorial Testing by Incremental SAT Solving Akihisa Yamada, Takashi Kitamura, Cyrille Artho, EngineeringVerificationTest Data GenerationSoftware EngineeringSoftware Analysis	2015	52
A design method of multidimensional linear-phase paraunitary filter banks with a lattice structure Shogo Muramatsu, Akihisa Yamada, Hitoshi Kiya IEEE Transactions on Signal Processing Electrical EngineeringEngineeringFilter BankDesign MethodComputer Engineering	1999	42
Greedy combinatorial test case generation using unsatisfiable cores Akihisa Yamada, Armin Biere, Cyrille Artho,	2016	41
On probabilistic term rewriting Martin Avanzini, Ugo Dal Lago, Akihisa Yamada Science of Computer Programming	2019	33
A C-based synthesis system, Bach, and its application Takashi Kambe, Akihisa Yamada, Koichi Nishida, Proceedings of the ASP-DAC 2001. Asia and South Pacific Design Automation Conference 2001 (Cat. No.01EX455) Hardware ModelingEngineeringHardware Verification LanguageComputer ArchitectureSystem Synthesis	2002	30
Automatic System Level Test a Fault Location for Large Digital Systems Akihisa Yamada, N. Wakatsuki, Takuya Fukui, EngineeringVerificationComputer ArchitectureTest Data GenerationSoftware Engineering	1978	29
Formalizing Jordan normal forms in Isabelle/HOL René Thiemann, Akihisa Yamada	2016	26
A method of redundant clocking detection and power reduction at RT level design Mitsuhisa Ohnishi, Akihisa Yamada, Hiroaki Noda, Hardware SecurityRt Level DesignElectrical EngineeringJapanview ProfilePower Reduction	1997	25
AUTOMATIC SYSTEM LEVEL TEST GENERATION AND FAULT LOCATION FOR LARGE DIGITAL SYSTEMS Akihisa Yamada, N. Wakatsuki, Takuya Fukui, Design Automation Conference EngineeringVerificationTest Data GenerationSoftware EngineeringSoftware Analysis	1978	24
Hardware synthesis with the Bach system Akihisa Yamada, Koichi Nishida, Ryoji Sakurai, EngineeringAnsi CHardware Verification LanguageEvolvable HardwareCompiler Technology	2003	18

Page 1