Verification of Quantum Protocols with a Probabilistic Model-Checker. - Amir M. Tavala; Soroosh Nazem; Ali A. Babaei-Brojeny (QPL/DCM@ICALP, 2008)

Building Communities Through Digital Data Sharing. - Soroosh Nazem; Valeria Bruni; Elena Fabris; Alan Marcus; Barbara Melis; Graziella Roccella (AHFE (2), 2020)