Robert Rand
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | VMCAI | Efficiently Verifying Quantum Programs with Few T Gates. | Youngchan Cho, Robert Rand |
| 2023 | SIGCOMM | Towards an Algebraic Specification of Quantum Networks. | Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Rand, Robert Soul, Patrick Eugster |
| 2022 | CC | Writing and verifying a Quantum optimizing compiler (keynote). | Robert Rand |
| 2021 | ITP | Proving Quantum Programs Correct. | Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks |
| 2017 | POPL | QWIRE: a core language for quantum circuits. | Jennifer Paykin, Robert Rand, Steve Zdancewic |
| 2012 | ISAIM | Ordered direct implicational basis of a finite closure system. | Kira V. Adaricheva, James B. Nation, Robert Rand |
| 2012 | IGARSS | Sparse modeling for hyperspectral imagery with LiDAR data fusion for subpixel mapping. | Alexey Castrodad, Timothy Khuon, Robert Rand, Guillermo Sapiro |