Author of the publication

A real-time geo-processing database engine linking calculations and storage for VGE.

, , , , , , , and . Annals of GIS, 21 (4): 265-274 (2015)

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

A real-time geo-processing database engine linking calculations and storage for VGE., , , , , , , and . Annals of GIS, 21 (4): 265-274 (2015)A Study of the Model Explosion Problem in CTL Model Update., and . SEKE, page 752-757. Knowledge Systems Institute Graduate School, (2008)Specifying Software Architectures Using a Formal-Based Approach., and . Australian Software Engineering Conference, page 279-288. IEEE Computer Society, (2008)System Modification Case Studies., and . COMPSAC (2), page 355-360. IEEE Computer Society, (2007)978-0-7695-2870-0.An integrated geospatial information service system for disaster management in China., , , , , , and . Int. J. Digital Earth, 8 (11): 918-945 (2015)CTL Model Update: Semantics, Computations and Implementation., and . ECAI, volume 141 of Frontiers in Artificial Intelligence and Applications, page 362-366. IOS Press, (2006)Semantics-Constrained Advantageous Information Selection of Multimodal Spatiotemporal Data for Landslide Disaster Assessment., , , , , , , , , and . ISPRS Int. J. Geo-Information, 8 (2): 68 (2019)CTL Model Update for System Modifications., and . J. Artif. Intell. Res., (2008)CTL Model Update for System Modifications, and . CoRR, (2011)A Logic Approach for LTL System Modification., and . ISMIS, volume 3488 of Lecture Notes in Computer Science, page 435-444. Springer, (2005)