Photo of Zachary Kincaid
Contact Expert
 

View Scopus Profile

Zachary Kincaid

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20082020

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Zachary Kincaid is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.
  • 315 Citations
  • 10 h-Index
  • 20 Conference contribution
  • 9 Article
  • 1 Conference article

  • Templates and recurrences: Better together

    Breck, J., Cyphert, J., Kincaid, Z. & Reps, T., Jun 11 2020, PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 688-702 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A practical algorithm for structure embedding

    Murphy, C. & Kincaid, Z., Jan 1 2019, Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings. Piskac, R. & Enea, C. (eds.). Springer Verlag, p. 342-362 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11388 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Loop summarization with rational vector addition systems

    Silverman, J. & Kincaid, Z., 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 97-115 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11562 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    1 Scopus citations

  • A Symbolic Decision Procedure for Symbolic Alternating Finite Automata

    D'Antoni, L., Kincaid, Z. & Wang, F., Apr 16 2018, In: Electronic Notes in Theoretical Computer Science. 336, p. 79-99 21 p.

    Research output: Contribution to journal › Article › peer-review

    1 Scopus citations

  • Numerical Invariants via Abstract Machines

    Kincaid, Z., Jan 1 2018, Static Analysis - 25th International Symposium, SAS 2018, Proceedings. Podelski, A. (ed.). Springer Verlag, p. 24-42 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11002 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations
If you made any changes in Pure these will be visible here soon.