Zachary Kincaid
Princeton University(US)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Chronic Myeloid Leukemia Treatments, Software Testing and Debugging Techniques, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Recursive Program Synthesis(2013)145 cited
- → Symbolic optimization with SMT solvers(2014)120 cited
- → Targeting c-FOS and DUSP1 abrogates intrinsic resistance to tyrosine-kinase inhibitor therapy in BCR-ABL-induced leukemia(2017)102 cited
- → Non-linear reasoning for invariant synthesis(2017)77 cited
- → Targeting substrate-site in Jak2 kinase prevents emergence of genetic resistance(2015)60 cited
- → Compositional recurrence analysis(2015)56 cited
- → Inductive data flow graphs(2013)51 cited
- → Compositional recurrence analysis revisited(2017)48 cited
- → Proof Spaces for Unbounded Parallelism(2014)36 cited
- → Enhanced MAPK signaling is essential for CSF3R-induced leukemia(2016)36 cited