Documents dont l'auteur est "Ma, Ning"

Pour citer ou exporter
Grouper par: Rôle | Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Nombre de documents: 2

2026

Ma, N. (juillet 2026). Toward Reliable Oracle Verification of Quantum Programs Under Noise and Resource Constraints [Communication écrite]. 34th International Conference on the Foundations of Software Engineering (FSE Companion 2026), Montréal, QC, Canada. Lien externe

2025

Ma, N., & Li, H. (2025). Understanding and Estimating the Execution Time of Quantum Circuits. ACM Transactions on Software Engineering and Methodology. Lien externe

Liste produite: Thu Oct 15 01:30:37 2026 EDT.