Gabriele Tedeschi
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Effect Semantics for Quantum Protocols | PLanQC 2024 | 2024-01-20 |
Proposes a semantics that replaces state-based probabilistic LTS with effect distributions and effect LTS that record measurement effects (matrices ≤ I) so one… | ||
| Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Determinis... | POPL 2024 | 2024-01-14 |
Introduces lqCCS (an asynchronous linear quantum CCS) and shows that unconstrained contexts can perform impossible non-deterministic choices on quantum data… | ||
| nothing matches | ||