EasyChair Smart SlideDocs/Log in
Author: Mingsheng Ying

This page shows all presentations of this author published in EasyChair Smart Slide.

Quantum Weakest Preconditions for Reasoning About Expected Runtimes of Quantum Programs

Quantum Weakest Preconditions for Reasoning About Expected Runtimes of Quantum Programs

Junyi Liu, Li Zhou, Gilles Barthe and Mingsheng Ying

Verifying Fairness in Quantum Machine Learning

Verifying Fairness in Quantum Machine Learning

Ji Guan, Wang Fang and Mingsheng Ying

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair