4
collaborators
2014–2014
years active
Contributions
QIP QCrypt TQC talk poster presenter award · △program ◇steering ○organizing · filled = chair
2 Posters
| Title | Conference | Co-authors |
|---|---|---|
| Verification of Quantum Protocols using Coq | QIP 2014 | Jaap Boender, Florian Kammueller |
| Automated Verification of Quantum Protocols by Equivalence Checking | QIP 2014 | Ebrahim Ardeshir-Larijani, Simon Gay |
Collaborators
| Co-author | Joint talks |
|---|---|
| Ebrahim Ardeshir-Larijani | 1 |
| Florian Kammueller | 1 |
| Jaap Boender | 1 |
| Simon Gay | 1 |