Koichi Ueda

Environmental Science · Physical Sciences

9h-index381citations36works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Maritime Transport Emissions and Efficiency(6), Formal Methods in Verification(5), Software Testing and Debugging Techniques(5), Marine Biology and Environmental Chemistry(3), Oil Spill Detection and Mitigation(3)

Publications36 total

Leaching Phenomena of Antifouling Agents from Ships’ Hull Paints
Journal of Shipping and Ocean Engineering·2016· 7 citedOpen Access
Robustness-guided temporal logic testing and verification for Stochastic Cyber-Physical Systems
2014· 32 cited
Powertrain control verification benchmark
2014· 172 cited
WiP abstract: Conformance testing as falsification for cyber-physical systems
2014· 23 cited
Conformance Testing as Falsification for Cyber-Physical Systems
arXiv (Cornell University)·2014· 20 citedOpen Access
Assessment of Biofouling Using Leaching Rate of Antifouling Agents and Bioluminescent Assay
2014· 1 cited
Compositional equivalence checking for models and code of control systems
2013· 12 cited
Hierarchical Accumulative Validation of Executable Control Specifications
SAE International journal of passenger cars. Electronic and electrical systems·2013
Leaching Rate and Antifouling Property of Antifouling Coating Systems under Conditions Fouled by Sessile Organisms
Marine Engineering·2013Open Access
The research on efficacy measurement of anti-fouling paint coatings forship
Medical Entomology and Zoology·2012
Development of Ballast Water Treatment with Anthracite Filtering
Marine Engineering·2008Open Access
Reduction of Pressure Drop through Pipe during Transfer of Viscous Spilled Oils
Marine Engineering·2007Open Access
Synthesis and Characterization of New Ascorbic Derivative: Sodium Isostearyl 2-O-L-Ascorbyl Phosphate
Journal of Oleo Science·2005· 15 citedOpen Access
316 Minimization of Tank Washings by Using Small Nozzle Diameter
The Proceedings of the Symposium on Environmental Engineering·2005Open Access
Bilge Water Treatment in Machinery Spaces
Marine Engineering·2004Open Access
Minimization of Tank Washings with Water Jet by Scanning Method
The Proceedings of the Symposium on Environmental Engineering·2004
Method of Testing Marine Fuel Oil by Single Droplet
Marine Engineering·2004Open Access
Influence of Oil Viscosity on Spilled Oil Recovery by Suction
Marine Engineering·2004Open Access
Residual Quantity in Tank and Piping of Chemical Tankers and Method for Reducing Quantity
Marine Engineering·2003Open Access
Minimization of Tank Washings with Water Jet Scanning
The Proceedings of the Symposium on Environmental Engineering·2003
page 1 of 2Next →

Frequent Co-authors

Hiroshi Yamanouchi(9), Jyotirmoy V. Deshmukh(3), James Kapinski(3), Houssam Abbas(3), Bardh Hoxha(3), Georgios Fainekos(3), T.-A. Shibata(3), Ryuji Kojima(3), Shoko Imai(3), Mikio Hoshino(2), Minoru Yamaji(2), Yoshimasa Hama(2), Sachio MATSUMOTO(2), Kenji Yamane(2), Kazuo Hatori(2), Takahiro Majima(2), Xiaoqing Jin(1), Ken Butts(1), Hideo Tomioka(1), Hirofumi Ohi(1)