Parallel Implementation of Features Extraction Using Morphological Filter. - Yutaka Nagashima; Takeshi Nakazono; Takakazu Ishimatsu (MVA, 1996)

A Morphological Approach to Fish Discrimination. - Yutaka Nagashima; Takakazu Ishimatsu (MVA, 1998)

AUV with Variable Vector Propeller. - Yutaka Nagashima; Takakazu Ishimatsu; Jamal Tariq Mian (J. Robotics Mechatronics, 2000)

Development of a Compact Autonomous Underwater vehicle Using Varivec Propeller. - Yutaka Nagashima; Nobuyoshi Taguchi; Takakazu Ishimatsu; Hirofumi Inoue (J. Robotics Mechatronics, 2002)

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; et al. (ASPLOS, 2016)

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 (ICFP, 2016)

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 (ITP, 2016)

Proof Strategy Language. - Yutaka Nagashima (Arch. Formal Proofs, 2016)

A Proof Strategy Language and Proof Script Generation for Isabelle. - Yutaka Nagashima; Ramana Kumar (CoRR, 2016)

Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML. - Yutaka Nagashima; Liam O'Connor (CoRR, 2016)

COGENT: Certified Compilation for a Functional Systems Language. - Liam O'Connor; Christine Rizkallah; Zilin Chen; Sidney Amani; Japheth Lim; Yutaka Nagashima; Thomas Sewell; Alex Hixon; Gabriele Keller; Toby C. Murray; Gerwin Klein (CoRR, 2016)

A Proof Strategy Language and Proof Script Generation for Isabelle/HOL. - Yutaka Nagashima; Ramana Kumar (CADE, 2017)

Towards Smart Proof Search for Isabelle. - Yutaka Nagashima (CoRR, 2017)

PaMpeR: proof method recommendation system for Isabelle/HOL. - Yutaka Nagashima; Yilun He (ASE, 2018)

Goal-Oriented Conjecturing for Isabelle/HOL. - Yutaka Nagashima; Julian Parsert (CICM, 2018)

Towards Machine Learning Mathematical Induction. - Yutaka Nagashima (CoRR, 2018)

LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL. - Yutaka Nagashima (APLAS, 2019)

Towards evolutionary theorem proving for isabelle/HOL. - Yutaka Nagashima (GECCO (Companion), 2019)

Designing Game of Theorems. - Yutaka Nagashima (CoRR, 2019)

Domain-Specific Language to Encode Induction Heuristics. - Yutaka Nagashima (CoRR, 2019)

Smart Induction for Isabelle/HOL (Tool Paper). - Yutaka Nagashima (FMCAD, 2020)

Simple Dataset for Proof Method Recommendation in Isabelle/HOL. - Yutaka Nagashima (CICM, 2020)

Smart Induction for Isabelle/HOL (System Description). - Yutaka Nagashima (CoRR, 2020)

Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description). - Yutaka Nagashima (CoRR, 2020)

Towards United Reasoning for Automatic Induction in Isabelle/HOL. - Yutaka Nagashima (CoRR, 2020)

Faster Smarter Induction in Isabelle/HOL with SeLFiE. - Yutaka Nagashima (CoRR, 2020)

SeLFiE: Modular Semantic Reasoning for Induction in Isabelle/HOL. - Yutaka Nagashima (CoRR, 2020)

Faster Smarter Proof by Induction in Isabelle/HOL. - Yutaka Nagashima (IJCAI, 2021)

An Underwater Environment Measuring System and Three-Dimensional Visualization of Underwater Structure Using Underwater Drone and 5G Network. - Kazuyuki Kaneda; Yuki Sato; Ayanari Sibayama; Kiyoshi Horie; Yutaka Nagashima (GCCE, 2022)

Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction. - Yutaka Nagashima (TAP@STAF, 2022)

Property-Based Conjecturing for Automated Induction in Isabelle/HOL. - Yutaka Nagashima; Zijin Xu; Ningli Wang; Daniel Sebastian Goc; James Bang (CoRR, 2022)

Genetic Algorithm for Program Synthesis. - Yutaka Nagashima (FSEN, 2023)

Template-Based Conjecturing for Automated Induction in Isabelle/HOL. - Yutaka Nagashima; Zijin Xu; Ningli Wang; Daniel Sebastian Goc; James Bang (FSEN, 2023)