I agree that this site is using cookies. You can find further informations here.
X
Dill, David L.
517  results:
Search for persons X
?
1

Reasoning About Vectors: Satisfiability Modulo a Theory of ..:

Sheng, Ying ; Nötzli, Andres ; Reynolds, Andrew...
Journal of Automated Reasoning.  67 (2023)  3 - p. , 2023
Link: https://doi.org/10.1007/..
 
?
2

Access and Inequality in US Higher Education: Policy Issues:

, In: Equity Policies in Global Higher Education,
Dill, David - p. 47-70 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Reasoning About Vectors Using an SMT Theory of Sequences:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Sheng, Ying ; Nötzli, Andres ; Reynolds, Andrew... - p. 125-143 , 2022
Link: https://doi.org/10.1007/..
 
?
4

Fast and Reliable Formal Verification of Smart Contracts wi..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Dill, David ; Grieskamp, Wolfgang ; Park, Junkil... - p. 183-200 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Aquila_stLFR: diploid genome assembly based structural vari..:

Liu, Yichen Henry ; Grubbs, Griffin L ; Zhang, Lu...
Bioinformatics Advances.  1 (2021)  1 - p. , 2021
Link: https://doi.org/10.1093/..
 
?
6

Reluplex: a calculus for reasoning about deep neural networ..:

Katz, Guy ; Barrett, Clark ; Dill, David L...
Formal Methods in System Design.  60 (2021)  1 - p. 87-116 , 2021
Link: https://doi.org/10.1007/..
 
?
7

Aquila enables reference-assisted diploid personal genome a..:

Zhou, Xin ; Zhang, Lu ; Weng, Ziming..
Nature Communications.  12 (2021)  1 - p. , 2021
Link: https://doi.org/10.1038/..
 
?
8

A Personal Reflection on the Key Challenge for Higher Educa..:

, In: The Promise of Higher Education,
Dill, David - p. 269-274 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Enhancing Academic Quality and Collegial Control: Insights ..:

Dill, David D
Higher education policy.  33 (2020)  1 - p. 45-64 , 2020
Link: https://doi.org/10.1057/..
 
?
10

Enhancing Academic Quality and Collegial Control: Insights ..:

Dill, David D
Higher education policy.  33 (2020)  1 - p. 45-64 , 2020
Link: https://doi.org/10.1057/..
 
?
11

The m6A RNA demethylase FTO is a HIF-independent synthetic ..:

Xiao, Yiren ; Thakkar, Kaushik N. ; Zhao, Hongjuan...
Proceedings of the National Academy of Sciences.  117 (2020)  35 - p. 21441-21449 , 2020
Link: https://doi.org/10.1073/..
 
?
12

The Move Prover:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Zhong, Jingyi Emma ; Cheang, Kevin ; Qadeer, Shaz... - p. 137-150 , 2020
Link: https://doi.org/10.1007/..
 
?
13

The m⁶A RNA demethylase FTO is a HIF-independent synthetic ..:

Xiao, Yiren ; Thakkar, Kaushik N. ; Zhao, Hongjuan...
Proceedings of the National Academy of Sciences of the United States of America.  117 (2020)  35 - p. 21441-21449 , 2020
Link: https://www.jstor.org/st..
 
?
14

The Marabou Framework for Verification and Analysis of Deep..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Katz, Guy ; Huang, Derek A. ; Ibeling, Duligur... - p. 443-452 , 2019
Link: https://doi.org/10.1007/..
 
?
15

Mebendazole for Differentiation Therapy of Acute Myeloid Le..:

Li, Yulin ; Thomas, Daniel ; Deutzmann, Anja...
Scientific Reports.  9 (2019)  1 - p. , 2019
Link: https://doi.org/10.1038/..
 
1-15