Get started
Author

Takahiro Ando

Observed names: T Ando, T. Ando, Takahiro ANDO
Observed institutions: Kyushu University, Gunma University, Fukuoka University, National Maritime Research Institute, Mitsui Engineering and Shipbuilding (Japan), National Institute of Maritime, Port and Aviation Technology
ORCID: 0000-0001-8239-5437
Observed ORCID: 0000-0001-8239-5437
OpenAlex ID: A5102922598
Efficient FORM-based extreme value prediction of nonlinear ship loads with an application of reduced-order model for coupled CFD and FEA
2019 · Tomoki Takami, Yusuke Komoriyama, et al. · Journal of Marine Science and Technology · 26
PDF
Experimental Study on Sloshing Impact Loads of Middle-Sized Tankers with Double Hulls
1994 · Hiroyasu Takemoto, Shuji Oka, et al. · Journal of the Society of Naval Architects of Japan · 24
PDF
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration
2014 · Weiqiang Kong, Leyuan Liu, et al. · The Computer Journal · 18
Formalization and Model Checking of SysML State Machine Diagrams by CSP#
2013 · Takahiro Ando, Hirokazu Yatsu, et al. · Lecture notes in computer science · 17
Thickness Effect on Fatigue Strength of Welded Joint Improved by HFMI
2016 · Toshiaki IWATA, Toshio NIWA, et al. · QUARTERLY JOURNAL OF THE JAPAN WELDING SOCIETY · 12
PDF
Translation rules of SysML state machine diagrams into CSP# toward formal model checking
2014 · Takahiro Ando, Hirokazu Yatsu, et al. · International Journal of Web Information Systems · 11
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC
2016 · Weiqiang Kong, Gang Hou, et al. · Journal of Information Security and Applications · 9
Development of a New Reduction Device of Sloshing Load In Tank
2010 · Yousuke Anai, Takahiro Ando, et al. · The Proceedings of the ... International Offshore and Polar Engineering Conference · 7
Numerical Simulation for Sloshing Behavior of Moss-type LNG Tank Based on an Improved SPH Model
2020 · Chong Ma, Takahiro Ando, et al. · International Journal of Offshore and Polar Engineering · 6
Performance study of an anti-sloshing floating device for membrane-type LNG tanks
2013 · M Arai, R Suzuki, et al. · CRC Press eBooks · 6
Longitudinal strength of container ships under combined torsional and bending moments
2009 · Yoshiteru Tanaka, Takahiro Ando, et al. · The Proceedings of the ... International Offshore and Polar Engineering Conference · 6
Personal Identification Methods Using Footsteps of One Step
2020 · Yuki Hori, Takahiro Ando, et al. · International Conference on Artificial Intelligence in Information and Communication (ICAIIC) · 5
A Study on Sloshing Behavior for Moss-type LNG Tank Based on SPH Numerical Simulation and Large-scale Model Experiment
2018 · Chong Ma, Masayoshi Oka, et al. · International Journal of Offshore and Polar Engineering · 5
Effects of Cumulative Buckling Deformation Formed by Cyclic Loading on Ultimate Strength of Stiffened Panel
2018 · Yusuke Komoriyama, Yoshiteru Tanaka, et al. · International Conference on Offshore Mechanics and Arctic Engineering (OMAE) · 5
Experimental and Numerical Study of an Anti-Sloshing Floating Device for Membrane-Type LNG Tanks
2013 · Makoto Arai, Ryosuke Suzuki, et al. · Journal of the Japan Society of Naval Architects and Ocean Engineers · 5
PDF
Development of Support System for Ship-Hull Plate Forming Using Laser Scanner
2021 · Masahito Takezawa, Kohei Matsuo, et al. · International Journal of Automation Technology · 4
Towards Formal Description of Standards for Automotive Operating Systems
2013 · Hirokazu Yatsu, Takahiro Ando, et al. · IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) · 4
Numerical calculation procedure of global ship motion of LNG carrier considering LNG liquid dynamic effect in wave condition
2017 · Masayoshi Oka, Takahiro Ando, et al. · Journal of the Japan Society of Naval Architects and Ocean Engineers · 3
PDF
Operation Phase Metrics for Smart Mobility Platform
2016 · Kenji Hisazumi, Tsuneo Nakanishi, et al. · IEEE International Conference on Agents (ICA) · 3
Reference Model of specifications toward Independent Verification and Validation
2015 · Takahiro Ando, Hirokazu Yatsu, et al. · IEEE Region 10 Conference (TENCON) · 3
A Survey of Acceleration Techniques for SMT-Based Bounded Model Checking
2013 · Leyuan Liu, Weiqiang Kong, et al. · International Conference on Computer Sciences and Applications · 3
Ultimate longitudinal bending strength of damaged box girder in upright and inclined conditions – Model experiment and numerical analysis
2023 · Y. Komoriyama, Y. Tanaka, et al. · CRC Press eBooks · 2
ItoCamLife: A Platform of Sharing and Recommending Information Considering User Contexts to Facilitate Smart Mobility
2018 · Tsunenori Mine, Shiro Mise, et al. · IIAI International Congress on Advanced Applied Informatics (IIAI-AAI) · 2
Toward Sustainable Smart Mobility Information Infrastructure Platform: Project Overview
2018 · Akira Fukuda, Kenji Hisazumi, et al. · Studies in computational intelligence · 2
A Study on Sloshing Behavior for Moss Type LNG Tank Based on SPH Numerical Simulation and Large-Scale Model Experiment
2017 · Chong Ma, Masayoshi Oka, et al. · The Twenty-fifth International Ocean and Polar Engineering Conference · 2
Works count: 47
Citation count: 204
H-index: 7
I10-index: 6
Year
Topic
Type