Solving invariant generation for unsolvable loops D Amrollahi, E Bartocci, G Kenison, L Kovács, M Moosbrugger, ... International Static Analysis Symposium, 19-43, 2022 | 13 | 2022 |
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 | 10 | 2020 |
On positivity and minimality for second-order holonomic sequences G Kenison, O Klurman, E Lefaucheux, F Luca, P Moree, J Ouaknine, ... arXiv preprint arXiv:2007.12282, 2020 | 8 | 2020 |
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 | 6 | 2017 |
On inequality decision problems for low-order holonomic sequences G Kenison, O Klurman, E Lefaucheux, F Luca, P Moree, J Ouaknine, ... Submitted, 0 | 3* | |
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 | 2 | 2023 |
Statistics in conjugacy classes in free groups G Kenison, R Sharp Geometriae Dedicata 198 (1), 57-70, 2019 | 2 | 2019 |
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 | 1 | 2023 |
From Polynomial Invariants to Linear Loops G Kenison, L Kovács, A Varonka Proceedings of the 2023 International Symposium on Symbolic and Algebraic …, 2023 | 1 | 2023 |
The Threshold Problems for Hypergeometric Sequences with Quadratic Parameters G Kenison arXiv preprint arXiv:2211.02447, 2022 | 1 | 2022 |
On the Skolem Problem for Reversible Sequences G Kenison arXiv preprint arXiv:2203.07061, 2022 | 1 | 2022 |
Linear Loop Synthesis for Quadratic Invariants S Hitarth, G Kenison, L Kovács, A Varonka arXiv preprint arXiv:2310.05120, 2023 | | 2023 |
(Un)Solvable Loop Analysis D Amrollahi, E Bartocci, G Kenison, L Kovács, M Moosbrugger, ... arXiv preprint arXiv:2306.01597, 2023 | | 2023 |
Asymptotics in conjugacy classes for free groups G Kenison University of Warwick, 2017 | | 2017 |