Andrey Rivkin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
7
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | BPM | Constraint-Based Reasoning and Analysis for BPM: CSP to the Rescue. | Alessandro Gianola, Andrey Rivkin, Mateusz Slazynski |
| 2025 | ICPM | YAPNE: A Tool for Modeling and Automated Verification of Data Petri Nets. | Christian Imenkamp, Joscha Grger, Martin Kuhn, Christoph Matheja, Andrey Rivkin, Agnes Koschmider |
| 2024 | AAAI | Foundations of Reactive Synthesis for Declarative Process Specifications. | Luca Geatti, Marco Montali, Andrey Rivkin |
| 2024 | BPM | Data Petri Nets Meet Probabilistic Programming. | Martin Kuhn, Joscha Grger, Christoph Matheja, Andrey Rivkin |
| 2024 | CaiSE | Towards a Multi-model Paradigm for Business Process Management. | Anti Alman, Fabrizio Maria Maggi, Stefanie Rinderle-Ma, Andrey Rivkin, Karolin Winter |
| 2024 | ICPM | Discovery of Object-Centric Declarative Models. | Axel Kjeld Fjelrad Christfort, Andrey Rivkin, Dirk Fahland, Thomas T. Hildebrandt, Tijs Slaats |
| 2024 | ICPM | LogPPL: A Tool for Probabilistic Process Mining. | Martin Kuhn, Joscha Grger, Christoph Matheja, Andrey Rivkin |
| 2023 | BPM | Generating Event Logs from Hybrid Process Models. | Anti Alman, Fabrizio Maria Maggi, Marco Montali, Andrey Rivkin |
| 2023 | BPM | Foundations of Collaborative sfDECLARE. | Luca Geatti, Marco Montali, Andrey Rivkin |
| 2023 | BPM | Typed Petri Nets with Variable Arc Weights. | Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin |
| 2023 | IJCAI | Safety Verification and Universal Invariants for Relational Action Bases. | Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2022 | BPM | Conformance Checking with Uncertainty via SMT. | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
| 2022 | CaiSE | Multi-model Monitoring Framework for Hybrid Process Specifications. | Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin |
| 2021 | BPM | CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
| 2021 | BPM | Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN. | Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2020 | BPM | Petri Nets with Parameterised Data - Modelling and Verification. | Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2020 | CADE | Combined Covers and Beth Definability. | Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2020 | EDOC | Formalizing Integration Patterns with Multimedia Data. | Marco Montali, Andrey Rivkin, Daniel Ritter |
| 2019 | BPM | Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN. | Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2019 | BPM | Modeling, Enactment and Verification of Data-Aware Processes. | Andrey Rivkin |
| 2019 | CADE | Model Completeness, Covers and Superposition. | Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2019 | CaiSE | Modeling and In-Database Management of Relational, Data-Aware Processes. | Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin |
| 2018 | EDOC | Formalizing Application Integration Patterns. | Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, Aman Sinha |