Concepedia

Andrey Rivkin

AR

Statistics

Publications

10

Citations

185

H-Index

10

Active since

2016

Affiliations

Free University of Bozen-Bolzano(Current)

University of Milan

University of Vienna

University of Bologna

Andrey Rivkin is an author at Free University of Bozen-Bolzano specializing in computer science, formal methods, and computing.

ORCID

Publications per year

2016–2023

10

Publications

10

Petri net-based object-centric processes with read-only data

Silvio Ghilardi, Alessandro Gianola, Marco Montali et al. · Information Systems · 2022 · 43 citations · Full text

, , +5

SMT-based verification of data-aware processes: a model-theoretic approach

Diego Calvanese, Silvio Ghilardi, Alessandro Gianola et al. · Mathematical Structures in Computer Science · 2020 · 30 citations · Full text

, , +16

Model checking Petri nets with names using data-centric dynamic systems

Marco Montali, Andrey Rivkin · Formal Aspects of Computing · 2016 · 24 citations

, , +14

Data-aware conformance checking with SMT

Paolo Felli, Alessandro Gianola, Marco Montali et al. · Information Systems · 2023 · 16 citations · Full text

, , +11

Formalizing Application Integration Patterns

Daniel Ritter, Stefanie Rinderle‐Ma, Marco Montali et al. · 2018 · 13 citations

, , +15

1–5 of 10