Yutaka Nagashima

According to our database, Yutaka Nagashima authored at least 33 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Template-Based Conjecturing for Automated Induction in Isabelle/HOL.

Yutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

Genetic Algorithm for Program Synthesis.

Yutaka Nagashima

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

2022

Property-Based Conjecturing for Automated Induction in Isabelle/HOL.

Yutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang

CoRR, 2022

Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction.

Yutaka Nagashima

Proceedings of the Tests and Proofs - 16th International Conference, 2022

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

Proceedings of the 11th IEEE Global Conference on Consumer Electronics, 2022

2021

Faster Smarter Proof by Induction in Isabelle/HOL.

Yutaka Nagashima

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

SeLFiE: Modular Semantic Reasoning for Induction in Isabelle/HOL.

Yutaka Nagashima

CoRR, 2020

Faster Smarter Induction in Isabelle/HOL with SeLFiE.

Yutaka Nagashima

CoRR, 2020

Towards United Reasoning for Automatic Induction in Isabelle/HOL.

Yutaka Nagashima

CoRR, 2020

Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description).

Yutaka Nagashima

CoRR, 2020

Smart Induction for Isabelle/HOL (System Description).

Yutaka Nagashima

CoRR, 2020

Simple Dataset for Proof Method Recommendation in Isabelle/HOL.

Yutaka Nagashima

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

Smart Induction for Isabelle/HOL (Tool Paper).

Yutaka Nagashima

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

Domain-Specific Language to Encode Induction Heuristics.

Yutaka Nagashima

CoRR, 2019

Designing Game of Theorems.

Yutaka Nagashima

CoRR, 2019

Towards evolutionary theorem proving for isabelle/HOL.

Yutaka Nagashima

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2019

LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL.

Yutaka Nagashima

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Towards Machine Learning Mathematical Induction.

Yutaka Nagashima

CoRR, 2018

Goal-Oriented Conjecturing for Isabelle/HOL.

Yutaka Nagashima, Julian Parsert

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

PaMpeR: proof method recommendation system for Isabelle/HOL.

Yutaka Nagashima, Yilun He

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017

Towards Smart Proof Search for Isabelle.

Yutaka Nagashima

CoRR, 2017

A Proof Strategy Language and Proof Script Generation for Isabelle/HOL.

Yutaka Nagashima, Ramana Kumar

Proceedings of the Automated Deduction - CADE 26, 2017

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

Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML.

Yutaka Nagashima, Liam O'Connor

CoRR, 2016

A Proof Strategy Language and Proof Script Generation for Isabelle.

Yutaka Nagashima, Ramana Kumar

CoRR, 2016

Proof Strategy Language.

Yutaka Nagashima

Arch. Formal Proofs, 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

Proceedings of the Interactive Theorem Proving - 7th International Conference, 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

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

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

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2002

Development of a Compact Autonomous Underwater vehicle Using Varivec Propeller.

Yutaka Nagashima, Nobuyoshi Taguchi, Takakazu Ishimatsu, Hirofumi Inoue

J. Robotics Mechatronics, 2002

2000

AUV with Variable Vector Propeller.

Yutaka Nagashima, Takakazu Ishimatsu, Jamal Tariq Mian

J. Robotics Mechatronics, 2000

1998

A Morphological Approach to Fish Discrimination.

Yutaka Nagashima, Takakazu Ishimatsu

Proceedings of IAPR Workshop on Machine Vision Applications, 1998

1996

Parallel Implementation of Features Extraction Using Morphological Filter.

Yutaka Nagashima, Takeshi Nakazono, Takakazu Ishimatsu

Proceedings of IAPR Workshop on Machine Vision Applications, 1996