Sergio Tessaris

Identifiers

• name variant Sergio Tessaris 0.60 · backfill

Papers (2)

1. Enhancing workflow-nets with data for trace completion cs.AI · 2017 · author #4
2. Verification of Artifact-Centric Systems: Decidability and Modeling Issues cs.SE · 2013 · author #3

Mentions

• 1304.1697 #3 · backfill · confidence 0.70 Sergio Tessaris

Frequent Coauthors

• Riccardo De Masellis 2 shared papers
• Chiara Di Francescomarino 1 shared papers
• Chiara Ghidini 1 shared papers
• Dmitry Solomakhin 1 shared papers
• Marco Montali 1 shared papers