@article{altuntas_baugh_2018, title={Hybrid theorem proving as a lightweight method for verifying numerical software}, ISBN={978-1-7281-0226-9}, DOI={10.1109/Correctness.2018.00005}, journal={PROCEEDINGS OF CORRECTNESS 2018: 2ND IEEE/ACM INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS}, author={Altuntas, Alper and Baugh, John}, year={2018}, pages={1–8} }
 @article{altuntas_baugh_2017, title={Adaptive subdomain modeling: A multi-analysis technique for ocean circulation models}, volume={115}, DOI={10.1016/j.ocemod.2017.05.009}, journal={Ocean Modelling (Oxford, England)}, author={Altuntas, A. and Baugh, J.}, year={2017}, pages={86–104} }
 @inproceedings{baugh_altuntas_2016, title={Modeling a discrete wet-dry algorithm for hurricane storm surge in alloy}, volume={9675}, DOI={10.1007/978-3-319-33600-8_18}, booktitle={Abstract state machines, alloy, b, tla, vdm, and z (abz 2016)}, author={Baugh, J. and Altuntas, A.}, year={2016}, pages={256–261} }
 @article{baugh_altuntas_dyer_simon_2015, title={An exact reanalysis technique for storm surge and tides in a geographic region of interest}, volume={97}, DOI={10.1016/j.coastaleng.2014.12.003}, journal={Coastal Engineering}, author={Baugh, J. and Altuntas, A. and Dyer, T. and Simon, J.}, year={2015}, pages={60–77} }