Toward Reliable Oracle Verification of Quantum Programs Under Noise and Resource Constraints

Ning Ma

Communication écrite (2026)

Document en libre accès chez l'éditeur officiel

Un lien externe est disponible pour ce document

Département:	Département de génie informatique et génie logiciel
ISBN:	9798400726361
URL de PolyPublie:	https://publications.polymtl.ca/80384/
Nom de la conférence:	34th International Conference on the Foundations of Software Engineering (FSE Companion 2026)
Lieu de la conférence:	Montréal, QC, Canada
Date(s) de la conférence:	2026-07-05 - 2026-07-09
Maison d'édition:	Association for Computing Machinery
DOI:	10.1145/3803437.3804871
URL officielle:	https://doi.org/10.1145/3803437.3804871
Date du dépôt:	01 sept. 2026 16:07
Dernière modification:	01 sept. 2026 16:07

Citer en APA 7:	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. https://doi.org/10.1145/3803437.3804871
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Simple Metadata

Statistiques

Actions réservées au personnel