Paolo Morettin

PhD student, Structured Machine Learning group (SML), University of Trento, Italy.
Supervisor: Prof. Andrea Passerini

e-mail:
github:https://github.com/paolomorettin/


Teaching material

Informatica 2017-18 (LT in Scienze e Tecnologie Biomolecolari)


Software

WMI-PA Efficient weighted model integration via SMT-based predicate abstraction


Publications

Efficient Weighted Model Integration via SMT-Based Predicate Abstraction
Proceedings of the International Joint Conference on Artificial Intelligence, 2017.
Paolo Morettin, Andrea Passerini, Roberto Sebastiani.
Discovering Candidates for Gene Network Expansion by Distributed Volunteer Computing
Trustcom/BigDataSE/ISPA, 2015 IEEE. Vol. 3. IEEE, 2015.
Francesco Asnicar, Luca Erculiani, Francesca Galante, Caterina Gallo, Luca Masera, Paolo Morettin, Nadir Sella, Stanislau Semeniuta,
Thomas Tolio, Giulia Malacarne, Kristof Engelen, Andrea Argentini, Valter Cavecchia, Claudio Moser, Enrico Blanzieri.