Andrey Rivkin

Technical University of Denmark — Denmark

Business, Management and Accounting · Social Sciences

13h-index510citations73works0.82yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Business Process Modeling and Analysis(60), Service-Oriented Architecture and Web Services(45), Petri Nets in System Modeling(21), Advanced Database Systems and Queries(20), Formal Methods in Verification(16)

Publications73 total

Constraint-Based Reasoning and Analysis for BPM: CSP to the Rescue
Lecture notes in computer science·2025
Human-Centric Processes: Where IoT and People Meet
Internet of things·2025
Soundness Correction of Data Petri Nets
arXiv (Cornell University)·2024Open Access
Discovery of Object-Centric Declarative Models
2024· 6 cited
Discovery of Object-Centric Declarative Models
2024Open Access
Data Petri Nets meet Probabilistic Programming (Extended version)
arXiv (Cornell University)·2024Open Access
Foundations of Reactive Synthesis for Declarative Process Specifications
Proceedings of the AAAI Conference on Artificial Intelligence·2024Open Access
Correctness Notions for Petri Nets with Identifiers
Fundamenta Informaticae·2024· 3 citedOpen Access
Generating Event Logs from Hybrid Process Models
Lecture notes in business information processing·2024Open Access
LogPPL: A Tool for Probabilistic Process Mining
Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)·2024Open Access
Typed Petri Nets with Variable Arc Weights
Lecture notes in business information processing·2024
Towards a Multi-model Paradigm for Business Process Management
Lecture notes in computer science·2024Open Access
Data Petri Nets Meet Probabilistic Programming
Lecture notes in computer science·2024· 2 cited
A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global–local memory
Information Systems·2023· 5 citedOpen Access
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach
Engineering Applications of Artificial Intelligence·2023· 12 citedOpen Access
Safety Verification and Universal Invariants for Relational Action Bases
2023· 4 citedOpen Access
Data-aware conformance checking with SMT
Information Systems·2023· 15 citedOpen Access
On the Reconstructability and Rediscoverability of Typed Jackson Nets (Extended Version)
arXiv (Cornell University)·2023· 1 citedOpen Access
Monitoring hybrid process specifications with conflict management: An automata-theoretic approach
Artificial Intelligence in Medicine·2023· 6 citedOpen Access
Foundations of Collaborative $$\textsf{DECLARE}$$
Lecture notes in business information processing·2023· 2 citedOpen Access
page 1 of 4Next →

Frequent Co-authors

Marco Montali(46), Alessandro Gianola(23), Silvio Ghilardi(18), Diego Calvanese(17), Fabio Patrizi(7), Paolo Felli(5), Sarah Winkler(5), Daniel Ritter(5), Jan Martijn E. M. van der Werf(4), Artem Polyvyanyy(4), Stefanie Rinderle‐Ma(3), Anti Alman(3), Fabrizio Maria Maggi(3), Aman Sinha(2), Daniël Barenholz(2), Hajo A. Reijers(2), Luca Geatti(2), Irina A. Lomazova(2), Axel Kjeld Fjelrad Christfort(1), Dirk Fahland(1)