George Kenison

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 20

Top Topics

Moment Invariants

Decision Problems

Top Venues

Publications

Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, Anton Varonka
Simple Linear Loops: Algebraic Invariants and Applications. CoRR (2024)
Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, James Worrell
Determination Problems for Orbit Closures and Matrix Groups. CoRR (2024)
George Kenison
The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters. ICALP (2024)
S. Hitarth, George Kenison, Laura Kovács, Anton Varonka
Linear Loop Synthesis for Quadratic Invariants. STACS (2024)
George Kenison, Laura Kovács, Anton Varonka
From Polynomial Invariants to Linear Loops. CoRR (2023)
S. Hitarth, George Kenison, Laura Kovács, Anton Varonka
Linear Loop Synthesis for Quadratic Invariants. CoRR (2023)
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
(Un)Solvable Loop Analysis. CoRR (2023)
George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. CoRR (2023)
George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. ISSAC (2023)
George Kenison, Laura Kovács, Anton Varonka
From Polynomial Invariants to Linear Loops. ISSAC (2023)
George Kenison, Joris Nieuwveld, Joël Ouaknine, James Worrell
Positivity Problems for Reversible Linear Recurrence Sequences. ICALP (2023)
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
Solving Invariant Generation for Unsolvable Loops. SAS (2022)
George Kenison
On the Skolem Problem for Reversible Sequences. CoRR (2022)
George Kenison
Applications of transcendental number theory to decision problems for hypergeometric sequences. CoRR (2022)
George Kenison
On the Skolem Problem for Reversible Sequences. MFCS (2022)
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
Solving Invariant Generation for Unsolvable Loops. CoRR (2022)
George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell
On Positivity and Minimality for Second-Order Holonomic Sequences. MFCS (2021)
George Kenison, Richard Lipton, Joël Ouaknine, James Worrell
On the skolem problem and prime powers. ISSAC (2020)
George Kenison, Richard Lipton, Joël Ouaknine, James Worrell
On the Skolem Problem and Prime Powers. CoRR (2020)
George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell
On Positivity and Minimality for Second-Order Holonomic Sequences. CoRR (2020)