Author of the publication

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

Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement., , , and . IEEE Trans. Ind. Informatics, 12 (4): 1321-1331 (2016)MPNet: temporal knowledge graph completion based on a multi-policy network., , , , , and . Appl. Intell., 54 (3): 2491-2507 (February 2024)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)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)QuraTest: Integrating Quantum Specific Features in Quantum Program Testing., , , , , , and . ASE, page 1149-1161. IEEE, (2023)MSG-CAM:Multi-scale inputs make a better visual interpretation of CNN networks., , , and . ICME, page 312-317. IEEE, (2023)Compositional Reasoning for Shared-variable Concurrent Programs., , , , , , , and . CoRR, (2016)Masked Face Detection Based on Locally Nonlinear Feature Fusion., , and . ICSCA, page 114-118. ACM, (2020)Perfectly Parallel Fairness Certification of Neural Networks., , , and . CoRR, (2019)