• Sign in
  • Sign up
conf.researchr.org / Fabio Gadducci
  • APLAS 2024 profile
  • POPL 2024 profile
  • STAF 2023 profile
  • STAF 2024 profile
  • STAF 2025 profile
Fabio Gadducci

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
xSat 24 May 01:47
using conf.researchr.org (v1.69.0)
Support page
Sign Up