Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4191 Publications
2023 | Research Data Reference | IST-REx-ID: 14991 | 
Data-assessing memory in convection schemes using idealized tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).
2023 | Research Data Reference | IST-REx-ID: 14990 |
Artefact for: Correct Approximation of Stationary Distributions
T. Meggendorfer, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
T. Meggendorfer, (2023).
2023 | Conference Paper | IST-REx-ID: 14260 |
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.
[Published Version]
View
| Files available
| DOI
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.
2023 | Research Data Reference | IST-REx-ID: 14995 |
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
2023 | Research Data Reference | IST-REx-ID: 14994 |
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).