George Kenison

25 papers A* 2A 1B 6Journal 16

Year	Rank	Type	Title / 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