On the Skolem Problem and the Skolem Conjecture. - Richard Lipton 001; Florian Luca; Joris Nieuwveld; Joël Ouaknine; David Purser; James Worrell 001 (LICS, 2022)

Skolem Meets Schanuel. - Yuri Bilu; Florian Luca; Joris Nieuwveld; Joël Ouaknine; David Purser; James Worrell 001 (MFCS, 2022)

Positivity Problems for Reversible Linear Recurrence Sequences. - George Kenison; Joris Nieuwveld; Joël Ouaknine; James Worrell 001 (ICALP, 2023)

The Power of Positivity. - Toghrul Karimov; Edon Kelmendi; Joris Nieuwveld; Joël Ouaknine; James Worrell 001 (LICS, 2023)

On the 𝑝-adic zeros of the Tribonacci sequence. - Yuri Bilu; Florian Luca; Joris Nieuwveld; Joël Ouaknine; James Worrell 001 (Math. Comput., 2023)

Model Checking Markov Chains as Distribution Transformers. - Rajab Aghamov; Christel Baier; Toghrul Karimov; Joris Nieuwveld; Joël Ouaknine; Jakob Piribauer; Mihir Vahanwala (Principles of Verification (2), 2024)

On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates. - Valérie Berthé; Toghrul Karimov; Joris Nieuwveld; Joël Ouaknine; Mihir Vahanwala; James Worrell 001 (LICS, 2024)

On Expansions of Monadic Second-Order Logic with Dynamical Predicates. - Joris Nieuwveld; Joël Ouaknine (MFCS, 2025)

On the Decidability of Presburger Arithmetic Expanded with Powers. - Toghrul Karimov; Florian Luca; Joris Nieuwveld; Joël Ouaknine; James Worrell 001 (SODA, 2025)

The monadic theory of toric words. - Valérie Berthé; Toghrul Karimov; Joris Nieuwveld; Joël Ouaknine; Mihir Vahanwala; James Worrell 001 (Theor. Comput. Sci., 2025)