@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}, publisher={IEEE}, 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}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-85020014888&partnerID=MN8TOARS}, DOI={10.1016/j.ocemod.2017.05.009}, journal={Ocean Modelling}, author={Altuntas, A. and Baugh, J.}, year={2017}, pages={86–104} }
 @inproceedings{baugh_altuntas_2016, place={Cham}, title={Modeling a discrete wet-dry algorithm for hurricane storm surge in Alloy}, volume={9675}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-84978698635&partnerID=MN8TOARS}, DOI={10.1007/978-3-319-33600-8_18}, note={Lecture Notes in Computer Science 9675}, booktitle={Abstract State Machines, Alloy, B, TLA, VDM, and Z}, publisher={Springer}, author={Baugh, John and Altuntas, Alper}, editor={Butler, Michael and Schewe, Klaus-Dieter and Mashkoor, Atif and Biro, MiklosEditors}, 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}, url={http://www.scopus.com/inward/record.url?eid=2-s2.0-85027939365&partnerID=MN8TOARS}, 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} }