logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Avvisi

  • Per un aggiornamento delle procedure adottate dall'Ateneo in materia di protezione dei dati personali, si è reso necessario oscurare temporaneamente i nomi e i cognomi degli autori delle tesi in ETD.
    Ripristineremo la visibilità del nominativo dell'autore dal 01/10/2026, per garantire la corretta attribuzione della paternità dell'opera. Chi desideri mantenere oscurato il proprio nome e cognome, in qualunque momento può comunicarlo allo staff ETD.
    È stato inoltre necessario oscurare tutti gli indirizzi email degli autori. ETD continuerà a utilizzarli esclusivamente per consentire l'inoltro di richieste relative alle tesi, garantendo l'anonimato del recapito nei confronti dei richiedenti.

Cerca per relatore della tesi


Risultati da 1 a 12 di 14
Titolo Corso di studi Anno di discussione Relatore
Verifying Quantum Protocols via Quantum Probabilities INFORMATICA 2026
Process-oriented Data Science for the Analysis and Comparison of the inner Processes of Italian Legal Courts DATA SCIENCE AND BUSINESS INFORMATICS 2025
VoxLogicA UI: Supporting Declarative Medical Image Analysis INFORMATICA 2025
Quantum Bisimilarity via Barbs, Contexts and Schedulers INFORMATICA 2025
Model checking properties with identity binding in space-time INFORMATICA 2024
Counterpart Semantics for Quantified Temporal Logics: Sets, Categories and Agda INFORMATICA 2022
Exploring Quantum Process Calculi via barbs and contexts INFORMATICA 2022
Counterpart semantics for First-Order Linear Temporal Logic INFORMATICA 2021
A GPU based implementation of the spatial model checker VoxLogicA INFORMATICA 2020
A Network-Aware Process Calculus for Global Computing and its Categorical Framework SCIENZE DI BASE 2013
Firing and Step semantics for a class of Open Petri Nets INFORMATICA 2011
Adequacy Issues in Reactive Systems: Barbed Semantics for Mobile Ambients INFORMATICA 2011

Nuova ricerca