output
20232026
most citedA higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems

6 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.CCShow all

3 papers · 1 filter

cs.CC2025

Prover-Adversary games for systems over (non-deterministic) branching programs

Anupam Das, Avgerinos Delkos

We introduce Pudlak-Buss style Prover-Adversary games to characterise proof systems reasoning over deterministic branching programs (BPs) and non-deterministic branching programs (…

cs.CC2023

Enumeration and updates for conjunctive linear algebra queries through expressibility

Thomas Muñoz, Cristian Riveros, Stijn Vansummeren

Due to the importance of linear algebra and matrix operations in data analytics, there is significant interest in using relational query optimization and processing techniques for…

cs.CC2023

On guarded extensions of MMSNP

Alexey Barsukov, Florent R. Madelaine

Feder and Vardi showed that the class Monotone Monadic SNP without inequality (MMSNP) has a P vs NP-complete dichotomy if and only if such a dichotomy holds for finite-domain Const…