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.
253 Publications
2023 | Research Data Reference | IST-REx-ID: 14991 | 
Hwong, Y.-L., Colin, M., Aglas, P., Muller, C. J., & Sherwood, S. C. (2023). Data-assessing memory in convection schemes using idealized tests. Zenodo. https://doi.org/10.5281/ZENODO.7757041
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14990 |
Meggendorfer, T. (2023). Artefact for: Correct Approximation of Stationary Distributions. Zenodo. https://doi.org/10.5281/ZENODO.7548214
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14995 |
Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. Zenodo. https://doi.org/10.5281/ZENODO.7877757
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14994 |
Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. Zenodo. https://doi.org/10.5281/ZENODO.7877790
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 15035 |
Chalupa, M., & Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. Zenodo. https://doi.org/10.5281/ZENODO.8191723
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14812 |
Stankowski, S. (2023). Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails. Zenodo. https://doi.org/10.5281/ZENODO.8318995
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data | IST-REx-ID: 13173 |
Shigemoto, R. (2023). Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:13173
[Published Version]
View
| Files available
| DOI
2022 | Research Data Reference | IST-REx-ID: 11686 |
Turelli, M., & Barton, N. H. (2022). Wolbachia frequency data from: Why did the Wolbachia transinfection cross the road? Drift, deterministic dynamics and disease control. Dryad. https://doi.org/10.25338/B81931
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2022 | Research Data Reference | IST-REx-ID: 10833 |
Hasler, R., Reiner-Rozman, C., Fossati, S., Aspermair, P., Dostalek, J., Lee, S., … Knoll, W. (2022). Field-effect transistor with a plasmonic fiber optic gate electrode as a multivariable biosensor device. Zenodo. https://doi.org/10.5281/ZENODO.5500360
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2022 | Research Data Reference | IST-REx-ID: 13076 |
Postnikova, A., Koval, N., Nadiradze, G., & Alistarh, D.-A. (2022). Multi-queues can be state-of-the-art priority schedulers. Zenodo. https://doi.org/10.5281/ZENODO.5733408
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)