Columbia University
Publications for Hugo Matusek
| Title |
|---|
Kahlil Dozier, Kylie Berg, Justin Beltran, Hugo Matusek, Loqman Salamatian, Ethan Katz-Bassett, Dan Rubenstein Toward Applying Quantum Computing to Network Verification ACM HotNets 2024, November 2024 Downloads: Research Paper,Presentation |