Tomohiro Oda

发表

VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification

Peter Gorm Larsen, Keijiro Araki, Tomohiro Oda, 2015, 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering.

SOMETHINGit: A prototyping library for live and sound improvisation

Yasuhiro Yamamoto, Kumiyo Nakakoji, Tomohiro Oda, 2013, 2013 1st International Workshop on Live Programming (LIVE).

ViennaTalk: An integrated specification environment focused on the early stage of the formal specification phase

Keijiro Araki, Tomohiro Oda, T. Oda, 2017 .

405 Basic investigation on sound field prediction using photogrammetry

Takeshi Okuzono, Tomohiro Oda, Toru Otsuru, 2012 .

Estimation of regional surface CO2 fluxes with GOSAT observations using two inverse modeling approaches

Tatsuya Yokota, Yukio Yoshida, Robert Joseph Andres, 2012, Asia-Pacific Environmental Remote Sensing.

PRACTICAL SUBSYSTEMS TO IDENTIFY ROOM DIMENSIONS AND MATERIAL SURFACES USING PHOTOGRAPH IMAGES FOR ROOM ACOUSTIC SIMULATIONS

Musli Nizam Yahya, Takeshi Okuzono, Tomohiro Oda, 2012 .

ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4

Peter Gorm Larsen, Keijiro Araki, Tomohiro Oda, 2016, IWST.

the same output power apparatus and method for controlling

Yasutomo Kawabata, Tomohiro Oda, Yoshiaki Taga, 1996 .

A Formal Modeling Tool for Exploratory Modeling in Software Development

Peter Gorm Larsen, Keijiro Araki, Tomohiro Oda, 2017, IEICE Trans. Inf. Syst..

Proceedings of the 18th International Overture Workshop pdf

Hugo Daniel Macedo, John Fitzgerald, Tomohiro Oda, 2021, ArXiv.

ViennaDoc: An Animatable and Testable Specification Documentation Tool

Han-Myung Chang, Peter Gorm Larsen, Hiroshi Sako, 2019, FM Workshops.

M-064 User Modeling based on Behavior Logs and its Exploitation for Development of e-Space

Hideaki Takeda, Hitoshi Koshiba, Kenro Aihara, 2010 .

re: Mobidyc - Reconstructing MOdeling Based on Individual for the DYnamics of Community

Tomohiro Oda, Stéphane Ducasse, Sami Souissi, 2021, PAAMS.

Space-based quantification of per capita CO2 emissions from cities

Eric A. Kort, Tomohiro Oda, John C. Lin, 2020, Environmental Research Letters.

Improving the temporal and spatial distribution of CO2 emissions from global fossil fuel emission data sets

Kevin R. Gurney, Tomohiro Oda, Robert J. Andres, 2013 .

Consistent evaluation of ACOS-GOSAT, BESD-SCIAMACHY, CarbonTracker, and MACC through comparisons to TCCON

John Robinson, Kei Shiomi, Maximilian Reuter, 2015 .

Comparing GOSAT observations of localized CO2 enhancements by large emitters with inventory‐based estimates

Makoto Saito, Tatsuya Yokota, Johannes W. Kaiser, 2016 .

Constraining Fossil Fuel CO2 Emissions From Urban Area Using OCO‐2 Observations of Total Column CO2

Eric A. Kort, Tomohiro Oda, Thomas Lauvaux, 2020, Journal of Geophysical Research: Atmospheres.

Disaggregation of national fossil fuel CO2 emissions using a global power plant database and DMSP nightlight data

Shamil Maksyutov, Christopher D. Elvidge, Tomohiro Oda, 2010 .

Regional CO₂ flux estimates for 2009–2010 based on GOSAT and ground-based CO₂ observations

Makoto Saito, Tatsuya Yokota, Yukio Yoshida, 2012 .

Uncertainty associated with fossil fuel carbon dioxide (CO2) gridded emission datasets

Olha Danylo, Joanna Horabik-Pyzel, Tomohiro Oda, 2015 .

Southern California megacity CO2, CH4, and CO flux estimates using ground- and space-based remote sensing and a Lagrangian model

Kevin R. Gurney, Shamil Maksyutov, Junjie Liu, 2018, Atmospheric Chemistry and Physics.

A global map of emission clumps for future monitoring of fossil fuel CO2 emissions from space

Philippe Ciais, Shu Tao, Greet Janssens-Maenhout, 2018, Earth System Science Data.

The Open-source Data Inventory for Anthropogenic Carbon dioxide (CO2), version 2016 (ODIAC2016): A global, monthly fossil-fuel CO2 gridded emission data product for tracer transport simulations and surface flux inversions.

Robert Joseph Andres, Shamil Maksyutov, Tomohiro Oda, 2017, Earth system science data.

Spatial Greenhouse Gas (GHG) inventory and uncertainty analysis: A case study for electricity generation in Poland and Ukraine

Olha Danylo, R. Bun, Tomohiro Oda, 2015 .

Constraining fossil fuel CO 2 emissions from urban area using OCO-2 observations of total column CO 2

Eric A. Kort, Tomohiro Oda, Thomas Lauvaux, 2017 .

On the Benefit of GOSAT Observations to the Estimation of Regional CO2 Fluxes

Makoto Saito, Tatsuya Yokota, Robert Joseph Andres, 2011 .

On the Impact of Granularity of Space-based Urban CO2 Emissions in Urban Atmospheric Inversions: A Case Study for Indianapolis, IN.

Dengsheng Lu, Kevin R. Gurney, Preeti Rao, 2017, Elementa.

Top-down estimate of surface flux in the Los Angeles Basin using a mesoscale inverse modeling technique: assessing anthropogenic emissions of CO, NO_x and CO₂ and their impacts

Gregory J. Frost, Tomohiro Oda, Jeff Peischl, 2012 .

The 2015–2016 carbon cycle as seen from OCO-2 and the global in situ network

David Crisp, Annmarie Eldering, Sean Crowell, 2019, Atmospheric Chemistry and Physics.

A global coupled Eulerian-Lagrangian model and 1 × 1 km CO₂ surface flux dataset for high-resolution atmospheric CO₂ transport simulations

Makoto Saito, Kazuhiro Tsuboi, Andrej Varlagin, 2011 .

Refined estimate of China's CO 2 emissions in spatiotemporal distributions

Miaomiao Liu, Haikun Wang, Tomohiro Oda, 2013 .