On the skolem problem and prime powers. - George Kenison; Richard Lipton 001; Joël Ouaknine; James Worrell 001 (ISSAC, 2020)

On Positivity and Minimality for Second-Order Holonomic Sequences. - George Kenison; Oleksiy Klurman; Engel Lefaucheux; Florian Luca; Pieter Moree; Joël Ouaknine; Markus A. Whiteland; James Worrell 001 (MFCS, 2021)

On the Skolem Problem for Reversible Sequences. - George Kenison (MFCS, 2022)

Solving Invariant Generation for Unsolvable Loops. - Daneshvar Amrollahi; Ezio Bartocci; George Kenison; Laura Kovács; Marcel Moosbrugger; Miroslav Stankovic (SAS, 2022)

Applications of transcendental number theory to decision problems for hypergeometric sequences. - George Kenison (CoRR, 2022)

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

From Polynomial Invariants to Linear Loops. - George Kenison; Laura Kovács; Anton Varonka (ISSAC, 2023)

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. - George Kenison; Klara Nosan; Mahsa Shirmohammadi; James Worrell 001 (ISSAC, 2023)

The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters. - George Kenison (ICALP, 2024)

Linear Loop Synthesis for Quadratic Invariants. - S. Hitarth; George Kenison; Laura Kovács; Anton Varonka (STACS, 2024)

Determination Problems for Orbit Closures and Matrix Groups. - Rida Ait El Manssour; George Kenison; Mahsa Shirmohammadi; James Worrell 001 (CoRR, 2024)

Simple Linear Loops: Algebraic Invariants and Applications. - Rida Ait El Manssour; George Kenison; Mahsa Shirmohammadi; Anton Varonka (Proc. ACM Program. Lang., 2025)

(Un)Solvable loop analysis. - Daneshvar Amrollahi; Ezio Bartocci; George Kenison; Laura Kovács; Marcel Moosbrugger; Miroslav Stankovic (Formal Methods Syst. Des., 2025)

On the growth of hypergeometric sequences. - George Kenison; Jakub Konieczny; Florian Luca; Andrew Scoones; Mahsa Shirmohammadi; James Worrell 001 (CoRR, 2025)