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, Ueli Maurer, Renato Renner, Björn Tackmann |
Collaborators
| Co-author | Joint talks |
|---|---|
| Björn Tackmann | 1 |
| Christopher Portmann | 1 |
| Renato Renner | 1 |
| Ueli Maurer | 1 |