Riccardo De Masellis

Identifiers

• name variant Riccardo De Masellis 0.60 · backfill

Papers (5)

1. Enhancing workflow-nets with data for trace completion cs.AI · 2017 · author #1
2. A Declarative Framework for Specifying and Enforcing Purpose-aware Policies cs.CR · 2015 · author #1
3. LTLf and LDLf Monitoring: A Technical Report cs.AI · 2014 · author #2
4. Description Logic Knowledge and Action Bases cs.AI · 2014 · author #5
5. Verification of Artifact-Centric Systems: Decidability and Modeling Issues cs.SE · 2013 · author #4

Mentions

• 1304.1697 #4 · backfill · confidence 0.70 Riccardo De Masellis

Frequent Coauthors

• Marco Montali 3 shared papers
• Chiara Ghidini 2 shared papers
• Giuseppe De Giacomo 2 shared papers
• Sergio Tessaris 2 shared papers
• Babak Bagheri Hariri 1 shared papers
• Chiara Di Francescomarino 1 shared papers
• Diego Calvanese 1 shared papers
• Dmitry Solomakhin 1 shared papers
• Fabrizio Maggi 1 shared papers
• Marco Grasso 1 shared papers
• Paolo Felli 1 shared papers
• Silvio Ranise 1 shared papers