Yutaka Nagashima
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
10
Active years
1996–2022
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | TAP | Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction. | Yutaka Nagashima |
| 2021 | IJCAI | Faster Smarter Proof by Induction in Isabelle/HOL. | Yutaka Nagashima |
| 2020 | FMCAD | Smart Induction for Isabelle/HOL (Tool Paper). | Yutaka Nagashima |
| 2019 | APLAS | LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL. | Yutaka Nagashima |
| 2019 | GECCO | Towards evolutionary theorem proving for isabelle/HOL. | Yutaka Nagashima |
| 2017 | CADE | A Proof Strategy Language and Proof Script Generation for Isabelle/HOL. | Yutaka Nagashima, Ramana Kumar |
| 2016 | ASPLOS | CoGENT: Verifying High-Assurance File System Implementations. | Sidney Amani, Alex Hixon, Zilin Chen, Christine Rizkallah, Peter Chubb, Liam O'Connor, Joel Beeren, Yutaka Nagashima, Japheth Lim, Thomas Sewell, Joseph Tuong, Gabriele Keller, Toby C. Murray, Gerwin Klein, Gernot Heiser |
| 2016 | ICFP | Refinement through restraint: bringing down the cost of verification. | Liam O'Connor, Zilin Chen, Christine Rizkallah, Sidney Amani, Japheth Lim, Toby C. Murray, Yutaka Nagashima, Thomas Sewell, Gerwin Klein |
| 2016 | ITP | A Framework for the Automatic Formal Verification of Refinement from Cogent to C. | Christine Rizkallah, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Zilin Chen, Liam O'Connor, Toby C. Murray, Gabriele Keller, Gerwin Klein |
| 1998 | MVA | A Morphological Approach to Fish Discrimination. | Yutaka Nagashima, Takakazu Ishimatsu |
| 1996 | MVA | Parallel Implementation of Features Extraction Using Morphological Filter. | Yutaka Nagashima, Takeshi Nakazono, Takakazu Ishimatsu |