← authors · overview

• Reachability And Termination Analysis Of Concurrent Quantum Programs
  2012 · 23 citations
• Generalized Graph States Based on Hadamard Matrices
  2015 · 11 citations
• Alternation In Quantum Programming: From Superposition Of Data To Superposition Of Programs
  2014 · 10 citations
• Optimal Simulation of a Perfect Entangler
  2009
• Limitations on separable measurements by convex optimization
  2014
• Sample-optimal tomography of quantum states
  2015
• Quantum state tomography via reduced density matrices
  2016
• Entanglement Verification, with or without tomography
  2018
• Relational Proofs for Quantum Programs
  2019
• Protocols for Packet Quantum Network Intercommunication
  2019
• Quantum Closeness Testing: A Streaming Algorithm and Applications
  2019