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 |
|---|---|---|
| Automated Verification of Quantum Protocols by Equivalence Checking | QIP 2014 | Ebrahim Ardeshir-Larijani, Rajagopal Nagarajan |
| Verification of linear optical quantum computing using quantum process calculus. | QIP 2014 | Ittoop Vergheese Puthoor, Sonja Franke-Arnold |
Collaborators
| Co-author | Joint talks |
|---|---|
| Ebrahim Ardeshir-Larijani | 1 |
| Ittoop Vergheese Puthoor | 1 |
| Rajagopal Nagarajan | 1 |
| Sonja Franke-Arnold | 1 |