Bowman, William D
1465  results:
Search for persons X
?
1

Atomic Structure and Chemistry of High-Entropy Oxide Grain ..:

Guo, Huiming ; Vahidi, Hasti ; Kang, Hyojoo...
Microscopy and Microanalysis.  30 (2024)  Supplement_1 - p. , 2024
 
?
4

Indexed Types for a Statically Safe WebAssembly:

Geller, Adam T. ; Frank, Justin ; Bowman, William J.
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 2395-2424 , 2024
 
?
 
?
 
?
9

Grain size dependent indentation response of single-phase (..:

Cortez, Justin ; Dupuy, Alexander D. ; Vahidi, Hasti...
Journal of the European Ceramic Society.  44 (2024)  14 - p. 116673 , 2024
 
?
11

Nanoscale Iron Redistribution during Thermochemical Decompo..:

Luong, Jason ; Wang, Xin ; Tsung, Alicia...
ACS Applied Nano Materials.  6 (2023)  3 - p. 1620-1630 , 2023
 
?
14

Is sized typing for Coq practical?:

CHAN, JONATHAN ; LI, YUFENG ; BOWMAN, WILLIAM J.
Journal of Functional Programming.  33 (2023)  - p. , 2023
 
?
15

A Correlated STEM/APT Study of Multidimensional and Interco..:

Guo, Huiming ; Mead, Christopher ; Balingit, Marquez...
Microscopy and Microanalysis.  29 (2023)  Supplement_1 - p. 1833-1833 , 2023
 
1-15
Related subjects