Fabio Gadducci
Identifiers
No identifiers captured yet.
Papers (4)
- Verification of Quantum Protocols Adopting Physically Admissible Schedulers cs.LO · 2026 · author #2
- A taxonomy of categories for relations math.CT · 2025 · author #2
- Retracing and assessing the CEP project cs.GL · 2019 · author #2
- Rewriting modulo symmetric monoidal structure math.CT · 2016 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Aleks Kissinger 1 shared papers
- Cipriano Junior Cioffo 1 shared papers
- Davide Trotta 1 shared papers
- Fabio Zanasi 1 shared papers
- Filippo Bonchi 1 shared papers
- Gabriele Tedeschi 1 shared papers
- Giovanni A. Cignoni 1 shared papers
- Giuseppe Lomurno 1 shared papers
- Lorenzo Ceragioli 1 shared papers
- Pawel Sobocinski 1 shared papers