George Kenison

25 papers A* 2A 1B 6Journal 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
Determination Problems for Orbit Closures and Matrix Groups.
Proc. ACM Program. Lang.
Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, Anton Varonka, James Worrell
2025 J jnl
(Un)Solvable loop analysis.
Formal Methods Syst. Des.
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2025 J jnl
Correction: (Un)Solvable loop analysis.
Formal Methods Syst. Des.
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2025 J jnl
On the growth of hypergeometric sequences.
CoRR
George Kenison, Jakub Konieczny, Florian Luca, Andrew Scoones, Mahsa Shirmohammadi, James Worrell
2025 J jnl
Simple Linear Loops: Algebraic Invariants and Applications.
Proc. ACM Program. Lang.
Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, Anton Varonka
2024 J jnl
Determination Problems for Orbit Closures and Matrix Groups.
CoRR
Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, James Worrell
2024 A conf
Linear Loop Synthesis for Quadratic Invariants.
STACS
S. Hitarth, George Kenison, Laura Kovács, Anton Varonka
2024 J jnl
Simple Linear Loops: Algebraic Invariants and Applications.
CoRR
Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, Anton Varonka
2024 A* conf
The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters.
ICALP
George Kenison
2023 J jnl
(Un)Solvable Loop Analysis.
CoRR
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2023 B conf
From Polynomial Invariants to Linear Loops.
ISSAC
George Kenison, Laura Kovács, Anton Varonka
2023 J jnl
From Polynomial Invariants to Linear Loops.
CoRR
George Kenison, Laura Kovács, Anton Varonka
2023 J jnl
Linear Loop Synthesis for Quadratic Invariants.
CoRR
S. Hitarth, George Kenison, Laura Kovács, Anton Varonka
2023 A* conf
Positivity Problems for Reversible Linear Recurrence Sequences.
ICALP
George Kenison, Joris Nieuwveld, Joël Ouaknine, James Worrell
2023 B conf
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters.
ISSAC
George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell
2023 J jnl
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters.
CoRR
George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell
2022 J jnl
Applications of transcendental number theory to decision problems for hypergeometric sequences.
CoRR
George Kenison
2022 B conf
On the Skolem Problem for Reversible Sequences.
MFCS
George Kenison
2022 J jnl
On the Skolem Problem for Reversible Sequences.
CoRR
George Kenison
2022 B conf
Solving Invariant Generation for Unsolvable Loops.
SAS
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2022 J jnl
Solving Invariant Generation for Unsolvable Loops.
CoRR
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
2021 B conf
On Positivity and Minimality for Second-Order Holonomic Sequences.
MFCS
George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell
2020 J jnl
On Positivity and Minimality for Second-Order Holonomic Sequences.
CoRR
George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell
2020 J jnl
On the Skolem Problem and Prime Powers.
CoRR
George Kenison, Richard Lipton, Joël Ouaknine, James Worrell
2020 B conf
On the skolem problem and prime powers.
ISSAC
George Kenison, Richard Lipton, Joël Ouaknine, James Worrell