Specification slicing in formal methods of software development. - Tomohiro Oda; Keijiro Araki (COMPSAC, 1993)

SOMETHINGit: a prototyping library for live and sound improvisation. - Tomohiro Oda; Kumiyo Nakakoji; Yasuhiro Yamamoto (LIVE@ICSE, 2013)

VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. - Tomohiro Oda; Keijiro Araki; Peter Gorm Larsen (FormaliSE@ICSE, 2015)

ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4. - Tomohiro Oda; Keijiro Araki; Peter Gorm Larsen (IWST, 2016)

A Formal Modeling Tool for Exploratory Modeling in Software Development. - Tomohiro Oda; Keijiro Araki; Peter Gorm Larsen (IEICE Trans. Inf. Syst., 2017)

ViennaDoc: An Animatable and Testable Specification Documentation Tool. - Tomohiro Oda; Keijiro Araki; Yasuhiro Yamamoto; Kumiyo Nakakoji; Hiroshi Sako; Han-Myung Chang; Peter Gorm Larsen (FM Workshops (2), 2019)

Evaluation of Gridded CO2 Emissions from Night-Time Lights Compared with Geospatially-Derived Population Distributions for Vietnam, Cambodia, and Laos. - Andrea E. Gaughan; Tomohiro Oda; Alessandro Sorichetta; Forrest R. Stevens; Laura Krauser; Gregory Yetman; Rostyslav Bun; Maksym Bondarenko; Son V. Nghiem (IGARSS, 2019)

Formulating a Geolocation Bias Correction for DMSP Nighttime Lights of Global Cities. - Vitalii Kinakh; Tomohiro Oda; Rostyslav Bun (CSIT, 2020)

Algorithms for Analysis of Geolocation Error of Nightlight Satellite Data and Greenhouse Gas Data Calculated on Their Basis. - Vitaliy Kinakh; Tomohiro Oda; Rostyslav Bun (CSIT (1), 2020)

re: Mobidyc - Reconstructing MOdeling Based on Individual for the DYnamics of Community. - Tomohiro Oda; Gaël Dur; Stéphane Ducasse; Sami Souissi (PAAMS, 2021)

Proceedings of the 18th International Overture Workshop. - John S. Fitzgerald; Tomohiro Oda; Hugo Daniel Macedo (CoRR, 2021)

Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL. - Tomohiro Oda; Gaël Dur; Stéphane Ducasse; Hugo Daniel Macedo (CoRR, 2023)

Specification Slicing for VDM-SL. - Tomohiro Oda; Han-Myung Chang (CoRR, 2024)