Combining Relational Algebra, SQL, and Constraint Programming. - Marco Cadoli; Toni Mancini (FroCoS, 2002)

Knowledge Compilation = Query Rewriting + View Synthesis. - Marco Cadoli; Toni Mancini (PODS, 2002)

Towards automated reformulation of specications. - Marco Cadoli; Toni Mancini (APPIA-GULP-PRODE, 2003)

Reformulation Techniques for a Class of Permutation Problems. - Toni Mancini (CP, 2003)

Scaling Up Reasoning about Actions Using Relational Database Technology. - Giuseppe De Giacomo; Toni Mancini (AAAI, 2004)

Finite Satisfiability of UML Class Diagrams by Constraint Programming. - Toni Mancini (Description Logics, 2004)

Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems. - Lucas Bordeaux; Marco Cadoli; Toni Mancini (LPAR, 2004)

CSP Properties for Quantified Constraints: Definitions and Complexity. - Lucas Bordeaux; Marco Cadoli; Toni Mancini (AAAI, 2005)

Detecting and Breaking Symmetries by Reasoning on Problem Specifications. - Toni Mancini; Marco Cadoli (SARA, 2005)

SAT as an Effective Solving Technology for Constraint Problems. - Marco Cadoli; Toni Mancini; Fabio Patrizi (ISMIS, 2006)

Evaluating ASP and commercial solvers on the CSPLib (Preliminary work). - Marco Cadoli; Toni Mancini; Davide Micaletto; Fabio Patrizi (WLP, 2006)

Automated reformulation of specifications by safe delay of constraints. - Marco Cadoli; Toni Mancini (Artif. Intell., 2006)

Conditional Constraint Satisfaction: Logical Foundations and Complexity. - Georg Gottlob; Gianluigi Greco; Toni Mancini (IJCAI, 2007)

Complexity of Pure Equilibria in Bayesian Games. - Georg Gottlob; Gianluigi Greco; Toni Mancini (IJCAI, 2007)

Using a Theorem Prover for Reasoning on Constraint Problems. - Marco Cadoli; Toni Mancini (Appl. Artif. Intell., 2007)

Exploiting functional dependencies in declarative problem specifications. - Toni Mancini; Marco Cadoli (Artif. Intell., 2007)

Combining relational algebra, SQL, constraint modelling, and local search. - Marco Cadoli; Toni Mancini (Theory Pract. Log. Program., 2007)

Evaluating ASP and Commercial Solvers on the CSPLib. - Toni Mancini; Davide Micaletto; Fabio Patrizi; Marco Cadoli (Constraints An Int. J., 2008)

A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability. - Lucas Bordeaux; Marco Cadoli; Toni Mancini (J. Artif. Intell. Res., 2008)

RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion. - Marco Gavanelli; Toni Mancini (J. Algorithms, 2008)

Constrained Optimization Over Massive Databases. - Toni Mancini; Pierre Flener; Amir Hossein Monshi; Justin Pearson (RCRA@AI*IA, 2009)

Negotiation Exploiting Reasoning by Projections. - Toni Mancini (PAAMS, 2009)

Generalizing consistency and other constraint properties to quantified constraints. - Lucas Bordeaux; Marco Cadoli; Toni Mancini (ACM Trans. Comput. Log., 2009)

Preface. - Marco Gavanelli; Toni Mancini (Fundam. Informaticae, 2010)

17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". - Marco Gavanelli; Toni Mancini (Ann. Math. Artif. Intell., 2011)

RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. - Marco Gavanelli; Toni Mancini; Alberto Pettorossi (Fundam. Informaticae, 2011)

Combinatorial problem solving over relational databases: view synthesis through constraint-based local search. - Toni Mancini; Pierre Flener; Justin Pearson (SAC, 2012)

18th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". - Marco Gavanelli; Toni Mancini (AI Commun., 2012)

System Level Formal Verification via Model Checking Driven Simulation. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Fabio Merli; Enrico Tronci (CAV, 2013)

Finite model reasoning on UML class diagrams via constraint programming. - Marco Cadoli; Diego Calvanese; Giuseppe De Giacomo; Toni Mancini (Intelligenza Artificiale, 2013)

Automated reasoning. - Marco Gavanelli; Toni Mancini (Intelligenza Artificiale, 2013)

Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (DSD, 2014)

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 Röblitz; Brigitte Leeners; et al. (FMCAD, 2014)

System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (PDP, 2014)

Demand-aware price policy synthesis and verification services for Smart Grids. - Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Jorn Klaas Gruber; Barry P. Hayes; Milan Prodanovic; Lars Elmegaard (SmartGridComm, 2014)

Now or Never: Negotiating Efficiently with Unknown Counterparts. - Toni Mancini (RCRA@AI*IA, 2015)

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 (DSD, 2015)

Computing Biological Model Parameters by Parallel Statistical Model Checking. - Toni Mancini; Enrico Tronci; Ivano Salvo; Federico Mari; Annalisa Massini; Igor Melatti (IWBBIO (2), 2015)

Experimental evaluation of algorithms for solving problems with combinatorial explosion. - Toni Mancini; Angelo Oddi (AI Commun., 2015)

Simulator Semantics for System Level Formal Verification. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (GandALF, 2015)

20th RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". - Toni Mancini; Marco Maratea; Francesco Ricca (J. Exp. Theor. Artif. Intell., 2015)

Experimental evaluation of algorithms for solving problems with combinatorial explosion. - Toni Mancini; Marco Maratea; Francesco Ricca (AI Commun., 2016)

Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts. - Toni Mancini (Fundam. Informaticae, 2016)

SyLVaaS: System Level Formal Verification as a Service. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (Fundam. Informaticae, 2016)

Anytime system level verification via parallel random exhaustive hardware in the loop simulation. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (Microprocess. Microsystems, 2016)

On minimising the maximum expected verification time. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Ivano Salvo; Enrico Tronci (Inf. Process. Lett., 2017)

Parallelization of Cycle-Based Logic Simulation. - Toni Mancini; Annalisa Massini; Enrico Tronci (Parallel Process. Lett., 2017)

Residential Demand Management Using Individualized Demand Aware Price Policies. - Barry Patrick Hayes; Igor Melatti; Toni Mancini; Milan Prodanovic; Enrico Tronci (IEEE Trans. Smart Grid, 2017)

An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks. - Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (ISMIS, 2018)

Computing Personalised Treatments through In Silico Clinical Trials. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Ivano Salvo; Stefano Sinisi; Enrico Tronci; Rainald Ehrig; Susanna Röblitz; Brigitte Leeners (RCRA@FLoC, 2018)

Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network. - Toni Mancini; Enrico Tronci; Agostino Scialanca; Filiberto Lanciotti; Alberto Finzi; Riccardo Guarneri; Silvia Di Pompeo (RCRA@FLoC, 2018)

Parallel Statistical Model Checking for Safety Verification in Smart Grids. - Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Jorn Klaas Gruber; Barry P. Hayes; Milan Prodanovic; Lars Elmegaard (SmartGridComm, 2018)

In Silico Clinical Trials through AI and Statistical Model Checking. - Vadim Alimguzhin; Toni Mancini; Annalisa Massini; Stefano Sinisi; Enrico Tronci (OVERLAY@AI*IA, 2019)

Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking. - Agostina Calabrese; Toni Mancini; Annalisa Massini; Stefano Sinisi; Enrico Tronci (RCRA/RiCeRcA@AI*IA, 2019)

Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial Intelligence. - Qian Matteo Chen; Toni Mancini; Igor Melatti; Enrico Tronci; Alberto Finzi (OVERLAY, 2020)

AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials. - Stefano Sinisi; Vadim Alimguzhin; Toni Mancini; Enrico Tronci; Federico Mari; Brigitte Leeners (OVERLAY, 2020)

SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems. - Filippo Maggioli; Toni Mancini; Enrico Tronci (Bioinform., 2020)

MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks. - Qian Matteo Chen; Alberto Finzi; Toni Mancini; Igor Melatti; Enrico Tronci (Fundam. Informaticae, 2020)

Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins. - Stefano Sinisi; Vadim Alimguzhin; Toni Mancini; Enrico Tronci; Federico Mari; Brigitte Leeners (Fundam. Informaticae, 2020)

Complete populations of virtual patients for in silico clinical trials. - Stefano Sinisi; Vadim Alimguzhin; Toni Mancini; Enrico Tronci; Brigitte Leeners (Bioinform., 2021)

On checking equivalence of simulation scripts. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (J. Log. Algebraic Methods Program., 2021)

Reconciling interoperability with efficient Verification and Validation within open source simulation environments. - Stefano Sinisi; Vadim Alimguzhin; Toni Mancini; Enrico Tronci (Simul. Model. Pract. Theory, 2021)

A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries. - Igor Melatti; Federico Mari; Toni Mancini; Milan Prodanovic; Enrico Tronci (IEEE Trans. Ind. Electron., 2022)

Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification. - Toni Mancini; Igor Melatti; Enrico Tronci (IEEE Trans. Software Eng., 2022)

Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems. - Toni Mancini; Igor Melatti; Enrico Tronci (CoRR, 2023)

Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems. - Toni Mancini; Igor Melatti; Enrico Tronci (IEEE Trans. Software Eng., 2023)

Special issue on embedded real-time applications. - Giorgio C. Buttazzo; Daniela De Venuto; Eugenio Di Sciascio; Toni Mancini (Real Time Syst., 2023)

Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry. - Marco Esposito; Toni Mancini; Enrico Tronci (IEEE Trans. Syst. Man Cybern. Syst., 2024)

Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures. - Leonardo Picchiami; Maxime Parmentier; Axel Legay; Toni Mancini; Enrico Tronci (J. Syst. Softw., 2025)

Simulation-Based Design of Industry-Size Control Systems With Formal Quality Guarantees. - Marco Esposito; Alberto Leva; Toni Mancini; Leonardo Picchiami; Enrico Tronci (IEEE Trans. Ind. Informatics, 2025)