Verifying Determinism of Concurrent Systems Which Use Unbounded Arrays od Roscoe, A, Lazic, R

Data independence with predicate symbols od Roscoe, A, Lazic, R

What can you Decide about Resetable Arrays? od Roscoe, A, Lazic, R

On transition systems and non−well−founded sets od Roscoe, A, Lazic, R

Polymorphic Systems with Arrays‚ 2−Counter Machines and Multiset Rewriting od Roscoe, A, Lazic, R, Newcomb, T

Polymorphic systems with arrays: decidability and undecidability od Roscoe, A, Lazic, R, Newcomb, T

On Model Checking Data−independent Systems with Arrays without Reset od Roscoe, A, Lazic, R, Newcomb, T

On Model checking data−independent systems with arrays with whole−array operations od Roscoe, A, Lazic, R, Newcomb, T

On Model Checking Data−independent Systems with Arrays without Reset od Roscoe, A, Lazic, R, Newcomb, T

Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption od Roscoe, A, Wang, X, Lazic, R

Zeno, Hercules, and the Hydra: Safety metric temporal logic is Ackermann-complete od Lazić, R, Ouaknine, J, Worrell, J

Translating CSP trace refinement to UNITY unreachability : a study in data independence od Roscoe, A, Wang, X, Lazic, R

Leafy automata for higher-order concurrency od Dixon, A, Lazic, R, Murawski, AS, Walukiewicz, I

A polynomial-time algorithm for reachability in branching VASS in dimension one od Göller, S, Haase, C, Lazic, R, Totzke, P

Verifying higher-order concurrency with data automata od Dixon, A, Lazić, R, Murawski, AS, Walukiewicz, I

Nets with Tokens Which Carry Data od Roscoe, A, Lazic, R, Newcomb, T, Ouaknine, J, Worrell, J

Nets with tokens which carry data od Lazić, R, Newcomb, T, Ouaknine, J, Roscoe, A, Worrell, J

Nets with Tokens which Carry Data od Lazic, R, Newcomb, T, Ouaknine, J, Roscoe, A, Worrell, J

When are emptiness and containment decidable for probabilistic automata? od Daviaud, L, Jurdziński, M, Lazić, R, Worrell, JB, Et al.

When is containment decidable for probabilistic automata? od Daviaud, L, Jurdziński, M, Lazić, R, Mazowiecki, F, Pérez, G, Worrell, J