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 |
Artefact for: Correct Approximation of Stationary Distributions
T. Meggendorfer, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
T. Meggendorfer, (2023).
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).
2023 | Research Data Reference | IST-REx-ID: 15035 |
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Chalupa, T.A. Henzinger, (2023).
2023 | Research Data Reference | IST-REx-ID: 14812 |
Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails
S. Stankowski, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Stankowski, (2023).
2023 | Research Data | IST-REx-ID: 13173 |
Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals
R. Shigemoto, (2023).
[Published Version]
View
| Files available
| DOI
R. Shigemoto, (2023).
2023 | Research Data | IST-REx-ID: 14614 |
The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome
C. Lasne, M.N. Elkrewi, (2023).
[Published Version]
View
| Files available
| DOI
C. Lasne, M.N. Elkrewi, (2023).
2022 | Research Data Reference | IST-REx-ID: 11686 |
Wolbachia frequency data from: Why did the Wolbachia transinfection cross the road? Drift, deterministic dynamics and disease control
M. Turelli, N.H. Barton, (2022).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Turelli, N.H. Barton, (2022).
2022 | Research Data Reference | IST-REx-ID: 10833 |
Field-effect transistor with a plasmonic fiber optic gate electrode as a multivariable biosensor device
R. Hasler, C. Reiner-Rozman, S. Fossati, P. Aspermair, J. Dostalek, S. Lee, M. Ibáñez, J. Bintinger, W. Knoll, (2022).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R. Hasler, C. Reiner-Rozman, S. Fossati, P. Aspermair, J. Dostalek, S. Lee, M. Ibáñez, J. Bintinger, W. Knoll, (2022).
2022 | Research Data Reference | IST-REx-ID: 13076 |
Multi-queues can be state-of-the-art priority schedulers
A. Postnikova, N. Koval, G. Nadiradze, D.-A. Alistarh, (2022).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
A. Postnikova, N. Koval, G. Nadiradze, D.-A. Alistarh, (2022).