George Kenison

Orcid: 0000-0002-7661-7061

According to our database1, George Kenison authored at least 10 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Linear Loop Synthesis for Quadratic Invariants.
Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

2023
(Un)Solvable Loop Analysis.
CoRR, 2023

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters.
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

From Polynomial Invariants to Linear Loops.
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

Positivity Problems for Reversible Linear Recurrence Sequences.
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

2022
Applications of transcendental number theory to decision problems for hypergeometric sequences.
CoRR, 2022

Solving Invariant Generation for Unsolvable Loops.
Proceedings of the Static Analysis - 29th International Symposium, 2022

On the Skolem Problem for Reversible Sequences.
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

2021
On Positivity and Minimality for Second-Order Holonomic Sequences.
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020
On the skolem problem and prime powers.
Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020


  Loading...