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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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