Ryosuke Sato - Concepedia

Author

Ryosuke Sato

The University of Tokyo ORCID

Also Known As

R. SATO, R. Sato, R.M. Sato, RYOSUKE SATO, Ryosuke SATO, Ryosuke Sato, Sato, Ryosuke, Sato, Ryota

182

Publications

1.4K

Citations

H-Index

101

Concepts

All Affiliations

The University of Tokyo Earth Science Institute of the Slovak Academy of Sciences Tokyo University of Science Tohoku University University of Tsukuba

About

Ryosuke Sato is an author at The University of Tokyo specializing in engineering, geomechanics, and civil engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	20	30	1.1K
2	Applied Physics	3	3	95
3	Natural Sciences	2	2	76
4	Business	1	1	24
5	Chemical Engineering	1	1	14

Ryosuke Sato

Publications

1.1K

Citations

H-Index

Page 1

	Year	Citations
Predicate abstraction and CEGAR for higher-order model checking Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno ACM SIGPLAN Notices Program CheckingEngineeringVerificationComputer-aided VerificationModel Checking	2011	116
Predicate abstraction and CEGAR for higher-order model checking Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno Program CheckingEngineeringVerificationComputer-aided VerificationModel Checking	2011	99
Theoretical basis on relationships between focal parameters and earthquake magnitude. Ryosuke Sato Journal of Physics of the Earth EngineeringReal EarthquakeEarthquake HazardsEarthquake ScenarioEarth Science	1979	78
Generation of tsunami by a fault model. Teruo Yamashita, Ryosuke Sato Journal of Physics of the Earth EngineeringSeismic WaveEarthquake HazardsShallow Water HydrodynamicsEarthquake Scenario	1974	75
Crustal Deformation due to Dislocation in a Multi-layered Medium Ryosuke Sato Journal of Physics of the Earth Numerical AnalysisFinite Element MethodFault DepthCrustal DeformationEngineering	1971	65
STATIC DEFORMATIONS DUE TO THE FAULT SPREADING OVER SEVERAL LAYERS IN A MULTI-LAYERED MEDIUM Ryosuke Sato, Mitsuhiro Matsu’ura Journal of Physics of the Earth EngineeringSurface DeformationsMechanical EngineeringComputer-aided DesignCrustal Deformation	1973	62
Cuttings-Transport Simulation Combined With Large-Scale-Flow-Loop Experimental Results and Logging-While-Drilling Data for Hole-Cleaning Evaluation in Directional Drilling Shigemi Naganawa, Ryosuke Sato, Masaki Ishikawa SPE Drilling & Completion Ecd BehaviorEngineeringDrilling FluidsFluid MechanicsMechanical Engineering	2017	55
Strains and tilts on the surface of a semi-infinite medium. Ryosuke Sato, Mitsuhiro Matsu’ura Journal of Physics of the Earth EngineeringFluid MechanicsMechanical EngineeringInclined Rectangular FaultTilt Fields	1974	54
Towards a scalable software model checker for higher-order programs Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi Software MaintenanceProgram CheckingEngineeringVerificationComputer-aided Verification	2013	45
Strain field in a semi-infinite medium due to an inclined rectangular fault. Takaya Iwasaki, Ryosuke Sato Journal of Physics of the Earth Inclined FaultEngineeringMechanical EngineeringInclined Rectangular FaultComputer-aided Design	1979	43

Page 1