White, Laura A.
4492  Ergebnisse:
Personensuche X
?
5

A Temporal Differential Dynamic Logic Formal Embedding:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs,
White, Lauren ; Titolo, Laura ; Slagel, J. Tanner. - p. 162-176 , 2024
 
?
8

Stark differences in spatial gradients of Eastern oyster (C..:

Storch, Laura S. ; Kimbro, David L. ; Dix, Nikki...
Estuarine, Coastal and Shelf Science.  297 (2024)  - p. 108602 , 2024
 
?
10

Brecciation at the grain scale within the lithologies of th..:

Daly, Luke ; Suttle, Martin D. ; Lee, Martin R....
Meteoritics & Planetary Science.  59 (2024)  5 - p. 1068-1100 , 2024
 
?
12

An ensemble-based approach for pumping optimization in an i..:

Coulon, Cécile ; White, Jeremy T. ; Pryet, Alexandre..
Hydrology and Earth System Sciences.  28 (2024)  1 - p. 303-319 , 2024
 
1-15