Andrey Rivkin

Identifiers

No identifiers captured yet.

Papers (8)

1. Correctness Notions for Petri Nets with Identifiers cs.FL · 2022 · author #2
2. Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version) cs.LO · 2019 · author #5
3. Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN cs.LO · 2019 · author #5
4. From DB-nets to Coloured Petri Nets with Priorities (Extended Version) cs.LO · 2019 · author #2
5. Modeling and In-Database Management of Relational, Data-Aware Processes (Extended Version) cs.DB · 2018 · author #4
6. Verification of Data-Aware Processes via Array-Based Systems (Extended Version) cs.LO · 2018 · author #5
7. Quantifier Elimination for Database Driven Verification cs.LO · 2018 · author #5
8. DB-Nets: on The Marriage of Colored Petri Nets and Relational Databases cs.DB · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Marco Montali 8 shared papers
• Diego Calvanese 5 shared papers
• Alessandro Gianola 4 shared papers
• Silvio Ghilardi 4 shared papers
• Artem Polyvyanyy 1 shared papers
• Fabio Patrizi 1 shared papers
• Jan Martijn E. M. van der Werf 1 shared papers