Follow
George Kenison
Title
Cited by
Cited by
Year
Solving invariant generation for unsolvable loops
D Amrollahi, E Bartocci, G Kenison, L Kovács, M Moosbrugger, ...
International Static Analysis Symposium, 19-43, 2022
312022
On the Skolem Problem and Prime Powers
G Kenison, R Lipton, J Ouaknine, J Worrell
Proceedings of the 45th International Symposium on Symbolic and Algebraic …, 2020
122020
On Positivity and Minimality for Second-Order Holonomic Sequences
G Kenison, O Klurman, E Lefaucheux, F Luca, P More, J Ouaknine, ...
46th International Symposium on Mathematical Foundations of Computer Science …, 2021
112021
Orbit counting in conjugacy classes for free groups acting on trees
G Kenison, R Sharp
Journal of Topology and Analysis 9 (04), 631-647, 2017
62017
(Un)Solvable loop analysis
D Amrollahi, E Bartocci, G Kenison, L Kovács, M Moosbrugger, ...
Formal Methods in System Design, 1-32, 2024
52024
Linear Loop Synthesis for Quadratic Invariants
S Hitarth, G Kenison, L Kovács, A Varonka
41st International Symposium on Theoretical Aspects of Computer Science …, 2024
52024
From polynomial invariants to linear loops
G Kenison, L Kovács, A Varonka
Proceedings of the 2023 International Symposium on Symbolic and Algebraic …, 2023
52023
Positivity Problems for Reversible Linear Recurrence Sequences
G Kenison, J Nieuwveld, J Ouaknine, J Worrell
50th International Colloquium on Automata, Languages, and Programming (ICALP …, 2023
52023
On inequality decision problems for low-order holonomic sequences
G Kenison, O Klurman, E Lefaucheux, F Luca, P Moree, J Ouaknine, ...
Submitted, 0
5*
The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters
G Kenison
51st International Colloquium on Automata, Languages, and Programming (ICALP …, 2024
3*2024
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
G Kenison, K Nosan, M Shirmohammadi, J Worrell
Proceedings of the 2023 International Symposium on Symbolic and Algebraic …, 2023
32023
On the Skolem Problem for Reversible Sequences
G Kenison
47th International Symposium on Mathematical Foundations of Computer Science …, 2022
32022
Simple Linear Loops: Algebraic Invariants and Applications
RAE Manssour, G Kenison, M Shirmohammadi, A Varonka
arXiv preprint arXiv:2407.09154, 2024
22024
Statistics in conjugacy classes in free groups
G Kenison, R Sharp
Geometriae Dedicata 198 (1), 57-70, 2019
22019
Determination Problems for Orbit Closures and Matrix Groups
RAE Manssour, G Kenison, M Shirmohammadi, J Worrell
arXiv preprint arXiv:2407.04626, 2024
2024
Asymptotics in conjugacy classes for free groups
G Kenison
University of Warwick, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–16