( en | de | ru )

 

Disambiguation of "Yamada, Akihisa"

Author of the publication

copydeleteadd this publication to your clipboard
Combinatorial Testing for Tree-Structured Test Models with Constraints.

, , , , , , , and . QRS, page 141-150. IEEE, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Chisaburo Yamada

Osamu Yamada

Hitoshi Yamada

Keiichi Yamada

Yoriko Yamada-Bochynek

 

Other publications of authors with the same name

Optimal Scheduling for Conditional Recource Sharing., , , , and . ISCAS, page 2297-2300. IEEE, (1995)A multi-core architecture of digital back-end for large mutual capacitance touch sensing systems., , , , , , , and . ISCAS, page 1382-1385. IEEE, (2015)Architecture evaluation based on the datapath structure and parallel constraint., , , and . ASP-DAC, page 503-508. IEEE, (1997)Goal-Aware RSS for Complex Scenarios via Program Logic., , , , , , , , , and 5 other author(s). CoRR, (2022)A unified ordering for termination proving., , and . Sci. Comput. Program., (2015)Term Orderings for Non-reachability of (Conditional) Rewriting.. IJCAR, volume 13385 of Lecture Notes in Computer Science, page 248-267. Springer, (2022)A method of redundant clocking detection and power reduction at RT level design., , , and . ISLPED, page 131-136. ACM, (1997)Thread partitioning method for hardware compiler bach., , , and . ASP-DAC, page 303-308. ACM, (2000)Termination of Term Rewriting: Foundation, Formalization, Implementation, and Competition (Invited Talk).. FSCD, volume 260 of LIPIcs, page 4:1-4:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Relational Differential Dynamic Logic., , , , , and . CoRR, (2019)