( en | de | ru )

 

Disambiguation of "Zhao, Yongwang"

Author of the publication

copydeleteadd this publication to your clipboard
VeriReach: A Formally Verified Algorithm for Reachability Analysis in Virtual Private Cloud Networks.

, , , , and . ICWS, page 71-77. IEEE, (2023)

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

Li Zhao

 

Other publications of authors with the same name

Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement., , , and . IEEE Trans. Ind. Informatics, 12 (4): 1321-1331 (2016)DH4SS: a distributed heuristic for QoS-based service selection., , , , and . Int. J. Web Grid Serv., 7 (4): 388-409 (2011)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)An operational semantics of WS-BPEL based on abstract BPEL machine., , , and . SOCA, page 1-4. IEEE Computer Society, (2010)Collaborative geospatial web services for multi-dimension remote sensing data., , , , , and . ICDIM, page 456-463. IEEE, (2008)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)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)QDFA: Query-Dependent Feature Aggregation for Medical Image Retrieval., , , and . IEICE Trans. Inf. Syst., 95-D (1): 275-279 (2012)Compositional Reasoning for Shared-Variable Concurrent Programs., , , , , , and . FM, volume 10951 of Lecture Notes in Computer Science, page 523-541. Springer, (2018)