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: 14990 |
Meggendorfer T. 2023. Artefact for: Correct Approximation of Stationary Distributions, Zenodo, 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, 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, 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 TA. 2023. Monitoring hyperproperties with prefix transducers, Zenodo, 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, 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, 10.15479/AT:ISTA:13173.
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 14614 |
Lasne C, Elkrewi MN. 2023. The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome, Institute of Science and Technology Austria, 10.15479/AT:ISTA:14614.
[Published Version]
View
| Files available
| DOI
2022 | Research Data Reference | IST-REx-ID: 11686 |
Turelli M, Barton NH. 2022. Wolbachia frequency data from: Why did the Wolbachia transinfection cross the road? Drift, deterministic dynamics and disease control, Dryad, 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, Ibáñez M, Bintinger J, Knoll W. 2022. Field-effect transistor with a plasmonic fiber optic gate electrode as a multivariable biosensor device, Zenodo, 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, 10.5281/ZENODO.5733408.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)