Marco Antonio Mastratisi

According to our database, Marco Antonio Mastratisi authored at least 5 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Empowering Multidimensional Machine Learning over Cloud- Enabled Big Data Infrastructures with ClustCube.

Alfredo Cuzzocrea, Carmine Gallo, Marco Antonio Mastratisi

Proceedings of the 26th International Conference on Enterprise Information Systems, 2024

2022

Reasoning about Smart Contracts via LTL Encoding.

Valeria Fionda, Gianluigi Greco, Marco Antonio Mastratisi

Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022

2021

Reasoning About Smart Contracts Encoded in LTL.

Valeria Fionda, Gianluigi Greco, Marco Antonio Mastratisi

Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021

2015

LiSE: A Personal Booklet for Health Care Annotation.

Manuela Macrí, Marco Antonio Mastratisi, Domenico Mirarchi, Erika De Francesco, Luigi Granata, Giuseppe Tradigo, Pietro Hiram Guzzi, Pierangelo Veltri

Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

2008

A Knowledge-Based Framework for Supporting and Analysing Loosely Structured Collaborative Processes.

Stefano Basta, Francesco Folino, Andrea Gualtieri, Marco Antonio Mastratisi, Luigi Pontieri

Proceedings of the Advances in Databases and Information Systems, 2008