Andrey Rivkin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Correctness Notions for Petri Nets with Identifiers Fundamenta Informaticae	2024-02-08	Paper
From DB-nets to Coloured Petri Nets with Priorities Application and Theory of Petri Nets and Concurrency	2024-01-29	Paper
There and back again. On the reconstructability and rediscoverability of typed Jackson nets	2023-11-16	Paper
Combined covers and Beth definability	2022-11-09	Paper
Combination of uniform interpolants via Beth definability Journal of Automated Reasoning	2022-10-24	Paper
Data and process resonance. Identifier soundness for models of information systems	2022-08-19	Paper
Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) Journal of Automated Reasoning	2021-11-24	Paper
SMT-based verification of data-aware processes: a model-theoretic approach Mathematical Structures in Computer Science	2020-12-08	Paper
From model completeness to verification of data aware processes	2020-06-04	Paper
Model completeness, covers and superposition	2020-03-10	Paper
Model checking Petri nets with names using data-centric dynamic systems Formal Aspects of Computing	2016-09-20	Paper

Research outcomes over time

This page was built for person: Andrey Rivkin