Author of the publication

Evaluation of Gridded CO2 Emissions from Night-Time Lights Compared with Geospatially-Derived Population Distributions for Vietnam, Cambodia, and Laos.

, , , , , , , , and . IGARSS, page 1625-1628. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification., , and . FormaliSE@ICSE, page 33-39. IEEE Computer Society, (2015)SOMETHINGit: a prototyping library for live and sound improvisation., , and . LIVE@ICSE, page 11-14. IEEE Computer Society, (2013)Formulating a Geolocation Bias Correction for DMSP Nighttime Lights of Global Cities., , and . CSIT, volume 1293 of Advances in Intelligent Systems and Computing, page 383-398. Springer, (2020)Specification slicing in formal methods of software development., and . COMPSAC, page 313-319. IEEE, (1993)Algorithms for Analysis of Geolocation Error of Nightlight Satellite Data and Greenhouse Gas Data Calculated on Their Basis., , and . CSIT (1), page 84-87. IEEE, (2020)Evaluation of Gridded CO2 Emissions from Night-Time Lights Compared with Geospatially-Derived Population Distributions for Vietnam, Cambodia, and Laos., , , , , , , , and . IGARSS, page 1625-1628. IEEE, (2019)ViennaDoc: An Animatable and Testable Specification Documentation Tool., , , , , , and . FM Workshops (2), volume 12233 of Lecture Notes in Computer Science, page 289-302. Springer, (2019)re: Mobidyc - Reconstructing MOdeling Based on Individual for the DYnamics of Community., , , and . PAAMS, volume 12946 of Lecture Notes in Computer Science, page 367-371. Springer, (2021)A Formal Modeling Tool for Exploratory Modeling in Software Development., , and . IEICE Trans. Inf. Syst., 100-D (6): 1210-1217 (2017)ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4., , and . IWST, page 4. ACM, (2016)