1. Solving parity games on integer vectors;Abdulla,2013
2. On the complexity of resource-bounded logics;Alechina,2016
3. On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic;Alechina,2015
4. Decidable model-checking for a resource logic with production of resources;Alechina,2014