Andrey Rivkin

Viittaukset

	Kaikki	2020 lähtien
Sitaatit	761	668
h-indeksi	16	16
i10-indeksi	24	22

160

120

20162017201820192020202120222023202420257 5 18 63 71 117 158 159 147 13

Yleisessä käytössä

Näytä kaikki

7 artikkelia

0 artikkelia

käytettävissä

ei käytettävissä

Perustuu rahoitusehtoihin

Muut kirjoittajat

Marco MontaliFull Professor in Computer Engineering, Free University of Bozen-BolzanoVahvistettu sähköpostiosoite verkkotunnuksessa inf.unibz.it
Alessandro GianolaINESC-ID/Instituto Superior Técnico, Universidade de LisboaVahvistettu sähköpostiosoite verkkotunnuksessa tecnico.ulisboa.pt
silvio ghilardiUniversità degli Studi di MilanoVahvistettu sähköpostiosoite verkkotunnuksessa unimi.it
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Vahvistettu sähköpostiosoite verkkotunnuksessa unibz.it
Paolo FelliUniversity of BolognaVahvistettu sähköpostiosoite verkkotunnuksessa unibo.it
Sarah Winklerpostdoctoral researcher, Free University BolzanoVahvistettu sähköpostiosoite verkkotunnuksessa unibz.it
Fabio PatriziAssociate Professor, DIAG - Sapienza University of RomeVahvistettu sähköpostiosoite verkkotunnuksessa dis.uniroma1.it
Daniel RitterSAPVahvistettu sähköpostiosoite verkkotunnuksessa alumni.uni-heidelberg.de
Artem PolyvyanyySchool of Computing and Information Systems, The University of MelbourneVahvistettu sähköpostiosoite verkkotunnuksessa unimelb.edu.au
Jan Martijn van der WerfAssociate Professor in Software Architecture, Universiteit UtrechtVahvistettu sähköpostiosoite verkkotunnuksessa UU.nl
Stefanie Rinderle-MaFull Professor, Technical University of Munich, Department of InformaticsVahvistettu sähköpostiosoite verkkotunnuksessa tum.de
Anti AlmanJunior Research Fellow in Information Systems, University of TartuVahvistettu sähköpostiosoite verkkotunnuksessa ut.ee
Fabrizio MaggiAssociate Professor, Free University of Bozen-BolzanoVahvistettu sähköpostiosoite verkkotunnuksessa ut.ee
Lomazova IrinaNational Research University Higher School of Economics, Software Engineering Dept.Vahvistettu sähköpostiosoite verkkotunnuksessa hse.ru
Alexey MitsyukHSE University, Faculty of Computer ScienceVahvistettu sähköpostiosoite verkkotunnuksessa hse.ru
Julio Cesar CarrasquelNational Research University Higher School of EconomicsVahvistettu sähköpostiosoite verkkotunnuksessa hse.ru
Karolin WinterEindhoven University of TechnologyVahvistettu sähköpostiosoite verkkotunnuksessa tue.nl

Seuraa

Andrey Rivkin

Associate professor, Technical University of Denmark

Vahvistettu sähköpostiosoite verkkotunnuksessa dtu.dk

Petri nets business process management computational logic #dtusse


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
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	79	2017
Formal modeling and SMT-based parameterized verification of data-aware BPMN D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin Business Process Management: 17th International Conference, BPM 2019, Vienna …, 2019	54	2019
Petri nets with parameterised data: Modelling and verification S Ghilardi, A Gianola, M Montali, A Rivkin Business Process Management: 18th International Conference, BPM 2020 …, 2020	53	2020
Petri net-based object-centric processes with read-only data S Ghilardi, A Gianola, M Montali, A Rivkin Information Systems 107, 102011, 2022	49	2022
CoCoMoT: conformance checking of multi-perspective processes via SMT P Felli, A Gianola, M Montali, A Rivkin, S Winkler Business Process Management: 19th International Conference, BPM 2021, Rome …, 2021	46	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	43	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	35	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	32	2019
Model completeness, covers and superposition D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019	27	2019
Combined covers and Beth definability D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020	24	2020
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	21	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	19	2022
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	18	2021
Formal foundations for responsible application integration D Ritter, S Rinderle-Ma, M Montali, A Rivkin Information Systems 101, 101439, 2021	17	2021
Formalizing application integration patterns D Ritter, S Rinderle-Ma, M Montali, A Rivkin, A Sinha 2018 IEEE 22nd International Enterprise Distributed Object Computing …, 2018	17	2018
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	16	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	16	2022
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	15	2022
Verification of data-aware processes via array-based systems (extended version) D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin arXiv preprint arXiv:1806.11459, 2018	14	2018
Modeling and in-database management of relational, data-aware processes D Calvanese, M Montali, F Patrizi, A Rivkin Advanced Information Systems Engineering: 31st International Conference …, 2019	13	2019

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Artikkelit 1–20

Sitaatteja vuodessa

Päällekkäiset lähteet

Yhdistetyt sitaatit

Lisää muut kirjoittajatMuut kirjoittajat

Seuraa

Viittaukset

Muut kirjoittajat