Akihisa Yamada
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
41
Venues
19
Active years
1995–2026
Best venue rank
B
Where they publish
Papers
41 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | A Unified Formalization of Context-Free Grammar Theory. | Tobias Nipkow, Fabian Lehr, Moritz Roos, Akihisa Yamada |
| 2025 | CPP | An Isabelle Formalization of Co-rewrite Pairs for Non-reachability in Term Rewriting. | Dohan Kim, Teppei Saito, Ren Thiemann, Akihisa Yamada |
| 2024 | ATVA | Hedge Automata Revisited: Transforming Texts to and from XML. | Akihisa Yamada, Jrmy Dubut, Takeshi Tsukada |
| 2024 | FSCD | A Verified Algorithm for Deciding Pattern Completeness. | Ren Thiemann, Akihisa Yamada |
| 2023 | FSCD | Termination of Term Rewriting: Foundation, Formalization, Implementation, and Competition (Invited Talk). | Akihisa Yamada |
| 2023 | ITP | Formalizing Results on Directed Sets in Isabelle/HOL (Proof Pearl). | Akihisa Yamada, Jrmy Dubut |
| 2022 | CADE | Term Orderings for Non-reachability of (Conditional) Rewriting. | Akihisa Yamada |
| 2021 | CADE | Multi-Dimensional Interpretations for Termination of Term Rewriting. | Akihisa Yamada |
| 2021 | TAP | Architecture-Guided Test Resource Allocation via Logic. | Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa |
| 2020 | FSCD | Certifying the Weighted Path Order (Invited Talk). | Ren Thiemann, Jonas Schpf, Christian Sternagel, Akihisa Yamada |
| 2020 | TACAS | Relational Differential Dynamic Logic. | Juraj Kolck, Jrmy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada |
| 2019 | ICST | Scenario Sampling for Cyber Physical Systems using Combinatorial Testing. | Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee |
| 2019 | ITP | Complete Non-Orders and Fixed Points. | Akihisa Yamada, Jrmy Dubut |
| 2019 | TACAS | TOOLympics 2019: An Overview of Competitions in Formal Methods. | Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada |
| 2019 | TACAS | The Termination and Complexity Competition. | Jrgen Giesl, Albert Rubio, Christian Sternagel, Johannes Waldmann, Akihisa Yamada |
| 2019 | TACAS | Reachability Analysis for Termination and Confluence of Rewriting. | Christian Sternagel, Akihisa Yamada |
| 2018 | CPP | Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper). | Jose Divasn, Sebastiaan J. C. Joosten, Ondrej Kuncar, Ren Thiemann, Akihisa Yamada |
| 2018 | FLOPS | On Probabilistic Term Rewriting. | Martin Avanzini, Ugo Dal Lago, Akihisa Yamada |
| 2018 | ITP | A Formalization of the LLL Basis Reduction Algorithm. | Jose Divasn, Sebastiaan J. C. Joosten, Ren Thiemann, Akihisa Yamada |
| 2017 | CADE | Certifying Safety and Termination Proofs for Integer Transition Systems. | Marc Brockschmidt, Sebastiaan J. C. Joosten, Ren Thiemann, Akihisa Yamada |
| 2017 | CPP | A formalization of the Berlekamp-Zassenhaus factorization algorithm. | Jose Divasn, Sebastiaan J. C. Joosten, Ren Thiemann, Akihisa Yamada |
| 2017 | SAFECOMP | Classification Tree Method with Parameter Shielding. | Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho |
| 2016 | CPP | Formalizing jordan normal forms in Isabelle/HOL. | Ren Thiemann, Akihisa Yamada |
| 2016 | CSL | AC Dependency Pairs Revisited. | Akihisa Yamada, Christian Sternagel, Ren Thiemann, Keiichirou Kusakari |
| 2016 | ISSRE | Distance-Integrated Combinatorial Testing. | Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, Akihisa Yamada |
| 2016 | ITP | Algebraic Numbers in Isabelle/HOL. | Ren Thiemann, Akihisa Yamada |
| 2015 | CADE | Reducing Relative Termination to Dependency Pair Problems. | Jos Iborra, Naoki Nishida, Germn Vidal, Akihisa Yamada |
| 2015 | COMPSAC | Priority Integration for Weighted Combinatorial Testing. | Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa |
| 2015 | ISCAS | A multi-core architecture of digital back-end for large mutual capacitance touch sensing systems. | Akihisa Yamada, Yan Qian, Masayuki Yamaguchi, Hiroshi Honjoh, Takahiro Morishita, Shunsuke Nagasawa, Shinji Shinjo, Masayuki Miyamoto |
| 2015 | ICST | Optimization of Combinatorial Testing by Incremental SAT Solving. | Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere |
| 2015 | QRS | Combinatorial Testing for Tree-Structured Test Models with Constraints. | Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Thi Bich Ngoc Do, Yutaka Oiwa, Shinya Sakuragi |
| 2014 | FLOPS | AC-KBO Revisited. | Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp |
| 2013 | PPDP | Unifying the Knuth-Bendix, recursive path and polynomial orders. | Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe |
| 2006 | ISCAS | C-based design of a real time speech recognition system. | Takashi Kambe, H. Matsuno, Y. Miyazaki, Akihisa Yamada |
| 2001 | ASPDAC | A C-based synthesis system, Bach, and its application (invited talk). | Takashi Kambe, Akihisa Yamada, Koichi Nishida, Kazuhisa Okada, Mitsuhisa Ohnishi, Andrew Kay, Paul Boca, Vince Zammit, Toshio Nomura |
| 2000 | ASPDAC | Thread partitioning method for hardware compiler bach. | Mizuki Takahashi, Nagisa Ishiura, Akihisa Yamada, Takashi Kambe |
| 1999 | ASPDAC | A Scheduling Method for Synchronous Communication in the Bach Hardware Compiler. | Ryoji Sakurai, Mizuki Takahashi, Andrew Kay, Akihisa Yamada, Tetsuya Fujimoto, Takashi Kambe |
| 1999 | ISCAS | Hardware synthesis with the Bach system. | Akihisa Yamada, Koichi Nishida, Ryoji Sakurai, Andrew Kay, Toshio Nomura, Takashi Kambe |
| 1997 | ASPDAC | Architecture evaluation based on the datapath structure and parallel constraint. | Masayuki Yamaguchi, Akihisa Yamada, Toshihiro Nakaoka, Takashi Kambe |
| 1997 | ISLPED | A method of redundant clocking detection and power reduction at RT level design. | Mitsuhisa Ohnishi, Akihisa Yamada, Hiroaki Noda, Takashi Kambe |
| 1995 | ISCAS | Optimal Scheduling for Conditional Recource Sharing. | Akihisa Yamada, Satoru Nakamura, Nagisa Ishiura, Isao Shirakawa, Takashi Kambe |