Laurea

Scevola, Damiano (2021) Static Analysis of Resources in QASM: Estimation of the Number of Qubits. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Laurea magistrale

Colledan, Andrea (2021) Abstract Machine Semantics for Quipper. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

Giusti, Giulia (2021) Sui Tipi Sessione, le Scelte Probabilistiche e il Tempo Polinomiale. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270], Documento ad accesso riservato.

Grillo, Francesca (2021) Proof-Of-Work e Impatto Ambientale: Problemi e Potenziali Soluzioni. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

Guerra, Andrea (2021) LTIQ Un Calcolo Lineare per Q#. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]