Paolo Morettin
Paolo Morettin
Verified email at unitn.it
Title
Cited by
Cited by
Year
Efficient weighted model integration via smt-based predicate abstraction
P Morettin, A Passerini, R Sebastiani
def 1 (x1), x2, 2017
122017
TN-grid and gene@ home project: volunteer computing for bioinformatics
F Asnicar, N Sella, L Masera, P Morettin, T Tolio, S Semeniuta, C Moser, ...
BOINC: FAST 2015 International Conference BOINC: FAST 2015Second …, 2015
112015
NES2RA: Network expansion by stratified variable subsetting and ranking aggregation
F Asnicar, L Masera, E Coller, C Gallo, N Sella, T Tolio, P Morettin, ...
The International Journal of High Performance Computing Applications 32 (3 …, 2018
92018
Discovering candidates for gene network expansion by distributed volunteer computing
F Asnicar, L Erculiani, F Galante, C Gallo, L Masera, P Morettin, N Sella, ...
2015 IEEE Trustcom/BigDataSE/ISPA 3, 248-253, 2015
72015
Advanced smt techniques for weighted model integration
P Morettin, A Passerini, R Sebastiani
Artificial Intelligence 275, 1-27, 2019
62019
The pywmi framework and toolbox for probabilistic inference using weighted model integration
S Kolb, P Morettin, P Zuidberg Dos Martires, F Sommavilla, A Passerini, ...
https://www. ijcai. org/proceedings/2019/, 2019
12019
Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing
Z Zeng, P Morettin, F Yan, A Vergari, GV Broeck
arXiv preprint arXiv:2003.00126, 2020
2020
Hybrid Probabilistic Inference with Logical Constraints: Tractability and Message-Passing
Z Zeng, F Yan, P Morettin, A Vergari, GV Broeck
arXiv preprint arXiv:1909.09362, 2019
2019
Learning Weighted Model Integration Distributions
P Morettin, S Kolb, S Teso, A Passerini
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2019
2019
Probabilistic Inference in Hybrid Domains.
P Morettin
IJCAI, 5193-5194, 2017
2017
Discovering candidates for gene network expansion by variable subsetting and ranking aggregation
L Erculiani, F Galante, C Gallo, F Asnicar, L Masera, P Morettin, N Sella, ...
Network Biology Community-ISMB meeting (NetBio _SIG_2015), 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–11