Alessandra Di Pierro

Dipartimento di Informatica
Università di Verona
Strada le Grazie, 15
Ca' Vignal 2,
37134
Verona (Italy)
Tel:  +39 045 802 7971
Fax:  +39 045 802 7068

Associate Professor

Recent


A quantum annealing approach to biclustering
With L. Bottarelli, M. Bicego, M. Denitto, Alessandro Farinelli. In Theory and Practice of Natural Computing, Lecture Notes in Computer Science, Vol. 10071, Pages 175-187. Springer International Publishing, 2016.

Probabilistic abstract intepretation: From trace semantics to DTMC's via linear regression
With H. Wiklicky In Semantics, Logics and Calculi, Lecture Notes in Computer Science,
Vol. 9560, Pages 111-139. Springer International Publishing, 2016.

The dual value of probabilistic abstract interpretation
In
Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491), Schloss Dagstuhl--Leibniz-Zentrum fur Informatik, Dagstuhl Reports, 5(11):151-179, Dagstuhl, Germany, 2016. Available online.

A topological quantum calculus
In
Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181), Schloss Dagstuhl Leibniz-Zentrum fuer Informatik, Dagstuhl Reports, 5(4):123-141, Dagstuhl, Germany, 2015. Available online.

A calculus of anyons
With F. Panarotto. In Proceedings of WoLLIC 2014, 21st Workshop on Logic,
Language, Information and Computation, Valparaiso, Chile, September 2014. Lecture Notes in Computer Science Vol.8652, Pages 152-165, Springer-Verlag, 2014.

Probabilistic analysis of programs: A weak limit approach
With H. Wiklicky. In Proceedings of FOPARA 2013, 3rd Interna- tional Workshop on Foundational and Practical Aspects of Resource Anlysis, Bertinoro, Italy, August 2013. Lecture Notes in Computer Science, Vol.8552, Pages 58-76, Springer, 2014.

Semantics of probabilistic programs: A weak limit approach
With H. Wiklicky. In Proceedings of APLAS 2013, 11th Asian Symposium on on Programming Languages and Systems, Melbourne, Australia, December 2013. Lecture Notes in Computer Science Vol.8301, Pages 241-256, Springer International Publishing, 2013.

Probabilistic data flow analysis: a linear equational approach
(With H. Wiklicky) In Proceedings of GandALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification, Borca di Cadore, Dolomites, Italy, August 2013. Electronic Proceedings in TCS, Vol.119, Pages 150-165, 2013.

Approximation and Relative Entropy
In Boris Kopf, Paquale Malacaria, and Catuscia Palamidessi Quantitative Security Analysis, Dagstuhl Seminar 12481. Dagstuhl Reports, 2(11):141-141, 2012. Available
online.


Complete List (pdf)