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.
297 Publications
2025 | Research Data Reference | IST-REx-ID: 19771 | 
Artifact: Fixed point certificates for reachability and expected rewards in MDPs
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, (2025).
2025 | Research Data Reference | IST-REx-ID: 19769 |
Sound statistical model checking for probabilities and expected rewards (experimental reproduction package)
C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, (2025).
2025 | Research Data | IST-REx-ID: 19885 |
Automated All-RF Tuning for Spin Qubit Readout and Control
J. Saez Mollejo, (2025).
[Published Version]
View
| Files available
| DOI
J. Saez Mollejo, (2025).
2025 | Research Data | IST-REx-ID: 19915 |
Files for "Evolutionary repurposing of a DNA segregation machinery into a cytoskeletal system controlling cyanobacterial cell shape"
B.L. Springstein, (2025).
View
| Files available
| DOI
B.L. Springstein, (2025).
2025 | Research Data Reference | IST-REx-ID: 20107 |
Data - Sustainable Development Key to Limiting Climate Change-Driven Wildfire Damages
Y.-L. Hwong, E. Byers, M. Werning, Y. Quilcaille, (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
Y.-L. Hwong, E. Byers, M. Werning, Y. Quilcaille, (2025).
2025 | Research Data Reference | IST-REx-ID: 20103 |
Replication Data for: "Improving Prediction Accuracy in Chimeric Proteins with Windowed Multiple Sequence Alignment"
S. Vedula, A.M. Bronstein, A. Marx, (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Vedula, A.M. Bronstein, A. Marx, (2025).
2025 | Research Data | IST-REx-ID: 19696 |
Dataset for "Bumps on the Road: The Way to Clean Relaxation Dispersion in the Solid State"
B. Tatman, (2025).
View
| Files available
| DOI
B. Tatman, (2025).
2025 | Research Data | IST-REx-ID: 20242 |
Data of: "Quantifying the carbon footprint of conference travel: the case of NMR meetings"
P. Schanda, (2025).
View
| Files available
| DOI
P. Schanda, (2025).
2025 | Research Data | IST-REx-ID: 19956 |
Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme
P. Schanda, (2025).
View
| Files available
| DOI
P. Schanda, (2025).
2025 | Research Data Reference | IST-REx-ID: 19033 |
2025_SCACCHI_JCIS
A. Scacchi, (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
A. Scacchi, (2025).
2025 | Research Data | IST-REx-ID: 18886 |
Research data for publication 'Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors'
M. Janik, (2025).
[Published Version]
View
| Files available
| DOI
M. Janik, (2025).
2025 | Research Data | IST-REx-ID: 19409 |
Exchange anisotropies in microwave-driven singlet-triplet qubits
J. Saez Mollejo, (2025).
[Published Version]
View
| Files available
| DOI
J. Saez Mollejo, (2025).
2025 | Research Data | IST-REx-ID: 18991 |
Research data for the publication "Learning reshapes the hippocampal representation hierarchy"
H.S.C. Chiossi, (2025).
[Published Version]
View
| Files available
| DOI
H.S.C. Chiossi, (2025).
2025 | Research Data | IST-REx-ID: 19623 |
Research Data for "Quantum Many-Body Scars beyond the PXP Model in Rydberg Simulators"
J.-Y.M. Desaules, (2025).
View
| Files available
| DOI
J.-Y.M. Desaules, (2025).
2025 | Research Data | IST-REx-ID: 18697 |
Light-microscopy based connectomic reconstruction of mammalian brain tissue
J.G. Danzl, J. Lyudchik, C. Kreuzinger, (2025).
[Published Version]
View
| Files available
| DOI
J.G. Danzl, J. Lyudchik, C. Kreuzinger, (2025).
2025 | Research Data | IST-REx-ID: 19658 |
Token-driven totally asymmetric simple exclusion processes
G. Tkačik, (2025).
[Published Version]
View
| Files available
| DOI
G. Tkačik, (2025).
2025 | Research Data Reference | IST-REx-ID: 19780 |
Snow line altitude in high mountain Asia derived from satellite imagery (LS5, LS7, LS8 & S2) between 1999 and 2019
M. Bernat, (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Bernat, (2025).
2025 | Research Data | IST-REx-ID: 18712 |
Mathematica notebook and Fortran code for 'Effect of assortative mating and sexual selection on polygenic barriers to gene flow'
P. Surendranadh, H. Sachdeva, (2025).
[Published Version]
View
| Files available
| DOI
P. Surendranadh, H. Sachdeva, (2025).
2025 | Research Data | IST-REx-ID: 19791 |
Research Data for "Mass-Assisted Local Deconfinement in a Confined Z2 Lattice Gauge Theory"
J.-Y.M. Desaules, (2025).
[Preprint]
View
| Files available
| DOI
J.-Y.M. Desaules, (2025).
2025 | Research Data | IST-REx-ID: 18837 |
Research Data for the publication "Super-resolution expansion microscopy in plant roots"
J.G. Danzl, C. Kreuzinger, (2025).
View
| Files available
| DOI
J.G. Danzl, C. Kreuzinger, (2025).