| 2021 | PAAMS | re: Mobidyc - Reconstructing MOdeling Based on Individual for the DYnamics of Community. | Tomohiro Oda, Gal Dur, Stphane Ducasse, Sami Souissi |
| 2020 | CSIT | Formulating a Geolocation Bias Correction for DMSP Nighttime Lights of Global Cities. | Vitalii Kinakh, Tomohiro Oda, Rostyslav Bun |
| 2020 | CSIT | Algorithms for Analysis of Geolocation Error of Nightlight Satellite Data and Greenhouse Gas Data Calculated on Their Basis. | Vitaliy Kinakh, Tomohiro Oda, Rostyslav Bun |
| 2019 | FM | ViennaDoc: An Animatable and Testable Specification Documentation Tool. | Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen |
| 2019 | IGARSS | 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 |
| 2015 | ICSE | VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. | Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen |
| 2013 | ICSE | SOMETHINGit: a prototyping library for live and sound improvisation. | Tomohiro Oda, Kumiyo Nakakoji, Yasuhiro Yamamoto |
| 1993 | COMPSAC | Specification slicing in formal methods of software development. | Tomohiro Oda, Keijiro Araki |