Yutaka Nagashima - Concepedia

Author

Yutaka Nagashima

Also Known As

Nagashima, Yutaka, Y Nagashima, Y. Nagashima, Yutaka NAGASHIMA, Yutaka Nagashima

Publications

312

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	104
2	Health Sciences	1	1	17
3	Law	1	1	26
4	Medicine	1	1	17
5	Cell Biology	1	1	17

Yutaka Nagashima

Publications

166

Citations

H-Index

Page 1

	Year	Citations
Cogent Sidney Amani, Alex Hixon, Zilin Chen, Program CheckingEngineeringVerificationSoftware EngineeringSoftware Analysis	2016	67
Refinement through restraint: bringing down the cost of verification Liam O’Connor, Zilin Chen, Christine Rizkallah, Program CheckingEngineeringVerificationComputer-aided VerificationLaw	2016	26
PaMpeR: proof method recommendation system for Isabelle/HOL Yutaka Nagashima, Yilun He	2018	24
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, Biological and Pharmaceutical Bulletin PathologyExtracted RadioactivityAngiogenesisIntact TraferminBioanalysis	1997	17
Development of a Compact Hybrid Underwater Vehicle Using Variable Vector Propeller Yutaka Nagashima, Nobuyoshi Taguchi, Takakazu Ishimatsu Proceedings of the ... ISARC EngineeringUnderwater SystemField RoboticsMarine EngineeringMarine Propulsion	2006	11
A Morphological Approach to Fish Discrimination. Yutaka Nagashima, Takakazu Ishimatsu	1998	11
Towards evolutionary theorem proving for isabelle/HOL Yutaka Nagashima Proceedings of the Genetic and Evolutionary Computation Conference Companion	2019	10

Page 1