George Kenison

According to our database, George Kenison authored at least 10 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2024

Linear Loop Synthesis for Quadratic Invariants.

S. Hitarth, George Kenison, Laura Kovács, Anton Varonka

Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

2023

(Un)Solvable Loop Analysis.

Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic

CoRR, 2023

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters.

George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

From Polynomial Invariants to Linear Loops.

George Kenison, Laura Kovács, Anton Varonka

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

Positivity Problems for Reversible Linear Recurrence Sequences.

George Kenison, Joris Nieuwveld, Joël Ouaknine, James Worrell

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

2022

Applications of transcendental number theory to decision problems for hypergeometric sequences.

George Kenison

CoRR, 2022

Solving Invariant Generation for Unsolvable Loops.

Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic

Proceedings of the Static Analysis - 29th International Symposium, 2022

On the Skolem Problem for Reversible Sequences.

George Kenison

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

2021

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

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

On the skolem problem and prime powers.

George Kenison, Richard Lipton, Joël Ouaknine, James Worrell

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020