( en | de | ru )

 

Disambiguation of "Zhang, Haitao"

Author of the publication

copydeleteadd this publication to your clipboard
SMT-based Bounded Model Checking for Cooperative Software with a Deterministic Scheduler.

, and . SOFL+MSVL, volume 10189 of Lecture Notes in Computer Science, page 181-200. (2016)

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.

Haitao Gao

Haitao Huang

Haitao Chen

Haitao Wang

Haitao Rong

 

Other publications of authors with the same name

Metadata Organization and Retrieval with Attribute Tree for Large-Scale Traffic Surveillance Videos., , and . BigCom, volume 9196 of Lecture Notes in Computer Science, page 434-443. Springer, (2015)Multi-Resource Fair Allocation for Composited Services in Edge Micro-Clouds., , , , and . ISPA/BDCloud/SocialCom/SustainCom, page 405-412. IEEE, (2019)An Urban Hot/Cold Spot Detection Method Based on the Page Rank Value of Spatial Interaction Networks Constructed from Human Communication Records., , , , , and . ISPRS Int. J. Geo Inf., 11 (3): 210 (2022)Adaptive sampling for selectivity estimation in spatial database., , , , , , and . IGARSS, page 4. IEEE, (2005)1D-Convolutional Capsule Network for Hyperspectral Image Classification., , , , , , , and . CoRR, (2019)The application of an automated plant-wide control strategy for a continuous pharmaceutical pilot plant., , , , , , , , , and 2 other author(s). ACC, page 3512-3517. IEEE, (2014)NDNFit: An Open mHealth Application Built on Named Data Networking.. University of California, Los Angeles, USA, (2018)base-search.net (ftcdlib:qt8h8950n3).A contour extraction algorithm of palmprints based on corner point features., , , and . ICAL, page 501-505. IEEE, (2012)Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach., , , and . SOFL+MSVL, volume 10795 of Lecture Notes in Computer Science, page 51-68. Springer, (2017)Adaptive Function Launching Acceleration in Serverless Computing Platforms., , , , and . ICPADS, page 9-16. IEEE, (2019)