( en | de | ru )

 

Disambiguation of "Zhao, Yongwang"

Author of the publication

copydeleteadd this publication to your clipboard
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs.

, , , , , and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 481-498. (2017)

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.

Zhao Zhao

Yanning Zhao

Hertz-level ultra-stable laser and its application to high precision spectroscopy. Uni Erlangen-Nürnberg, (2009)

Su Zhao

Xiaojian Zhao

Bingbing Zhao

 

Other publications of authors with the same name

QDFA: Query-Dependent Feature Aggregation for Medical Image Retrieval., , , and . IEICE Trans. Inf. Syst., 95-D (1): 275-279 (2012)DH4SS: a distributed heuristic for QoS-based service selection., , , , and . Int. J. Web Grid Serv., 7 (4): 388-409 (2011)An operational semantics of WS-BPEL based on abstract BPEL machine., , , and . SOCA, page 1-4. IEEE Computer Society, (2010)A Verified Specification of TLSF Memory Management Allocator Using State Monads., , , , and . SETTA, volume 11951 of Lecture Notes in Computer Science, page 122-138. Springer, (2019)Collaborative geospatial web services for multi-dimension remote sensing data., , , , , and . ICDIM, page 456-463. IEEE, (2008)Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement., , , and . IEEE Trans. Ind. Informatics, 12 (4): 1321-1331 (2016)Managing and Collaboratively Processing Medical Image via the Web., , , , , and . WAIM Workshops, volume 7419 of Lecture Notes in Computer Science, page 252-263. Springer, (2012)Model learning: a survey of foundations, tools and applications., , and . Frontiers Comput. Sci., 15 (5): 155210 (2021)A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures., , , , and . ICFEM, volume 13478 of Lecture Notes in Computer Science, page 190-208. Springer, (2022)Integrating Business Processes and Business Rules., , , and . APSCC, page 493-497. IEEE Computer Society, (2011)