>   Dipartimento di Informatica   >   Toni Mancini
[login|signup]      [Italiano|English]

Selected publications

In this page you can find a selected list of my publications, in reverse chronological order. If you need a missing paper, feel free to contact me.

Copyright notice
The documents available from this site are provided as a means to ensure timely dissemination of technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder (Springer-Verlag for works appeared in the LNCS series, ACM-SIAM, IEEE, etc.). Permission to make digital or hard copies of part or all of these works for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage. The electronic version of some of the works available from this site may differ from the definitive published version. Copyright of works submitted for publication may be transferred without further notice and this version may no longer be accessible.
Toni Mancini, Annalisa Massini, Enrico Tronci.
Parallelization of Cycle-Based Logic Simulation.
Parallel Processing Letters, 27(2), pages 1-16, 2017.
Toni Mancini, Enrico Tronci, Ivano Salvo, Federico Mari, Annalisa Massini, Igor Melatti.
Computing Biological Model Parameters by Parallel Statistical Model Checking.
In proceedings of the 3rd International Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2015). Granada, Spain.
Lecture Notes in Computer Science, vol. 9044. Pages 542–554. Springer, 2015.
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci.
SyLVaaS: System Level Formal Verification as a Service.
In proceedings of the 23rd Euromicro International Conference on Parallel, distributed and network-based Processing (PDP 2015), special session on Formal Approaches to Parallel and Distributed Systems (4PAD). Turku, Finland.
Pages 476-483. IEEE, 2015.
Toni Mancini.
Now or Never: negotiating efficiently with unknown counterparts.
In proceedings of the 22nd RCRA International Workshop. Ferrara, Italy.
CEUR, 2015.
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci.
Simulator Semantics for System Level Formal Verification.
In proceedings of the 6th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015). Geova, Italy.
Electronic Proceedings in Theoretical Computer Science (EPTCS), vol. 193. ETAPS, 2015.
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci.
System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation.
In proceedings of the 22nd Euromicro International Conference on Parallel, distributed and network-based Processing (PDP 2014), special session on Formal Approaches to Parallel and Distributed Systems (4PAD). Turin, Italy.
Pages 734-742. IEEE, 2014.
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci.
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation.
In proceedings of 17th EuroMicro Conference on Digital System Design (DSD 2014). Verona, Italy.
Pages 236-245. IEEE, 2014.
Enrico Tronci, Toni Mancini, Ivano Salvo, Stefano Sinisi, Federico Mari, Igor Melatti, Annalisa Massini, Francesco Davì, Thomas Dierkes, Rainald Ehrig, Susanna Roeblitz, Brigitte Leeners, Tillmann H.C. Krüger, Marcel Egli, Fabian Ille.
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records .
In proceedings of 14th Conference in Formal Methods in Computer-Aided Design (FMCAD 2014). Lausanne, Switzerland.
Pages 207-214. IEEE, 2014.
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard.
Demand-aware price policy synthesis and verification services for Smart Grids.
In proceedings of 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm 2014). Venice, Italy.
Pages 794-799. IEEE, 2014.
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci.
System Level Formal Verification via Model Checking Driven Simulation.
In proceedings of the 25th International Conference on Computer Aided Verification (CAV 2013). St. Petersburg, Russia.
Lecture Notes in Computer Science, vol. 8044. Pages 296-312. Springer, 2013.
Marco Gavanelli, Toni Mancini.
Automated reasoning.
Intelligenza Artificiale, 7(2), pages 113-124, 2013.
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini.
Finite model reasoning on UML class diagrams via constraint programming.
Intelligenza Artificiale, 7(1), pages 57-65, 2013.
Toni Mancini, Pierre Flener, Justin Pearson.
Combinatorial problem solving over relational databases: view synthesis through constraint-based local search.
In proceedings of the ACM Symposium on Applied Computing (SAC 2012). Riva, Trento, Italy.
Pages 80-87. ACM, 2012.
Lucas Bordeaux, Marco Cadoli, Toni Mancini.
Generalizing Consistency and other Constraint Properties to Quantified Constraints.
ACM Transactions on Computational Logic, 10(3), pages 17:1-17:25, 2009.
Electronic appendix: click here.
Toni Mancini.
Negotiation exploiting reasoning by projections.
In proceedings of the Seventh International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2009). Salamanca, Spain.
Advances in Intelligent and Soft Computing, vol. 55. Pages 329-338. Springer, 2009.
Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli.
Evaluating ASP and commercial solvers on the CSPLib.
Constraints, 13(4), pages 407-436, 2008.
Web appendix: click here.
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini.
Finite Satisfiability of UML Class Diagrams by Constraint Programming.
In proceedings of the Tenth Conference of the Italian Association for Artificial Intelligence (AI*IA 2007). Roma, Italy.
Lecture Notes in Computer Science, vol. 4733. Pages 36-47. Springer, 2007.
Georg Gottlob, Gianluigi Greco, Toni Mancini.
Complexity of Pure Equilibria in Bayesian Games.
In proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007). Hyderabad, India.
Pages 1294-1299. Morgan Kaufmann, 2007.
Georg Gottlob, Gianluigi Greco, Toni Mancini.
Conditional Constraint Satisfaction: Logical Foundations and Complexity.
In proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007). Hyderabad, India.
Pages 88-93. Morgan Kaufmann, 2007.
Marco Cadoli, Toni Mancini.
Using a theorem prover for reasoning on constraint problems.
Applied Artificial Intelligence, 21(4-5), pages 383-404, 2007.
Toni Mancini, Marco Cadoli.
Exploiting functional dependencies in declarative problem specifications.
Artificial Intelligence, 171(16-17), pages 985-1010, 2007.
Web appendix: click here.
Marco Cadoli, Toni Mancini.
Combining Relational Algebra, SQL, Constraint Modelling, and local search.
Theory and Practice of Logic Programming, 7(1-2), pages 37-65, 2007.
Marco Cadoli, Toni Mancini, Fabio Patrizi.
SAT as an effective solving technology for constraint problems.
In proceedings of the Sixteenth International Symposium on Methodologies for Intelligent Systems (ISMIS 2006). Bari, Italy.
Lecture Notes in Computer Science, vol. 4203. Pages 540-549. Springer, 2006.
Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi.
Evaluating ASP and commercial solvers on the CSPLib.
In proceedings of the Seventeenth European Conference on Artificial Intelligence (ECAI 2006). Riva del Garda, Trento, Italy.
Pages 68-72. , 2006.
Journal version: click here
Marco Cadoli, Toni Mancini.
Using a theorem prover for reasoning on constraint problems.
In proceedings of the Ninth Conference of the Italian Association for Artificial Intelligence (AI*IA 2005). Milano, Italy.
Lecture Notes in Artificial Intelligence, vol. 3673. Pages 38-49. Springer, 2005.
Journal version: click here
Toni Mancini.
Declarative constraint modelling and specification-level reasoning.
PhD thesis, Università degli Studi di Roma "La Sapienza", Roma, Italy, 2005.
Lucas Bordeaux, Marco Cadoli, Toni Mancini.
CSP Properties for Quantified Constraints: Definitions and Complexity.
In proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI 2005). Pittsburgh, PA, USA.
Pages 360-365. AAAI Press/The MIT Press, 2005.
Journal version: click here
Toni Mancini, Marco Cadoli.
Detecting and breaking symmetries by reasoning on problem specifications.
In proceedings of the Sixth International Symposium on Abstraction, Reformulation and Approximation (SARA 2005). Airth Castle, Scotland, UK.
Lecture Notes in Artificial Intelligence, vol. 3607. Pages 165-181. Springer, 2005.
Marco Cadoli, Toni Mancini.
Exploiting functional dependencies in declarative problem specifications.
In proceedings of the Ninth European Conference on Logics in Artificial Intelligence (JELIA 2004). Lisbon, Portugal.
Lecture Notes in Artificial Intelligence, vol. 3229. Pages 628-640. Springer, 2004.
Journal version: click here
Giuseppe De Giacomo, Toni Mancini.
Scaling up reasoning about actions using relational database technology.
In proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI 2004). San Jose, CA, USA.
Pages 245-256. AAAI Press/The MIT Press, 2004.
Marco Cadoli, Toni Mancini.
Automated reformulation of specifications by safe delay of constraints.
In proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2004). Whistler, BC, Canada.
Pages 388-398. AAAI Press/The MIT Press, 2004.
Journal version: click here
Lucas Bordeaux, Marco Cadoli, Toni Mancini.
Exploiting Fixable, Substitutable and Determined Values in Constraint Satisfaction Problems.
In proceedings of the Eleventh International Conference on Logic for Programming and Automated Reasoning (LPAR 2004). Montevideo, Uruguay.
Lecture Notes in Computer Science, vol. 3452. Pages 270-284. Springer, 2004.
Journal version: click here
Toni Mancini.
Reformulation techniques for a class of permutation problems.
In proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming (CP 2003). Kinsale, Ireland.
Lecture Notes in Computer Science, vol. 2833. Pages 984. Springer, 2003.
Full paper: click here.
Marco Cadoli, Toni Mancini.
Knowledge Compilation = Query Rewriting + View Synthesis.
In proceedings of the Twentyfirst ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2002). Madison, WI, USA.
Pages 199-208. ACM Press and Addison Wesley, 2002.
Marco Cadoli, Toni Mancini.
Combining Relational Algebra, SQL, and Constraint Programming.
In proceedings of the International Workshop on Frontiers of Combining Systems (FROCOS 2002). Santa Margherita Ligure, Genova, Italy.
Lecture Notes in Artificial Intelligence, vol. 2309. Pages 147-161. Springer, 2002.
Journal version: click here


This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V