Tomohiro Oda
Orcid: 0000-0002-8328-3020
According to our database1,
Tomohiro Oda
authored at least 13 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
1
1
1
1
1
2
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL.
CoRR, 2023
2021
re: Mobidyc - Reconstructing MOdeling Based on Individual for the DYnamics of Community.
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection, 2021
2020
Algorithms for Analysis of Geolocation Error of Nightlight Satellite Data and Greenhouse Gas Data Calculated on Their Basis.
Proceedings of the IEEE 15th International Conference on Computer Sciences and Information Technologies, 2020
Formulating a Geolocation Bias Correction for DMSP Nighttime Lights of Global Cities.
Proceedings of the Advances in Intelligent Systems and Computing V, 2020
2019
Evaluation of Gridded CO2 Emissions from Night-Time Lights Compared with Geospatially-Derived Population Distributions for Vietnam, Cambodia, and Laos.
Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
2017
IEICE Trans. Inf. Syst., 2017
2016
ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4.
Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies, 2016
2015
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015
2013
Proceedings of the 1st International Workshop on Live Programming, 2013
1993
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993