4
collaborators
2016–2016
years active
Contributions
QIP QCrypt TQC talk poster presenter award · △program ◇steering ○organizing · filled = chair
1 Talk
| Title | Conference | Type | Co-authors |
|---|---|---|---|
| Quantum Boxes: A Framework for Modeling and Composing Quantum Reactive Systems | QIP 2016 | regular | ▸Christopher Portmann, Christian Matt, Ueli Maurer, Renato Renner |
Collaborators
| Co-author | Joint talks |
|---|---|
| Christian Matt | 1 |
| Christopher Portmann | 1 |
| Renato Renner | 1 |
| Ueli Maurer | 1 |