| Solving invariant generation for unsolvable loops D Amrollahi, E Bartocci, G Kenison, L Kovács, M Moosbrugger, ... International Static Analysis Symposium, 19-43, 2022 | 18 | 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 | 11 | 2020 |
| 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 | 9 | 2021 |
| 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 | 4* | |
| 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 | 3 | 2024 |
| From polynomial invariants to linear loops G Kenison, L Kovács, A Varonka Proceedings of the 2023 International Symposium on Symbolic and Algebraic …, 2023 | 3 | 2023 |
| 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 | 3 | 2023 |
| (Un)Solvable loop analysis D Amrollahi, E Bartocci, G Kenison, L Kovács, M Moosbrugger, ... Formal Methods in System Design, 1-32, 2024 | 2 | 2024 |
| The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters G Kenison 51st International Colloquium on Automata, Languages, and Programming (ICALP …, 2024 | 2* | 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 | 2 | 2023 |
| Statistics in conjugacy classes in free groups G Kenison, R Sharp Geometriae Dedicata 198 (1), 57-70, 2019 | 2 | 2019 |
| On the Skolem Problem for Reversible Sequences G Kenison 47th International Symposium on Mathematical Foundations of Computer Science …, 2022 | 1 | 2022 |
| Simple Linear Loops: Algebraic Invariants and Applications RAE Manssour, G Kenison, M Shirmohammadi, A Varonka arXiv preprint arXiv:2407.09154, 2024 | | 2024 |
| 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 |
James WorrellProfessor of Computer Science, Oxford University在 cs.ox.ac.uk 的电子邮件经过验证
