Andrey Rivkin
Orcid: 0000-0001-8425-2309Affiliations:
- Technical University of Denmark, Kongens Lyngby, Denmark
- University of Bozen-Bolzano, Italy (- 2023)
According to our database1,
Andrey Rivkin
authored at least 54 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory.
Inf. Syst., October, 2023
Monitoring hybrid process specifications with conflict management: An automata-theoretic approach.
Artif. Intell. Medicine, May, 2023
On the Reconstructability and Rediscoverability of Typed Jackson Nets (Extended Version).
CoRR, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the Business Process Management Workshops, 2023
Proceedings of the Business Process Management Forum, 2023
Proceedings of the Business Process Management Workshops, 2023
There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023
2022
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version).
CoRR, 2022
Proceedings of the Advanced Information Systems Engineering, 2022
Proceedings of the Business Process Management - 20th International Conference, 2022
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022
Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022
2021
J. Autom. Reason., 2021
Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach.
CoRR, 2021
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version).
CoRR, 2021
Proceedings of the Business Process Management - 19th International Conference, 2021
Proceedings of the Business Process Management - 19th International Conference, 2021
2020
Math. Struct. Comput. Sci., 2020
CoRR, 2020
Proceedings of the 24th IEEE International Enterprise Distributed Object Computing Conference, 2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
Proceedings of the Business Process Management - 18th International Conference, 2020
Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020
2019
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version).
CoRR, 2019
Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN.
CoRR, 2019
Model Completeness, Covers and Superposition (Abridged Version).
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Proceedings of the Advanced Information Systems Engineering, 2019
Proceedings of the Automated Deduction - CADE 27, 2019
Proceedings of the Dissertation Award, 2019
Proceedings of the Business Process Management - 17th International Conference, 2019
Proceedings of the Description Logic, Theory Combination, and All That, 2019
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019
2018
CoRR, 2018
Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018
2017
Trans. Petri Nets Other Model. Concurr., 2017
2016
Formal Aspects Comput., 2016
2015
Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015
Leveraging Relational Technology for Data-Centric Dynamic Systems.
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015