R. Rand
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Q\# as a quantum algorithmic language | 2025-08-19 | Paper |
| A formally certified end-to-end implementation of Shor's factorization algorithm Proceedings of the National Academy of Sciences of the United States of America | 2025-03-06 | Paper |
| Gottesman types for quantum programs | 2024-11-28 | Paper |
| Exploitation performance and characterization of a prototype compressive sensing imaging spectrometer Applied and Numerical Harmonic Analysis | 2015-07-01 | Paper |
| Modal analysis of a cracked beam Journal of Sound and Vibration | 2012-04-16 | Paper |
Research outcomes over time
This page was built for person: R. Rand
