( en | de | ru )

 

Disambiguation of "Zhang, Fuyuan"

Author of the publication

copydeleteadd this publication to your clipboard
Compositional Reasoning for Shared-Variable Concurrent Programs.

, , , , , , and . FM, volume 10951 of Lecture Notes in Computer Science, page 523-541. Springer, (2018)

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.

Qiao Fuyuan

Zhang Zhang

Meng Zhang

Methods and implementations of road-network matching. TU München, (2009)

Yue Zhang

Xianghui Zhang

 

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)Visualization Enhancement of Saliency Methods Based on the Sliding Window Mechanism., , , and . ECAI, volume 372 of Frontiers in Artificial Intelligence and Applications, page 2728-2735. IOS Press, (2023)MSG-CAM:Multi-scale inputs make a better visual interpretation of CNN networks., , , and . ICME, page 312-317. IEEE, (2023)QuraTest: Integrating Quantum Specific Features in Quantum Program Testing., , , , , , and . ASE, page 1149-1161. IEEE, (2023)Compositional Reasoning for Shared-Variable Concurrent Programs., , , , , , and . FM, volume 10951 of Lecture Notes in Computer Science, page 523-541. Springer, (2018)A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems., , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 161-178. Springer, (2019)MPNet: temporal knowledge graph completion based on a multi-policy network., , , , , and . Appl. Intell., 54 (3): 2491-2507 (February 2024)Time Split Network for Temporal Knowledge Graph Completion., , , , , and . ChineseCSCW (1), volume 2012 of Communications in Computer and Information Science, page 333-347. Springer, (2023)DeepSearch: a simple and effective blackbox attack for deep neural networks., , and . ESEC/SIGSOFT FSE, page 800-812. ACM, (2020)Perfectly parallel fairness certification of neural networks., , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 185:1-185:30 (2020)