Pubblicazioni

A formal model for ledger management systems based on contracts and temporal logic

2022 - BLOCKCHAIN: RESEARCH AND APPLICATIONS
Bottoni, Paolo Gaspare; Labella, Anna; Pareschi, Remo

A formal model for ledger management systems based on contracts and temporal logic

2022 - BLOCKCHAIN: RESEARCH AND APPLICATIONS
Bottoni, Paolo; Labella, Anna; Pareschi, Remo

Interestingness of traces in declarative process mining: The janus LTLPf Approach

2018 - Business Process Management
Cecconi, Alessio; Di Ciccio, Claudio; De Giacomo, Giuseppe; Mendling, Jan

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma