|
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, 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, 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]
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]
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]
|