Works (4)

Updated: July 5th, 2023 15:41

2018 article

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.

By: A. Altuntas* & J. Baugh nโ€‰

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ
author keywords: hybrid systems; formal methods; scientific computation; KeYmaera X
Sources: Web Of Science, ORCID
Added: December 12, 2018

2017 journal article

Adaptive subdomain modeling: A multi-analysis technique for ocean circulation models

OCEAN MODELLING, 115, 86โ€“104.

By: A. Altuntas n & J. Baugh nโ€‰

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ

Contributors: A. Altuntas n & J. Baugh nโ€‰

author keywords: Storm surge; Adaptive algorithm; Subdomain modeling; Moving boundaries; ADCIRC
Sources: Web Of Science, ORCID
Added: August 6, 2018

2016 article

Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy

(M. Butler, K.-D. Schewe, A. Mashkoor, & M. Biro, Eds.). ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z (ABZ 2016), Vol. 9675, pp. 256โ€“261.

By: J. Baugh nโ€‰ & A. Altuntas n

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ

Contributors: J. Baugh nโ€‰ & A. Altuntas n

Ed(s): M. Butler, K. Schewe, A. Mashkoor & M. Biro

Event: at Cham

Sources: Web Of Science, ORCID
Added: August 6, 2018

2015 journal article

An exact reanalysis technique for storm surge and tides in a geographic region of interest

COASTAL ENGINEERING, 97, 60โ€“77.

By: J. Baugh nโ€‰, A. Altuntas n, T. Dyer n & J. Simonโ€‰*

co-author countries: United States of America ๐Ÿ‡บ๐Ÿ‡ธ

Contributors: J. Baugh nโ€‰, A. Altuntas n, T. Dyer n & J. Simonโ€‰*

author keywords: Hurricane; Storm surge; Subdomain modeling; ADCIRC
Sources: Web Of Science, ORCID
Added: August 6, 2018

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Scienceยฉ and InCitesยฉ (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.