Zachary Kincaid - Concepedia

Author

Zachary Kincaid

University of Toronto ORCID

Also Known As

Kincaid, Zachary, Z Kincaid, Zachary A. Kincaid, Zachary Kincaid

100

Publications

1.3K

Citations

H-Index

Concepts

All Affiliations

University of Toronto Princeton University University of Wisconsin–Madison GrammaTech (United States)University of Freiburg

About

Zachary Kincaid is an author at University of Toronto specializing in program analysis, formal verification, and engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	17	657
2	Business	3	3	99
3	Medicine	2	2	137
4	Cell Biology	2	2	137
5	Language Studies	1	1	48

Zachary Kincaid

Publications

908

Citations

H-Index

Page 1

	Year	Citations
Symbolic optimization with SMT solvers Yi Li, Aws Albarghouthi, Zachary Kincaid, Mathematical ProgrammingLarge-scale Global OptimizationProgram CheckingEngineeringVerification	2014	119
Targeting c-FOS and DUSP1 abrogates intrinsic resistance to tyrosine-kinase inhibitor therapy in BCR-ABL-induced leukemia Meenu Kesarwani, Zachary Kincaid, A. H. Gomaa, Nature Medicine Intrinsic ResistanceHematological MalignancyBcr-abl-induced LeukemiaMedicineMixed-phenotype Acute Leukemia	2017	101
Non-linear reasoning for invariant synthesis Zachary Kincaid, John Cyphert, Jason Breck, Proceedings of the ACM on Programming Languages EngineeringInvariant SynthesisRecurrence SolversVerificationComputational Complexity	2017	75
Targeting substrate-site in Jak2 kinase prevents emergence of genetic resistance Meenu Kesarwani, Erika Huber, Zachary Kincaid, Scientific Reports	2015	60
Compositional recurrence analysis Azadeh Farzan, Zachary Kincaid Program CheckingEngineeringVerificationSoftware EngineeringFormal Verification	2015	55
Inductive data flow graphs Azadeh Farzan, Zachary Kincaid, Andreas Podelski Program CheckingEngineeringData DependenciesVerificationNetwork Analysis	2013	51
Compositional recurrence analysis revisited Zachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni, EngineeringStatic-analysis MethodSoftware EngineeringSoftware AnalysisSymbolic Computation	2017	48
Proof Spaces for Unbounded Parallelism Azadeh Farzan, Zachary Kincaid, Andreas Podelski Program CheckingEngineeringMulti-threaded ProgramsVerificationComputer-aided Verification	2014	36
Enhanced MAPK signaling is essential for CSF3R-induced leukemia Sara Rohrabaugh, Meenu Kesarwani, Zachary Kincaid, Leukemia Enhanced Mapk SignalingSignal TransductionSignaling PathwayCell RegulationReceptor Tyrosine Kinase	2016	36
Strategy synthesis for linear arithmetic games Azadeh Farzan, Zachary Kincaid Proceedings of the ACM on Programming Languages Mathematical ProgrammingEngineeringReachability ProblemStrategy Synthesis ProblemCombinatorial Game	2017	35

Page 1