Items where Author is "Kenison, G"

Ait El Manssour, R, Kenison, G ORCID: 0000-0002-7661-7061, Shirmohammadi, M and Varonka, A (2025) Simple Linear Loops: Algebraic Invariants and Applications. Proceedings of the ACM on Programming Languages, 9. pp. 745-771.

Kenison, G ORCID: 0000-0002-7661-7061 (2024) The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters. In: Leibniz International Proceedings in Informatics, LIPIcs , 297. 145:1-145:20. (51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), 8th Jul - 12th Jul 2024, Tallinn, Estonia).

Amrollahi, D, Bartocci, E, Kenison, G ORCID: 0000-0002-7661-7061, Kovacs, L, Moosbrugger, M and Stankovic, M (2024) (Un)Solvable loop analysis. FORMAL METHODS IN SYSTEM DESIGN, 65. pp. 163-194. ISSN 0925-9856

Hitarth, S, Kenison, G ORCID: 0000-0002-7661-7061, Kovács, L and Varonka, A (2024) Linear Loop Synthesis for Quadratic Invariants. In: Leibniz International Proceedings in Informatics (LIPIcs) , 289. (41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 12th Mar - 14 Mar 2024, Clermont-Ferrand, France).

Bell, PC, Kenison, G, Niskanen, R ORCID: 0000-0002-2210-1481, Potapov, I and Semukhin, P ORCID: 0000-0002-7547-6391 On Word Representations and Embeddings in Complex Matrices. In: Lecture Notes in Computer Science (LNCS) Series . (Developments in Language Theory 2026, 30th - 3rd July 2026, Rouen, France). (Accepted)