Nicola Assolini

According to our database, Nicola Assolini authored at least 6 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formal Verification of Variational Quantum Circuits.

Nicola Assolini, Luca Marzari, Isabella Mastroeni, Alessandra Di Pierro

CoRR, July, 2025

A Denotational Semantics for Quantum Loops.

Nicola Assolini, Alessandra Di Pierro

CoRR, June, 2025

A Static Analysis of Entanglement.

Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

2024

Static Analysis of Quantum Programs.

Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni

Proceedings of the Static Analysis - 31st International Symposium, 2024

Abstracting Entanglement.

Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni

Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, 2024

2021

Text Analytics Can Predict Contract Fairness, Transparency and Applicability.

Nicola Assolini, Adelaide Baronchelli, Matteo Cristani, Luca Pasetto, Francesco Olivieri, Roberto Ricciuti, Claudio Tomazzoli

Proceedings of the 17th International Conference on Web Information Systems and Technologies, 2021