↓ Skip to main content
George Kenison

Publications and Preprints

Peer-Reviewed papers in conference proceedings
#

  • On Word Representations and Embeddings in Complex Matrices. arXiv (with Paul C. Bell, Reino Niskanen, Igor Potapov, and Pavel Semukhin). In: Proceedings of the International Conference on Developments in Language Theory, DLT 2026.

  • The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters. DOI In: 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024.

  • Linear Loop Synthesis for Quadratic Invariants DOI (with S. Hitarth, Laura Kovács, and Anton Varonka). In: 41st International Symposium on Theoretical Aspects of Computer Science, STACS 2024.

  • From Polynomial Invariants to Linear Loops. DOI (with Laura Kovács and Anton Varonka). In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 2023.

  • The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. DOI (with Klara Nosan, Mahsa Shirmohammadi, and James Worrell). In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 2023.

  • Positivity Problems for Reversible Linear Recurrence Sequences. DOI (with Joris Nieuwveld, Joël Ouaknine, and James Worrell). In: 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023.

  • On the Skolem Problem for Reversible Sequences DOI In: International Symposium on Mathematical Foundations of Computer Science, MFCS 2022.

  • Solving Invariant Generation for Unsolvable Loops. DOI (with Daneshvar Amrollahi, Ezio Bartocci, Laura Kovács, Marcel Moosbrugger, and Miroslav Stankovič). In Static Analysis: 29th International Symposium, SAS 2022.

  • On Positivity and Minimality for Second-Order Holonomic Sequences. DOI (with Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, and James Worrell). In: International Symposium on Mathematical Foundations of Computer Science, MFCS 2021.

  • On the Skolem Problem and Prime Powers. DOI (with Richard Lipton, Joël Ouaknine, and James Worrell). In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 2020.

Peer-reviewed articles in journals
#

  • Determination Problems for Orbit Closures and Matrix Groups. DOI (with Rida Ait El Manssour, Mahsa Shirmohammadi, Anton Varonka, and James Worrell). In: Proc. ACM Program. Lang., 10 POPL, pp. 1615–1640.

  • Simple Linear Loops: Algebraic Invariants and Applications. DOI (with Rida Ait El Manssour, Mahsa Shirmohammadi, and Anton Varonka). In: Proc. ACM Program. Lang., 9 POPL, pp. 745–771.

  • (Un)Solvable loop analysis. DOI (with Daneshvar Amrollahi, Ezio Bartocci, Laura Kovács, Marcel Moosbrugger, and Miroslav Stankovič). In: Formal Methods in System Design, 2024.

  • Statistics in conjugacy classes in free groups. DOI (with Richard Sharp). In: Geometriae Dedicata 198.1, pp. 57–70.

  • Orbit counting in conjugacy classes for free groups acting on trees. DOI (with Richard Sharp). In: Journal of Topology and Analysis 9.4, pp. 631–647.

Preprints
#

  • On the Positivity Problem for second-order holonomic sequences. (with Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Emre Sertöz, Markus A. Whiteland, and James Worrell).

  • On the growth of hypergeometric sequences. arXiv (with Jakub Konieczny, Florian Luca, Andrew Scoones, Mahsa Shirmohammadi, and James Worrell).