An exact reanalysis technique for storm surge and tides in a geographic region of interest J Baugh, A Altuntas, T Dyer, J Simon Coastal Engineering 97, 60-77, 2015 | 16 | 2015 |
Formal methods and finite element analysis of hurricane storm surge: A case study in software verification J Baugh, A Altuntas Science of Computer Programming 158, 100-121, 2018 | 11 | 2018 |
Adaptive subdomain modeling: A multi-analysis technique for ocean circulation models A Altuntas, J Baugh Ocean Modelling 115, 86-104, 2017 | 8 | 2017 |
Bounded verification of sparse matrix computations T Dyer, A Altuntas, J Baugh 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC …, 2019 | 6 | 2019 |
Modeling a discrete wet-dry algorithm for hurricane storm surge in Alloy J Baugh, A Altuntas Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International …, 2016 | 6 | 2016 |
Downscaling Storm Surge Models for Engineering Applications. A Altuntas | 4 | 2012 |
Verifying concurrency in an adaptive ocean circulation model A Altuntas, J Baugh Proceedings of the First International Workshop on Software Correctness for …, 2017 | 3 | 2017 |
Subdomain ADCIRC v. 50 User Guide A Altuntas, JS Simon, JW Baugh Jr Technical Report, 2013 | 3 | 2013 |
Hybrid theorem proving as a lightweight method for verifying numerical software A Altuntas, J Baugh | 1 | 2018 |
An Adaptive Multi-Analysis Technique and Software Architecture for Ocean Circulation Models A Altuntas North Carolina State University, 2016 | 1 | 2016 |
Eastern Boundary Upwelling Systems in Ocean–Sea Ice Simulations Forced by CORE and JRA55-do: Mean State and Variability at the Surface RJ Small, J Kurian, P Chang, G Xu, H Tsujino, S Yeager, G Danabasoglu, ... Journal of Climate 37 (9), 2821-2848, 2024 | | 2024 |
A Novel Process Model of Ocean-Sea-Ice Interaction Using CESM P Hall, C Horvat, B Fox-Kemper, S Brenner, A Altuntas EGU24, 2024 | | 2024 |
Verifying ParamGen: A Case Study in Scientific Software Abstraction and Modeling A Altuntas, J Baugh, J Nusbaumer Proceedings of the 2023 Improving Scientific Software Conference, 1-9, 2023 | | 2023 |
A comparison of historical North Atlantic variability in multi-cycle OMIP2 simulations at two different horizontal resolutions SG Yeager, G Danabasoglu, P Chang, A Altuntas, FS Castruccio, WM Kim, ... AGU Fall Meeting Abstracts 2020, A090-0001, 2020 | | 2020 |
Historical AMOC in an Eddy-resolving CESM2 Simulation SG Yeager, G Danabasoglu, P Chang, A Altuntas, F Bryan, FS Castruccio, ... Ocean Sciences Meeting 2020, 2020 | | 2020 |
Submesoscale temperature inversions in the Bay of Bengal during the winter monsoon S Ramachandran, A Tandon, A Mahadevan, SG Yeager, P Chang, ... Ocean Sciences Meeting 2020, 2020 | | 2020 |
International Laboratory for High-Resolution Earth System Prediction (iHESP): An Unprecedented Set of High-Resolution Simulations G Danabasoglu, P Chang, S Zhang, L Wu, H Fu, H Wang, A Altuntas, ... AGU Fall Meeting Abstracts 2019, A13F-06, 2019 | | 2019 |
Correctness 2019 F Fevotte, B Lathuilière, PH Lin, C Liao, M Schordan, D Thien, B Zorn, ... | | |
Workshop Organizers I Laguna, C Rubio-González, A Altuntas, AH Baker, J Baugh, P Carribault, ... | | |
DOWNSCALING STORM SURGE MODELS FOR ENGINEERING APPLICATIONS J Baugh, J Rutledge, A Altuntas, T Dyer | | |