Author of the publication

A Catalogue Service for Internet GIServices Supporting Active Service Evaluation and Real-Time Quality Monitoring.

, , , and . Trans. GIS, 16 (6): 745-761 (2012)

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

Localizing Errors in Counterexample with Iteratively Witness Searching., , and . ATVA, volume 3299 of Lecture Notes in Computer Science, page 456-469. Springer, (2004)Deep Fusion of DOM and DSM Features for Benggang Discovery., , , , , and . ISPRS Int. J. Geo Inf., 10 (8): 556 (2021)Highway Ecological Environmental Assessment Based on Modified Remote Sensing Index - Taking the Lhasa-Nyingchi Motorway as an Example., , , , , , and . Remote. Sens., 16 (2): 265 (January 2024)A Catalogue Service for Internet GIServices Supporting Active Service Evaluation and Real-Time Quality Monitoring., , , and . Trans. GIS, 16 (6): 745-761 (2012)A Faster Counterexample Minimization Algorithm Based on Refutation Analysis., , and . DATE, page 672-677. IEEE Computer Society, (2005)A Halting Algorithm to Determine the Existence of the Decoder., , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 30 (10): 1556-1563 (2011)Inferring Assertion for Complementary Synthesis., , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 31 (8): 1288-1292 (2012)Synthesizing Complementary Circuits Automatically., , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 29 (8): 1191-1202 (2010)Cloud-Oriented SAT Solver Based on Obfuscating CNF Formula., , , and . APWeb Workshophs, volume 8710 of Lecture Notes in Computer Science, page 188-199. Springer, (2014)Identifying the "Ghost City" of domain topics in a keyword semantic space combining citations., , , , , , , , and . Scientometrics, 114 (3): 1141-1157 (2018)