Concepedia

Yutaka Nagashima

YN

Statistics

Publications

7

Citations

166

H-Index

7

Active since

1997

Affiliations

Czech Technical University in Prague(Current)

Data61

Universität Innsbruck

Yutaka Nagashima is an author at Czech Technical University in Prague specializing in engineering, formal methods, and software analysis.

Top concepts

EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationFormal SpecificationSoftware Engineering

Publications per year

1997–2019

7

Publications

7

Cogent

Sidney Amani, Alex Hixon, Zilin Chen et al. · 2016 · 67 citations · Full text

Program Checking, Engineering, Verification +16

Refinement through restraint: bringing down the cost of verification

Liam O’Connor, Zilin Chen, Christine Rizkallah et al. · 2016 · 26 citations · Full text

Program Checking, Engineering, Verification +20

PaMpeR: proof method recommendation system for Isabelle/HOL

Yutaka Nagashima, Yilun He · 2018 · 24 citations

Metabolism of the Intravenously Administered Recombinant Human Basic Fibroblast Growth Factor, Trafermin, in Liver and Kidney: Degradation Implicated in Its Selective Localization to the Fenestrated Type Microvasculatures.

Takuro Yuge, Akihiko Furukawa, Katsuhiro Nakamura et al. · Biological and Pharmaceutical Bulletin · 1997 · 17 citations · Full text

Pathology, Extracted Radioactivity, Angiogenesis +26

Development of a Compact Hybrid Underwater Vehicle Using Variable Vector Propeller

Yutaka Nagashima, Nobuyoshi Taguchi, Takakazu Ishimatsu · Proceedings of the ... ISARC · 2006 · 11 citations

Engineering, Underwater System, Field Robotics +21

1–5 of 7