George Kenison
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DLT | On Word Representations and Embeddings in Complex Matrices. | Paul C. Bell, George Kenison, Reino Niskanen, Igor Potapov, Pavel Semukhin |
| 2024 | ICALP | The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters. | George Kenison |
| 2024 | STACS | Linear Loop Synthesis for Quadratic Invariants. | S. Hitarth, George Kenison, Laura Kovcs, Anton Varonka |
| 2023 | ICALP | Positivity Problems for Reversible Linear Recurrence Sequences. | George Kenison, Joris Nieuwveld, Jol Ouaknine, James Worrell |
| 2023 | ISSAC | From Polynomial Invariants to Linear Loops. | George Kenison, Laura Kovcs, Anton Varonka |
| 2023 | ISSAC | The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. | George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell |
| 2022 | MFCS | On the Skolem Problem for Reversible Sequences. | George Kenison |
| 2022 | SAS | Solving Invariant Generation for Unsolvable Loops. | Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovcs, Marcel Moosbrugger, Miroslav Stankovic |
| 2021 | MFCS | On Positivity and Minimality for Second-Order Holonomic Sequences. | George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Jol Ouaknine, Markus A. Whiteland, James Worrell |
| 2020 | ISSAC | On the skolem problem and prime powers. | George Kenison, Richard Lipton, Jol Ouaknine, James Worrell |