Yutaka Nagashima

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 34

Top Topics

Inductive Reasoning

Theorem Proving

Sequent Calculus

Top Venues

GECCO (Companion)

Publications

Yutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang
Template-Based Conjecturing for Automated Induction in Isabelle/HOL. FSEN (2023)
Yutaka Nagashima
Genetic Algorithm for Program Synthesis. FSEN (2023)
Kazuyuki Kaneda, Yuki Sato, Ayanari Sibayama, Kiyoshi Horie, Yutaka Nagashima
An Underwater Environment Measuring System and Three-Dimensional Visualization of Underwater Structure Using Underwater Drone and 5G Network. GCCE (2022)
Yutaka Nagashima
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction. TAP@STAF (2022)
Yutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang
Property-Based Conjecturing for Automated Induction in Isabelle/HOL. CoRR (2022)
Yutaka Nagashima
Genetic Algorithm for Program Synthesis. CoRR (2022)
Yutaka Nagashima
Faster Smarter Proof by Induction in Isabelle/HOL. IJCAI (2021)
Yutaka Nagashima
Smart Induction for Isabelle/HOL (Tool Paper). FMCAD (2020)
Yutaka Nagashima
Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description). CoRR (2020)
Yutaka Nagashima
SeLFiE: Modular Semantic Reasoning for Induction in Isabelle/HOL. CoRR (2020)
Yutaka Nagashima
Towards United Reasoning for Automatic Induction in Isabelle/HOL. CoRR (2020)
Yutaka Nagashima
Simple Dataset for Proof Method Recommendation in Isabelle/HOL. CICM (2020)
Yutaka Nagashima
Faster Smarter Induction in Isabelle/HOL with SeLFiE. CoRR (2020)
Yutaka Nagashima
Smart Induction for Isabelle/HOL (System Description). CoRR (2020)
Yutaka Nagashima
LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL. APLAS (2019)
Yutaka Nagashima
LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL. CoRR (2019)
Yutaka Nagashima
Towards evolutionary theorem proving for isabelle/HOL. GECCO (Companion) (2019)
Yutaka Nagashima
Designing Game of Theorems. CoRR (2019)
Yutaka Nagashima
Domain-Specific Language to Encode Induction Heuristics. CoRR (2019)
Yutaka Nagashima
Towards Evolutionary Theorem Proving for Isabelle/HOL. CoRR (2019)
Yutaka Nagashima, Yilun He
PaMpeR: proof method recommendation system for Isabelle/HOL. ASE (2018)
Yutaka Nagashima, Julian Parsert
Goal-Oriented Conjecturing for Isabelle/HOL. CoRR (2018)
Yutaka Nagashima, Julian Parsert
Goal-Oriented Conjecturing for Isabelle/HOL. CICM (2018)
Yutaka Nagashima, Yilun He
PaMpeR: Proof Method Recommendation System for Isabelle/HOL. CoRR (2018)
Yutaka Nagashima
Towards Machine Learning Mathematical Induction. CoRR (2018)
Yutaka Nagashima
Towards Smart Proof Search for Isabelle. CoRR (2017)
Yutaka Nagashima, Ramana Kumar
A Proof Strategy Language and Proof Script Generation for Isabelle/HOL. CADE (2017)
Christine Rizkallah, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Zilin Chen, Liam O'Connor, Toby C. Murray, Gabriele Keller, Gerwin Klein
A Framework for the Automatic Formal Verification of Refinement from Cogent to C. ITP (2016)
Yutaka Nagashima, Liam O'Connor
Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML. CoRR (2016)
Yutaka Nagashima
Proof Strategy Language. Arch. Formal Proofs 2016 (2016)
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
CoGENT: Verifying High-Assurance File System Implementations. ASPLOS (2016)
Yutaka Nagashima, Ramana Kumar
A Proof Strategy Language and Proof Script Generation for Isabelle. CoRR (2016)
Liam O'Connor, Christine Rizkallah, Zilin Chen, Sidney Amani, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Alex Hixon, Gabriele Keller, Toby C. Murray, Gerwin Klein
COGENT: Certified Compilation for a Functional Systems Language. CoRR (2016)
Liam O'Connor, Zilin Chen, Christine Rizkallah, Sidney Amani, Japheth Lim, Toby C. Murray, Yutaka Nagashima, Thomas Sewell, Gerwin Klein
Refinement through restraint: bringing down the cost of verification. ICFP (2016)
Yutaka Nagashima, Nobuyoshi Taguchi, Takakazu Ishimatsu, Hirofumi Inoue
Development of a Compact Autonomous Underwater vehicle Using Varivec Propeller. J. Robotics Mechatronics 14 (2) (2002)
Yutaka Nagashima, Takakazu Ishimatsu, Jamal Tariq Mian
AUV with Variable Vector Propeller. J. Robotics Mechatronics 12 (1) (2000)
Yutaka Nagashima, Takakazu Ishimatsu
A Morphological Approach to Fish Discrimination. MVA (1998)
Yutaka Nagashima, Takeshi Nakazono, Takakazu Ishimatsu
Parallel Implementation of Features Extraction Using Morphological Filter. MVA (1996)