Quantum Programming Abstractions is a formal framework that specifies high-level constructs and operational principles for representing and manipulating quantum computations, distinguishing itself by enabling intuitive, scalable, and correct-by-construction quantum algorithm design through the encapsulation of quantum-specific behaviors such as superposition, entanglement, and measurement.
85
Publications
4.7K
Citations
251
Authors
108
Institutions
Publications per year
2017–2026
41
Publications
85
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross et al. · 2013 · 340 citations
Computing, Computer Science, Physics +15
1–5 of 85
Authors
251
- MY
7
h-index
- BV
5
h-index
- YF
5
h-index
- PS
5
h-index
- LZ
4
h-index
1–5 of 251
Institutions
108
University of Technology Sydney
Sydney, Australia
7 h-index
14 publications
312 citations
Tsinghua University
Beijing, China
6 h-index
12 publications
241 citations
Chinese Academy of Sciences
Beijing, China
5 h-index
13 publications
479 citations
Centre for Quantum Computation and Communication Technology
Sydney, Australia
5 h-index
11 publications
207 citations
Institute of Software
Beijing, China
4 h-index
12 publications
258 citations
University of Pennsylvania
Philadelphia, United States
3 h-index
3 publications
521 citations
Max Planck Institute for Security and Privacy
Bochum, Germany
3 h-index
4 publications
82 citations
Microsoft (United States)
Redmond, United States
3 h-index
5 publications
410 citations
1–8 of 108
Venues
- arXiv (Cornell University)
Repository · 5 publications · 73 citations
5
h-index
- ArXiv.org
Repository · 3 publications · 44 citations
3
h-index
- ACM Transactions on Quantum Computing
TQC · 3 publications · 64 citations
3
h-index
- Mathematical Structures in Computer Science
MSCS · 3 publications · 701 citations
3
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 2 publications · 26 citations
2
h-index
1–5