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. In M. Butler, K.-D. Schewe, A. Mashkoor, & M. Biro (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z (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