Andrey Rivkin

Andrey Rivkin

Libera Università di Bolzano - Bolzano / Italy
Business & Management / Business Administration
AD Scientific Index ID: 4453053
Free University of Bozen
person_outline Andrey Rivkin's MOST POPULAR ARTICLES
1-) Db-nets: On the marriage of colored petri nets and relational databasesM Montali, A RivkinTransactions on Petri Nets and Other Models of Concurrency XII, 91-118, 2017762017
2-) Petri nets with parameterised data: Modelling and verificationS Ghilardi, A Gianola, M Montali, A RivkinBusiness Process Management: 18th International Conference, BPM 2020 …, 2020522020
3-) Formal modeling and SMT-based parameterized verification of data-aware BPMND Calvanese, S Ghilardi, A Gianola, M Montali, A RivkinBusiness Process Management: 17th International Conference, BPM 2019, Vienna …, 2019522019
4-) Petri net-based object-centric processes with read-only dataS Ghilardi, A Gianola, M Montali, A RivkinInformation Systems 107, 102011, 2022442022
5-) SMT-based verification of data-aware processes: a model-theoretic approachD Calvanese, S Ghilardi, A Gianola, M Montali, A RivkinMathematical Structures in Computer Science 30 (3), 271-313, 2020422020