Marco Antonio Mastratisi

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 3

Top Topics

Bounded Model Checking

Top Venues

Publications

Alfredo Cuzzocrea, Carmine Gallo, Marco Antonio Mastratisi
Empowering Multidimensional Machine Learning over Cloud- Enabled Big Data Infrastructures with ClustCube. ICEIS (1) (2024)
Valeria Fionda, Gianluigi Greco, Marco Antonio Mastratisi
Reasoning about Smart Contracts via LTL Encoding. SEBD (2022)
Valeria Fionda, Gianluigi Greco, Marco Antonio Mastratisi
Reasoning About Smart Contracts Encoded in LTL. AI*IA (2021)
Manuela Macrí, Marco Antonio Mastratisi, Domenico Mirarchi, Erika De Francesco, Luigi Granata, Giuseppe Tradigo, Pietro Hiram Guzzi, Pierangelo Veltri
LiSE: A Personal Booklet for Health Care Annotation. ICHI (2015)
Stefano Basta, Francesco Folino, Andrea Gualtieri, Marco Antonio Mastratisi, Luigi Pontieri
A Knowledge-Based Framework for Supporting and Analysing Loosely Structured Collaborative Processes. ADBIS (local proceedings) (2008)