Yutaka Nagashima

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