S
Zodix
Study
Academic Library
Search
Shelves
Open access
Sign in
Search or jump to…
⌘K
Andrey Rivkin · Study
Home
/
Author
Andrey Rivkin
5 works
· latest 2023
· 1 institutions
cluster: provisional
ORCID 0000-0001-8425-2309
Follow
Suggest an ORCID correction
h-index
5
i10
5
Citations
187
Works here
5
17
21
22
23
Most cited in this library
DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases
2017 · 69 citations
Petri net-based object-centric processes with read-only data
2022 · 47 citations
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT
2021 · 36 citations
Data-aware conformance checking with SMT
2023 · 18 citations
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach
2023 · 17 citations
Works
5 shown
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach
Engineering Applications of Artificial Intelligence
·
2023
·
5 authors
·
Open access
17
citations
Data-aware conformance checking with SMT
Information Systems
·
2023
·
5 authors
·
Open access
18
citations
Petri net-based object-centric processes with read-only data
Information Systems
·
2022
·
4 authors
·
Open access
47
citations
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT
Lecture notes in computer science
·
2021
·
5 authors
·
other
·
Open access
36
citations
DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases
Lecture notes in computer science
·
2017
·
2 authors
·
other
69
citations