Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Fabio Gadducci
conf.researchr.org general profile
APLAS 2024 profile
POPL 2024 profile
STAF 2023 profile
STAF 2024 profile
STAF 2025 profile
Registered user since Thu 9 Nov 2023
Name:
Fabio Gadducci
Affiliation:
University of Pisa
Contributions
2025
ICGT
Committee Member in Program Committee
2024
PLanQC
Author of Effect Semantics for Quantum Protocols within the PLanQC 2024-track
APLAS
Author of Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers within the Research Papers-track
ICGT
PC Member in Program Committee
WADT
Committee Member in Programme Committee
POPL
Author of Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Deterministic Observers within the POPL-track
2023
ICGT
Author of Specification and Verification of a Linear-time Temporal Logic for Graph Transformation within the Research Papers-track
GCM
PC Member in Program Committee within the GCM 2023-track
Share
x
Tue 6 May 21:42
