60 citations · 86 across the 21 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.CR2021★ 4 cited
A formal model for ledger management systems based on contracts and temporal logic
Paolo Bottoni, Anna Labella, Remo Pareschi
A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial…
cs.AI2021
Integrating Heuristics and Learning in a Computational Architecture for Cognitive Trading
Remo Pareschi, Federico Zappone
The successes of Artificial Intelligence in recent years in areas such as image analysis, natural language understanding and strategy games have sparked interest from the world of…