Concepedia

Yoshinori Tanabe

YT

Statistics

Publications

15

Citations

280

H-Index

12

Active since

2000

Affiliations

The University of Tokyo(Current)

Yamaguchi University Hospital

Chiba University

The University of Osaka

Yamaguchi University

Yoshinori Tanabe is an author at The University of Tokyo specializing in engineering, systems engineering, and system software.

Top concepts

EngineeringMedicineVerificationSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringHealth

Publications per year

2000–2022

15

Publications

15

Evaluation of the correlation between prostatic displacement and rectal deformation using the Dice similarity coefficient of the rectum

Yoshinori Tanabe, Takayuki Ishida, Hidetoshi Eto et al. · Medical dosimetry · 2019 · 31 citations

Prostatic Displacement, Gross Anatomy, Urology +6

Quantification of the accuracy limits of image registration using peak signal-to-noise ratio

Yoshinori Tanabe, Takayuki Ishida · Radiological Physics and Technology · 2016 · 28 citations

Engineering, Biometrics, Robust Feature +17

Model-Based API Testing of Apache ZooKeeper

Cyrille Artho, Quentin Gros, Guillaume Rousset et al. · 2017 · 28 citations

Software Maintenance, Engineering, Verification +17

Modular Software Model Checking for Distributed Systems

Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya et al. · IEEE Transactions on Software Engineering · 2013 · 24 citations

Software Maintenance, Program Checking, Engineering +18

Cache-Based Model Checking of Networked Applications: From Linear to Branching Time

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya et al. · 2009 · 23 citations

Engineering, Verification, Computer-aided Verification +23

1–5 of 15