Robert Rand

Identifiers

• name variant Robert Rand 0.60 · backfill

Papers (5)

1. TensorRocq: Enabling diagrammatic reasoning in Rocq cs.LO · 2026 · author #4
2. VyZX: Formal Verification of a Graphical Quantum Language cs.PL · 2023 · author #5
3. Verification Logics for Quantum Programs cs.LO · 2019 · author #1
4. ReQWIRE: Reasoning about Reversible Quantum Circuits cs.LO · 2019 · author #1
5. Ordered direct implicational basis of a finite closure system math.CO · 2011 · author #3

Mentions

• 2604.17592 #4 · arxiv_oai · confidence 0.70 Robert Rand
• 1110.5805 #3 · backfill · confidence 0.70 Robert Rand

Frequent Coauthors

• William Spencer 2 shared papers
• Adrian Lehmann 1 shared papers
• Aleks Kissinger 1 shared papers
• Ben Caldwell 1 shared papers
• Benjamin Caldwell 1 shared papers
• Bhakti Shah 1 shared papers
• Dong-Ho Lee 1 shared papers
• J.B. Nation 1 shared papers
• Jennifer Paykin 1 shared papers
• Kira Adaricheva 1 shared papers
• Steve Zdancewic 1 shared papers