Model Checking for Verification of Quantum Circuits

von Ying, Mingsheng
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

Foundations of quantum programming

von Ying, Mingsheng
Veröffentlicht 2016

Topology in process calculus : approximate correctness and infinite evolution of concurrent programs

von Ying, Mingsheng
Veröffentlicht 2001

Model-checking quantum systems : principles and algorithms

von Ying, Mingsheng
Veröffentlicht 2021

Robustness Verification of Quantum Classifiers

von Guan, Ji
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

Verifying Fairness ın Quantum Machine Learning

von Guan, Ji
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

Fuzzy logic and soft computing

Veröffentlicht 1999