E-LIB Suche - Ergebnisse für: Hicks, Michael A

1

Cedar: A New Language for Expressive, Fast, Safe, and Analy..:

Cutler, Joseph W. ; Disselkoen, Craig ; Eline, Aaron...
Proceedings of the ACM on Programming Languages. 8 (2024) OOPSLA1 - p. 670-697 , 2024

Link: https://doi.org/10.1145/..

2

Analogical structure sense: A case study of students' analo..:

Hicks, Michael D. ; Flanagan, Kyle
The Journal of Mathematical Behavior. 73 (2024) - p. 101136 , 2024

Link: https://doi.org/10.1016/..

3

Historic doubts about the survival of the Princes in the To..:

Hicks, Michael
Historical Research. , 2024

Link: https://doi.org/10.1093/..

4

Inhomogeneous Neumann boundary conditions for MPM and GIMP:

Remmerswaal, Guido ; Vardon, Philip J. ; Hicks, Michael A.
Computers and Geotechnics. 173 (2024) - p. 106494 , 2024

Link: https://doi.org/10.1016/..

5

A nonlocal material point method for the simulation of larg..:

González Acosta, José L. ; Mánica, Miguel A. ; Vardon, Philip J...
Computers and Geotechnics. 172 (2024) - p. 106424 , 2024

Link: https://doi.org/10.1016/..

6

The Impact of a State-Level, Place-Based Economic Developme..:

Hicks, Michael J. ; Faulk, Dagney
Economic Development Quarterly. , 2024

Link: https://doi.org/10.1177/..

7

The impact of Black founding fathers on the specialty of gy..:

Hicks, Michael L. ; Matthews, Roland P. ; Clare, Camille A....
Gynecologic Oncology. 185 (2024) - p. 42-45 , 2024

Link: https://doi.org/10.1016/..

8

Racial disparities in endometrial cancer: Where are we afte..:

Hicks, Michael L. ; Hicks, Maya M. ; Mathews, Roland P....
Gynecologic Oncology. 184 (2024) - p. 236-242 , 2024

Link: https://doi.org/10.1016/..

9

How We Built Cedar: A Verification-Guided Approach:

, In: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering,

Disselkoen, Craig ; Eline, Aaron ; He, Shaobo... - p. 351-357 , 2024

Link: https://dl.acm.org/doi/1..

10

Gynaecologic oncology surgical cancellations in Zambia:

Chisele, Samson ; Mwanahamuntu, Milindi ; Kamfwa, Paul...
ecancermedicalscience. 17 (2023) - p. , 2023

Link: https://doi.org/10.3332/..

11

Nonlinear site response analyses for sands: investigating t..:

Bayraktaroglu, Hilmi ; González Acosta, Jose L. ; Van den Eijnden, Abraham P..
Symposium on Energy Geotechnics 2023. , 2023

Link: https://doi.org/10.59490..

12

A formally certified end-to-end implementation of Shor's fa..:

Peng, Yuxiang ; Hietala, Kesha ; Tao, Runzhou...
Proceedings of the National Academy of Sciences. 120 (2023) 21 - p. , 2023

Link: https://doi.org/10.1073/..

13

Improving access to safe, quality surgical care for gynecol..:

Hill, Sarah K. ; Bempong‐Ahun, Nefti ; Okolo, Isioma Dianne...
International Journal of Gynecology & Obstetrics. 165 (2023) 2 - p. 552-561 , 2023

Link: https://doi.org/10.1002/..

14

Fuzzing Configurations of Program Options:

Zhang, Zenong ; Klees, George ; Wang, Eric..
ACM Transactions on Software Engineering and Methodology. 32 (2023) 2 - p. 1-21 , 2023

Link: https://doi.org/10.1145/..

15

Fat Pointers for Temporal Memory Safety of C:

Zhou, Jie ; Criswell, John ; Hicks, Michael
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 316-347 , 2023

Link: https://doi.org/10.1145/..