Graph explorer

Zachary Kincaid

Zachary Kincaid contributes to research discovery and scholarly infrastructure.

7 nodes6 linksoverview mapZachary Kincaid
7 nodes6 links
Zachary Kincaid7 visible / 7 total nodes / 6 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAZachary KincaidResearcherWAn Algebraic Framework ...preprint / 2013WCompositional Invariant...preprint / 2015WProving Liveness of Par...preprint / 2016WA Symbolic Decision Pro...preprint / 2016WTemplates and Recurrenc...preprint / 2020WSpatial Interpolantspreprint / 2015
PersonSignal 106 links

Zachary Kincaid

Researcher

Open