Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Kincaid, Zachary
67  Ergebnisse:
Personensuche X
?
1

Enhanced MAPK signaling induced by CSF3R mutants confers de..:

Kesarwani, Meenu ; Kincaid, Zachary ; Azhar, Mohammad.
Blood Advances.  8 (2024)  11 - p. 2765-2776 , 2024
Link: https://doi.org/10.1182/..
 
?
2

Solvable Polynomial Ideals: The Ideal Reflection for Progra..:

Cyphert, John ; Kincaid, Zachary
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 724-752 , 2024
Link: https://doi.org/10.1145/..
 
?
3

Relational Network Verification:

, In: Proceedings of the ACM SIGCOMM 2024 Conference,
Xu, Xieyang ; Yuan, Yifei ; Kincaid, Zachary... - p. 213-227 , 2024
Link: https://dl.acm.org/doi/1..
 
?
4

Rational polypharmacological targeting of FLT3, JAK2, ABL, ..:

Azhar, Mohammad ; Kincaid, Zachary ; Kesarwani, Meenu...
Blood Advances.  7 (2023)  8 - p. 1460-1476 , 2023
Link: https://doi.org/10.1182/..
 
?
5

When Less Is More: Consequence-Finding in a Weak Theory of ..:

Kincaid, Zachary ; Koh, Nicolas ; Zhu, Shaowei
Proceedings of the ACM on Programming Languages.  7 (2023)  POPL - p. 1275-1307 , 2023
Link: https://doi.org/10.1145/..
 
?
6

MAPK-negative feedback regulation confers dependence to JAK..:

Kesarwani, Meenu ; Kincaid, Zachary ; Azhar, Mohammad...
Leukemia.  37 (2023)  8 - p. 1686-1697 , 2023
Link: https://doi.org/10.1038/..
 
?
7

Momelotinib is a highly potent inhibitor of FLT3-mutant AML:

Azhar, Mohammad ; Kincaid, Zachary ; Kesarwani, Meenu...
Blood Advances.  6 (2022)  4 - p. 1186-1192 , 2022
Link: https://doi.org/10.1182/..
 
?
8

Reflections on Termination of Linear Loops:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Zhu, Shaowei ; Kincaid, Zachary - p. 51-74 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Termination analysis without the tears:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Zhu, Shaowei ; Kincaid, Zachary - p. 1296-1311 , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

Algebraic Program Analysis:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Kincaid, Zachary ; Reps, Thomas ; Cyphert, John - p. 46-83 , 2021
Link: https://doi.org/10.1007/..
 
?
11

Templates and recurrences: better together:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,
Breck, Jason ; Cyphert, John ; Kincaid, Zachary. - p. 688-702 , 2020
Link: https://dl.acm.org/doi/1..
 
?
12

Loop Summarization with Rational Vector Addition Systems:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Silverman, Jake ; Kincaid, Zachary - p. 97-115 , 2019
Link: https://doi.org/10.1007/..
 
?
13

Refinement of path expressions for static analysis:

Cyphert, John ; Breck, Jason ; Kincaid, Zachary.
Proceedings of the ACM on Programming Languages.  3 (2019)  POPL - p. 1-29 , 2019
Link: https://dl.acm.org/doi/1..
 
?
14

Refinement of path expressions for static analysis:

Cyphert, John ; Breck, Jason ; Kincaid, Zachary.
Proceedings of the ACM on Programming Languages.  3 (2019)  POPL - p. 1-29 , 2019
Link: https://doi.org/10.1145/..
 
?
15

Closed forms for numerical loops:

Kincaid, Zachary ; Breck, Jason ; Cyphert, John.
Proceedings of the ACM on Programming Languages.  3 (2019)  POPL - p. 1-29 , 2019
Link: https://dl.acm.org/doi/1..
 
1-15