Advanced SMT techniques for weighted model integration P Morettin, A Passerini, R Sebastiani Artificial Intelligence 275, 1-27, 2019 | 27 | 2019 |

Efficient weighted model integration via smt-based predicate abstraction P Morettin, A Passerini, R Sebastiani def 1 (x1), x2, 2017 | 27 | 2017 |

TN-Grid and gene@ home project: Volunteer Computing for Bioinformatics F Asnicar, N Sella, L Masera, P Morettin, T Tolio, S Semeniuta, C Moser, ... Ivashko, E.(ed.) Second International Conference BOINC-based High …, 2015 | 17 | 2015 |

Efficient generation of structured objects with constrained adversarial networks L Di Liello, P Ardino, J Gobbi, P Morettin, S Teso, A Passerini Advances in neural information processing systems 33, 14663-14674, 2020 | 14 | 2020 |

NES^{2}RA: Network expansion by stratified variable subsetting and ranking aggregationF Asnicar, L Masera, E Coller, C Gallo, N Sella, T Tolio, P Morettin, ... The International Journal of High Performance Computing Applications 32 (3 …, 2018 | 12 | 2018 |

The pywmi framework and toolbox for probabilistic inference using weighted model integration S Kolb, P Morettin, P Zuidberg Dos Martires, F Sommavilla, A Passerini, ... Proceedings of the twenty-Eighth International Joint Conference on …, 2019 | 11 | 2019 |

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 | 9 | 2015 |

Scaling up hybrid probabilistic inference with logical and arithmetic constraints via message passing Z Zeng, P Morettin, F Yan, A Vergari, G Van den Broeck International Conference on Machine Learning, 10990-11000, 2020 | 8 | 2020 |

Learning weighted model integration distributions P Morettin, S Kolb, S Teso, A Passerini Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 5224-5231, 2020 | 8 | 2020 |

Probabilistic inference with algebraic constraints: Theoretical limits and practical approximations Z Zeng, P Morettin, F Yan, A Vergari, G Van den Broeck Advances in Neural Information Processing Systems 33, 11564-11575, 2020 | 5 | 2020 |

Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey. P Morettin, PZ Dos Martires, S Kolb, A Passerini IJCAI, 4533-4542, 2021 | 4 | 2021 |

Efficient generation of structured objects with Constrained Adversarial Networks J Gobbi, L Di Liello, P Ardino, P Morettin, S Teso, A Passerini | 2 | 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 | 1 | 2019 |

SMT-based weighted model integration with structure awareness G Spallitta, G Masina, P Morettin, A Passerini, R Sebastiani Uncertainty in Artificial Intelligence, 1876-1885, 2022 | | 2022 |

Co-creating Platformer Levels with Constrained Adversarial Networks P Morettin, A Passerini, S Teso Proceedings of the 2nd Workshop on Human-AI Co-Creation with Generative Models, 2021 | | 2021 |

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), Dublin, Ireland …, 2015 | | 2015 |

Is Parameter Learning via Weighted Model Integration Tractable? Z Zeng, P Morettin, F Yan, A Passerini, G Van den Broeck The 4th Workshop on Tractable Probabilistic Modeling, 0 | | |

Probabilistic Inference with Algebraic Constraints Z Zeng, P Morettin, F Yan, A Vergari, G Van den Broeck | | |

Relax, compensate and then integrate Z Zeng, P Morettin, F Yan, A Vergari, G Van den Broeck | | |