Alper Altuntas Altuntas, A., & Baugh, J. (2018). Hybrid theorem proving as a lightweight method for verifying numerical software. PROCEEDINGS OF CORRECTNESS 2018: 2ND IEEE/ACM INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS, pp. 1–8. https://doi.org/10.1109/Correctness.2018.00005 Altuntas, A., & Baugh, J. (2017). Adaptive subdomain modeling: A multi-analysis technique for ocean circulation models. OCEAN MODELLING, 115, 86–104. https://doi.org/10.1016/j.ocemod.2017.05.009 Baugh, J., & Altuntas, A. (2016). Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy (M. Butler, K.-D. Schewe, A. Mashkoor, & M. Biro, Eds.). ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z (ABZ 2016), Vol. 9675, pp. 256–261. https://doi.org/10.1007/978-3-319-33600-8_18 Baugh, J., Altuntas, A., Dyer, T., & Simon, J. (2015). An exact reanalysis technique for storm surge and tides in a geographic region of interest. COASTAL ENGINEERING, 97, 60–77. https://doi.org/10.1016/j.coastaleng.2014.12.003