>   Computer Science Department   >   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.
Marco Esposito, Toni Mancini, Enrico Tronci.
Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry.
IEEE Transactions on Systems, Man, and Cybernetics: Systems, To appear.
DOI: 10.1109/TSMC.2023.3327432
[permalink]
Toni Mancini, Igor Melatti, Enrico Tronci.
Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems.
IEEE Transactions on Software Engineering, 49(9), pages 4443-4455, 2023.
DOI: 10.1109/TSE.2023.3298432
[permalink]
Toni Mancini, Igor Melatti, Enrico Tronci.
Any-horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-based Formal Verification.
IEEE Transactions on Software Engineering, 48(10), pages 4002-4013, 2022.
DOI: 10.1109/TSE.2021.3109842
[permalink]
Igor Melatti, Federico Mari, Toni Mancini, Milan Prodanovic, Enrico Tronci.
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries.
IEEE Transactions on Industrial Electronics, 69(8), pages 8566-8578, 2022.
DOI: 10.1109/TIE.2021.3102431
[permalink]
Sophie Fischer, Rainald Ehrig, Stefan Schaefer, Enrico Tronci, Toni Mancini, Marcel Egli, Fabian Ille, Tillmann HC Krueger, Brigitte Leeners, Susanna Roeblitz.
Mathematical Modeling and Simulation Provides Evidence for New Strategies of Ovarian Stimulation.
Frontiers in Endocrinology, 12, pages 117, 2021.
DOI: 10.3389/fendo.2021.613048
[permalink]
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci.
Reconciling Interoperability with Efficient Verification and Validation within Open Source Simulation Environments.
Simulation Modelling Practice and Theory, 109, pages 102277, 2021.
Software repository: https://bitbucket.org/mclab/jmodelica.org.
DOI: 10.1016/j.simpat.2021.102277
[permalink]
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Brigitte Leeners.
Complete populations of virtual patients for in silico clinical trials.
Bioinformatics, 36(22-23), pages 5465–5472, 2020.
Supplementary material: click here.
DOI: 10.1093/bioinformatics/btaa1026
[permalink]
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners.
Optimal personalised treatment computation through in silico clinical trials on patient digital twins.
Fundamenta Informaticae, 174(3-4), pages 283-310, 2020.
DOI: 10.3233/FI-2020-1943
[permalink]
Q. Matteo Chen, Alberto Finzi, Toni Mancini, Igor Melatti, Enrico Tronci.
MILP, pseudo-boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks.
Fundamenta Informaticae, 174(3-4), pages 229-258, 2020.
DOI: 10.3233/FI-2020-1941
[permalink]
Filippo Maggioli, Toni Mancini, Enrico Tronci.
SBML2Modelica: Integrating Biochemical Models within Open-Standard Simulation Ecosystems.
Bioinformatics, 36(7), pages 2165-2172, 2020.
DOI: 10.1093/bioinformatics/btz860
[permalink]
Brigitte Leeners, Tillmann H.C. Krüger, K. Geraedts, Enrico Tronci, Toni Mancini, Marcel Egli, Susanna Röblitz, L. Saleh, K. Spanaus, C. Schippert, Y. Zhang, Fabian Ille.
Associations between Natural Physiological and Supraphysiological Estradiol Levels and Stress Perception.
Frontiers in Psychology, 10, 2019.
DOI: 10.3389/fpsyg.2019.01296
[permalink]
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, J.K. Gruber, B. Hayes, M. Prodanovic, L. Elmegaard.
Parallel Statistical Model Checking for Safety Verification in Smart Grids.
In proceedings of the 2018 IEEE International Conference on Smart Grid Communications (SmartGridComm 2018). Aalborg, Denmark.
IEEE, 2018.
DOI: 10.1109/SmartGridComm.2018.8587416
[permalink]
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci.
An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks.
In proceedings of the 24th International Symposium, ISMIS 2018 (ISMIS 2018). Limassol, Cyprus.
Lecture Notes in Computer Science, vol. 11177. Pages 302-312. Springer, 2018.
DOI: 10.1007/978-3-030-01851-1_29
[permalink]
Toni Mancini, Enrico Tronci, A. Scialanca, F. Lanciotti, Alberto Finzi, R. Guarneri, S. Di Pompeo.
Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network.
In proceedings of the 25th International RCRA Workshop (RCRA 2018) @ Federated Logic Conference (FLoC 2018). Oxford, UK.
CEUR Workshop Proceedings, vol. 2271. CEUR, 2018.
[permalink]
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Stefano Sinisi, Enrico Tronci, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners.
Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction.
In proceedings of the 25th International RCRA Workshop (RCRA 2018) @ Federated Logic Conference (FLoC 2018). Oxford, UK.
CEUR Workshop Proceedings, vol. 2271. CEUR, 2018.
[permalink]
M.P. Hengartner, Tillmann H.C. Kruger, K. Geraedts, Enrico Tronci, Toni Mancini, Fabian Ille, Marcel Egli, Susanna Röblitz, Rainald Ehrig, L. Saleh, K. Spanaus, C. Schippert, Y. Zhang, Brigitte Leeners.
Negative Affect is Unrelated to Fluctuations in Hormone Levels across the Menstrual Cycle: Evidence from a Multisite Observational Study across Two Successive Cycles.
Journal of Psychosomatic Research, 99, pages 21-27, 2017.
DOI: 10.1016/j.jpsychores.2017.05.018
[permalink]
Brigitte Leeners, Tillmann H.C. Krüger, K. Geraedts, Toni Mancini, Fabian Ille, Marcel Egli, Susanna Röblitz, L. Saleh, K. Spanaus, C. Schippert, Y. Zhang, M.P. Hengartner.
Lack of Associations between Female Hormone Levels and Visuospatial Working Memory, Divided Attention and Cognitive Bias across Two Consecutive Menstrual Cycles.
Frontiers in Behavioral Neuroscience, 11, 2017.
DOI: 10.3389/fnbeh.2017.00120
[permalink]
Toni Mancini, Annalisa Massini, Enrico Tronci.
Parallelization of Cycle-Based Logic Simulation.
Parallel Processing Letters, 27(2), pages 1-16, 2017.
DOI: 10.1142/S0129626417500037
[permalink]
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Enrico Tronci.
On minimising the maximum expected verification time.
Information Processing Letters, 122, pages 8-16, 2017.
DOI: 10.1016/j.ipl.2017.02.001
[permalink]
Barry Hayes, Igor Melatti, Toni Mancini, Milan Prodanovic, Enrico Tronci.
Residential Demand Management using Individualised Demand Aware Price Policies.
IEEE Transactions on Smart Grid, 8(3), pages 1284-1294, 2017.
DOI: 10.1109/TSG.2016.2596790
[permalink]
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci.
SyLVaaS: System Level Formal Verification as a Service.
Fundamenta Informaticae, 149(1-2), pages 101-132, 2016.
DOI: 10.3233/FI-2016-1444
[permalink]
Toni Mancini.
Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts.
Fundamenta Informaticae, 149(1-2), pages 61-100, 2016.
Web appendix: click here.
DOI: 10.3233/FI-2016-1443
[permalink]
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci.
Anytime System Level Verification via Parallel Random Exhaustive Hardware In the Loop Simulation.
Microprocessors and Microsystems, 41, pages 12-28, 2016.
DOI: 10.1016/j.micpro.2015.10.010
[permalink]
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). Genoa, Italy.
Electronic Proceedings in Theoretical Computer Science (EPTCS), vol. 193. ETAPS, 2015.
[permalink]
Toni Mancini.
Now or Never: negotiating efficiently with unknown counterparts.
In proceedings of the 22nd RCRA International Workshop. Ferrara, Italy.
CEUR, 2015.
[permalink]
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.
[permalink]
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.
[permalink]
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.
[permalink]
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.
[permalink]
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.
[permalink]
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.
[permalink]
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.
[permalink]
Marco Gavanelli, Toni Mancini.
Automated reasoning.
Intelligenza Artificiale, 7(2), pages 113-124, 2013.
[permalink]
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.
[permalink]
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.
[permalink]
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.
[permalink]
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.
[permalink]
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.
[permalink]
Lucas Bordeaux, Marco Cadoli, Toni Mancini.
A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability.
Journal of Artificial Intelligence Research, 32, pages 607-629, 2008.
[permalink]
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.
[permalink]
Marco Cadoli, Toni Mancini.
Using a theorem prover for reasoning on constraint problems.
Applied Artificial Intelligence, 21(4-5), pages 383-404, 2007.
[permalink]
Toni Mancini, Marco Cadoli.
Exploiting functional dependencies in declarative problem specifications.
Artificial Intelligence, 171(16-17), pages 985-1010, 2007.
Web appendix: click here.
[permalink]
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.
[permalink]
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.
[permalink]
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.
[permalink]
Marco Cadoli, Toni Mancini.
Automated reformulation of specifications by safe delay of constraints.
Artificial Intelligence, 170(8-9), pages 779-801, 2006.
[permalink]
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.
[permalink]
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
[permalink]
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.
[permalink]
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
[permalink]
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
[permalink]
Toni Mancini.
Declarative constraint modelling and specification-level reasoning.
PhD thesis, Università degli Studi di Roma "La Sapienza", Roma, Italy, 2005.
[permalink]
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
[permalink]
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
[permalink]
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.
[permalink]
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
[permalink]
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.
[permalink]
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
[permalink]
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.
[permalink]

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