| Db-nets: On the marriage of colored petri nets and relational databases M Montali, A Rivkin Transactions on Petri Nets and Other Models of Concurrency XII, 91-118, 2017 | 89 | 2017 |
| Formal modeling and SMT-based parameterized verification of data-aware BPMN D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin International Conference on Business Process Management, 157-175, 2019 | 64 | 2019 |
| Petri nets with parameterised data: Modelling and verification S Ghilardi, A Gianola, M Montali, A Rivkin International Conference on Business Process Management, 55-74, 2020 | 62 | 2020 |
| Petri net-based object-centric processes with read-only data S Ghilardi, A Gianola, M Montali, A Rivkin Information Systems 107, 102011, 2022 | 61 | 2022 |
| CoCoMoT: conformance checking of multi-perspective processes via SMT P Felli, A Gianola, M Montali, A Rivkin, S Winkler International Conference on Business Process Management, 217-234, 2021 | 55 | 2021 |
| SMT-based verification of data-aware processes: a model-theoretic approach D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin Mathematical Structures in Computer Science 30 (3), 271-313, 2020 | 46 | 2020 |
| Model checking Petri nets with names using data-centric dynamic systems M Montali, A Rivkin Formal Aspects of Computing 28 (4), 615-641, 2016 | 36 | 2016 |
| From model completeness to verification of data aware processes D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin Description Logic, Theory Combination, and All That: Essays Dedicated to …, 2019 | 34 | 2019 |
| Model completeness, covers and superposition D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin International Conference on Automated Deduction, 142-160, 2019 | 29 | 2019 |
| Delta-BPMN: A concrete language and verifier for data-aware BPMN S Ghilardi, A Gianola, M Montali, A Rivkin International Conference on Business Process Management, 179-196, 2021 | 26 | 2021 |
| Data and process resonance: Identifier soundness for models of information systems JMEM van der Werf, A Rivkin, A Polyvyanyy, M Montali International Conference on Applications and Theory of Petri Nets and …, 2022 | 25 | 2022 |
| Model Completeness, Uniform Interpolants and Superposition Calculus: (With Applications to Verification of Data-Aware Processes) D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin Journal of Automated Reasoning 65 (7), 941-969, 2021 | 25 | 2021 |
| Combined covers and Beth definability D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin International Joint Conference on Automated Reasoning, 181-200, 2020 | 24 | 2020 |
| Data-aware conformance checking with SMT P Felli, A Gianola, M Montali, A Rivkin, S Winkler Information Systems 117, 102230, 2023 | 22 | 2023 |
| Combination of uniform interpolants via Beth definability D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin Journal of Automated Reasoning 66 (3), 409-435, 2022 | 20 | 2022 |
| There and back again: on the reconstructability and rediscoverability of typed Jackson nets D Barenholz, M Montali, A Polyvyanyy, HA Reijers, A Rivkin, ... International Conference on Applications and Theory of Petri Nets and …, 2023 | 18 | 2023 |
| Conformance checking with uncertainty via SMT P Felli, A Gianola, M Montali, A Rivkin, S Winkler International Conference on Business Process Management, 199-216, 2022 | 18 | 2022 |
| Formalizing application integration patterns D Ritter, S Rinderle-Ma, M Montali, A Rivkin, A Sinha 2018 IEEE 22nd International Enterprise Distributed Object Computing …, 2018 | 18 | 2018 |
| Multi-perspective conformance checking of uncertain process traces: An SMT-based approach P Felli, A Gianola, M Montali, A Rivkin, S Winkler Engineering Applications of Artificial Intelligence 126, 106895, 2023 | 17 | 2023 |
| Formal foundations for responsible application integration D Ritter, S Rinderle-Ma, M Montali, A Rivkin Information Systems 101, 101439, 2021 | 17 | 2021 |
Marco MontaliFull Professor in Computer Engineering, Free University of Bozen-BolzanoVerified email at inf.unibz.it
