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 (Oxford, England), 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. Abstract state machines, alloy, b, tla, vdm, and z (abz 2016), 9675, 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