research
∙
02/01/2023
Orbit-finite linear programming
An infinite set is orbit-finite if, up to permutations of the underlying...
share
research
∙
02/16/2022
Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable
We consider the problems of language inclusion and language equivalence ...
research
∙
01/22/2022
Solvability of orbit-finite systems of linear equations
We study orbit-finite systems of linear equations, in the setting of set...
research
∙
08/09/2021
Linear equations for unordered data vectors in [D]^k→Z^d
Following a recently considered generalisation of linear equations to un...
research
∙
04/24/2021
Parikh's theorem for infinite alphabets
We investigate commutative images of languages recognised by register au...
research
∙
07/21/2020
Universality Problem for Unambiguous VASS
We study languages of unambiguous VASS, that is, Vector Addition Systems...
research
∙
07/02/2019
Timed Basic Parallel Processes
Timed basic parallel processes (TBPP) extend communication-free Petri ne...
research
∙
02/19/2018