( en | de | ru )

 

Disambiguation of "Kincaid, Zachary"

Author of the publication

copydeleteadd this publication to your clipboard
Compositional recurrence analysis revisited.

, , , and . PLDI, page 248-262. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zachary Dotscheff

Zachary Evenson

Zachary Hayes

Zachary Taylor

Zachary J Evenson

 

Other publications of authors with the same name

Loop Summarization with Rational Vector Addition Systems., and . CAV (2), volume 11562 of Lecture Notes in Computer Science, page 97-115. Springer, (2019)Spatial Interpolants., , , and . ESOP, volume 9032 of Lecture Notes in Computer Science, page 634-660. Springer, (2015)Strategy synthesis for linear arithmetic games., and . Proc. ACM Program. Lang., 2 (POPL): 61:1-61:30 (2018)Reflections on Termination of Linear Loops., and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 51-74. Springer, (2021)Recursive Program Synthesis., , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 934-950. Springer, (2013)Duet: Static Analysis for Unbounded Parallelism., and . CAV, volume 8044 of Lecture Notes in Computer Science, page 191-196. Springer, (2013)Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis., and . CoRR, (2023)Symbolic optimization with SMT solvers., , , , and . POPL, page 607-618. ACM, (2014)Duplication in DNA Sequences., , , and . Algorithmic Bioprocesses, page 43-61. Springer, (2009)Numerical Invariants via Abstract Machines.. SAS, volume 11002 of Lecture Notes in Computer Science, page 24-42. Springer, (2018)