Akihisa Yamada

Publications

472

Citations

H-Index

1978

Active since

Affiliations

National Institute of Advanced Industrial Science and Technology(Current)

Universität Innsbruck

Sharp Laboratories of Europe (United Kingdom)

NEC (Japan)

National Institute of Informatics

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

ORCID

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal MethodsFormal VerificationComputer ArchitectureSoftware TestingSystems EngineeringVerificationSystem Software

Publications per year

1978–2022

Publications

Optimization of Combinatorial Testing by Incremental SAT Solving

Akihisa Yamada, Takashi Kitamura, Cyrille Artho et al. · 2015 · 52 citations · Full text

Engineering, Verification, Test Data Generation +21

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 · 1999 · 42 citations

Electrical Engineering, Engineering, Filter Bank +10

Greedy combinatorial test case generation using unsatisfiable cores

Akihisa Yamada, Armin Biere, Cyrille Artho et al. · 2016 · 41 citations · Full text

On probabilistic term rewriting

Martin Avanzini, Ugo Dal Lago, Akihisa Yamada · Science of Computer Programming · 2019 · 33 citations · Full text

A C-based synthesis system, Bach, and its application

Takashi Kambe, Akihisa Yamada, Koichi Nishida et al. · Proceedings of the ASP-DAC 2001. Asia and South Pacific Design Automation Conference 2001 (Cat. No.01EX455) · 2002 · 30 citations

Hardware Modeling, Engineering, Hardware Verification Language +20

Rows per page

1–5 of 21