| 2018 | ISMIS | An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks. | Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2015 | DSD | User Flexibility Aware Price Policy Synthesis for Smart Grids. | Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry Patrick Hayes, Milan Prodanovic, Lars Elmegaard |
| 2015 | PDP | SyLVaaS: System Level Formal Verification as a Service. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci |
| 2014 | DSD | Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci |
| 2014 | FMCAD | Patient-specific models from inter-patient biological models and clinical records. | Enrico Tronci, Toni Mancini, Ivano Salvo, Stefano Sinisi, Federico Mari, Igor Melatti, Annalisa Massini, Francesco Dav, Thomas Dierkes, Rainald Ehrig, Susanna Rblitz, Brigitte Leeners, Tillmann H. C. Kruger, Marcel Egli, Fabian Ille |
| 2014 | PDP | System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci |
| 2013 | CAV | System Level Formal Verification via Model Checking Driven Simulation. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci |
| 2012 | SAC | Combinatorial problem solving over relational databases: view synthesis through constraint-based local search. | Toni Mancini, Pierre Flener, Justin Pearson |
| 2009 | PAAMS | Negotiation Exploiting Reasoning by Projections. | Toni Mancini |
| 2007 | IJCAI | Conditional Constraint Satisfaction: Logical Foundations and Complexity. | Georg Gottlob, Gianluigi Greco, Toni Mancini |
| 2007 | IJCAI | Complexity of Pure Equilibria in Bayesian Games. | Georg Gottlob, Gianluigi Greco, Toni Mancini |
| 2006 | ECAI | Evaluating ASP and Commercial Solvers on the CSPLib. | Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi |
| 2006 | ISMIS | SAT as an Effective Solving Technology for Constraint Problems. | Marco Cadoli, Toni Mancini, Fabio Patrizi |
| 2005 | AAAI | CSP Properties for Quantified Constraints: Definitions and Complexity. | Lucas Bordeaux, Marco Cadoli, Toni Mancini |
| 2004 | AAAI | Scaling Up Reasoning about Actions Using Relational Database Technology. | Giuseppe De Giacomo, Toni Mancini |
| 2004 | JELIA | Exploiting Functional Dependencies in Declarative Problem Specifications. | Marco Cadoli, Toni Mancini |
| 2004 | KR | Automated Reformulation of Specifications by Safe Delay of Constraints. | Marco Cadoli, Toni Mancini |
| 2004 | LPAR | Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems. | Lucas Bordeaux, Marco Cadoli, Toni Mancini |
| 2003 | CP | Reformulation Techniques for a Class of Permutation Problems. | Toni Mancini |
| 2002 | PODS | Knowledge Compilation = Query Rewriting + View Synthesis. | Marco Cadoli, Toni Mancini |