Algebraic invariants for linear hybrid automata by Majumdar, R, Ouaknine, J, Pouly, A, Worrell, J

Polynomial invariants for affine programs by Hrushovski, E, Ouaknine, J, Pouly, A, Worrell, J

The membership problem for hypergeometric sequences with rational parameters by Nosan, K, Pouly, A, Shirmohammadi, M, Worrell, J

On strongest algebraic program invariants by Hrushovski, E, Ouaknine, J, Pouly, A, Worrell, J

On the decidability of membership in matrix-exponential semigroups by Ouaknine, J, Pouly, A, Sousa Pinto, J, Worrell, J

Solvability of matrix-exponential equations by Ouaknine, J, Pouly, A, Sousa-Pinto, J, Worrell, J

Solvability of matrix-exponential equations by Ouaknine, J, Pouly, A, Sousa Pinto, J, Worrell, J

On the computation of the Zariski closure of finitely generated groups of matrices by Nosan, K, Pouly, A, Schmitz, S, Shirmohammadi, M, Worrell, J

Solvability of matrix-exponential equations by Ouaknine, J, Pouly, A, Sousa Pinto, J, Worrell, J

Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem by Fijalkow, N, Ohlmann, P, Ouaknine, J, Pouly, A, Worrell, J

Semialgebraic invariant synthesis for the Kannan-Lipton Orbit Problem by Fijalkow, N, Ohlmann, P, Ouaknine, J, Pouly, A, Worrell, J

Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem by Fijalkow, N, Ohlmann, P, Ouaknine, J, Pouly, A, Worrell, J

Model checking flat freeze LTL on one-counter automata by Lechner, A, Mayr, R, Ouaknine, J, Pouly, A, Worrell, J

On the decidability of reachability in linear time-invariant systems by Fijalkow, N, Ouaknine, J, Pouly, A, Sousa-Pinto, J, Worrell, J

On the Monniaux Problem in abstract interpretation by Fijalkow, N, Lefaucheux, E, Ohlmann, P, Ouaknine, J, Pouly, A, Worrell, J