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 .
LibreCat: https://research-explorer.ista.ac.at/record/14995
DOI: 10.5281/ZENODO.7877757

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 .
LibreCat: https://research-explorer.ista.ac.at/record/14994
DOI: 10.5281/ZENODO.7877790

Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers, Zenodo,10.5281/ZENODO.8191723 .
LibreCat: https://research-explorer.ista.ac.at/record/15035
DOI: 10.5281/ZENODO.8191723

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 .
LibreCat: https://research-explorer.ista.ac.at/record/14812
DOI: 10.5281/ZENODO.8318995

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 .
LibreCat: https://research-explorer.ista.ac.at/record/11686
DOI: 10.25338/B81931

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 .
LibreCat: https://research-explorer.ista.ac.at/record/10833
DOI: 10.5281/ZENODO.5500360

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 .
LibreCat: https://research-explorer.ista.ac.at/record/13076
DOI: 10.5281/ZENODO.5733408

Parvizian M, Duran Balsa A, Pokratath R, Kalha C, Lee S, Van den Eynden D, Ibáñez M, Regoutz A, De Roo J. 2022. Data for ‘The chemistry of Cu3N and Cu3PdN nanocrystals’, Zenodo,10.5281/ZENODO.6542908 .
LibreCat: https://research-explorer.ista.ac.at/record/11695
DOI: 10.5281/ZENODO.6542908

Budanur NB. 2022. burakbudanur/autoacc-public, Zenodo,10.5281/ZENODO.6802720 .
LibreCat: https://research-explorer.ista.ac.at/record/11711
DOI: 10.5281/ZENODO.6802720

Orliac E, Trejo Banos D, Ojavee S, Läll K, Mägi R, Visscher P, Robinson MR. 2022. Improving genome-wide association discovery and genomic prediction accuracy in biobank data, Dryad,10.5061/DRYAD.GTHT76HMZ .
LibreCat: https://research-explorer.ista.ac.at/record/13064
DOI: 10.5061/DRYAD.GTHT76HMZ

Tomanek I, Guet CC. 2022. Flow cytometry YFP and CFP data and deep sequencing data of populations evolving in galactose, Dryad,10.5061/dryad.rfj6q57ds .
LibreCat: https://research-explorer.ista.ac.at/record/12339
DOI: 10.5061/dryad.rfj6q57ds

Koch E, Ravinet M, Westram AM, Jonannesson K, Butlin R. 2022. Data from: Genetic architecture of repeated phenotypic divergence in Littorina saxatilis ecotype evolution, Dryad,10.5061/DRYAD.M905QFV4B .
LibreCat: https://research-explorer.ista.ac.at/record/13066
DOI: 10.5061/DRYAD.M905QFV4B

Zemlicka M, Redchenko E, Peruzzo M, Hassani F, Trioni A, Barzanjeh S, Fink JM. 2022. Compact vacuum gap transmon qubits: Selective and sensitive probes for superconductor surface losses, Zenodo,10.5281/ZENODO.8408897 .
LibreCat: https://research-explorer.ista.ac.at/record/14520
DOI: 10.5281/ZENODO.8408897

McCartney DL, Hillary RF, Conole EL, Trejo Banos D, Gadd DA, Walker RM, Nangle C, Flaig R, Campbell A, Murray AD, Munoz Maniega S, del C Valdes-Hernandez M, Harris MA, Bastin ME, Wardlaw JM, Harris SE, Porteous DJ, Tucker-Drob EM, McIntosh AM, Evans KL, Deary IJ, Cox SR, Robinson MR, Marioni RE. 2021. Blood-based epigenome-wide analyses of cognitive abilities, Zenodo,10.5281/ZENODO.5794028 .
LibreCat: https://research-explorer.ista.ac.at/record/13072
DOI: 10.5281/ZENODO.5794028

Randriamanantsoa S, Papargyriou A, Maurer C, Peschke K, Schuster M, Zecchin G, Steiger K, Öllinger R, Saur D, Scheel C, Rad R, Hannezo EB, Reichert M, Bausch AR. 2021. Spatiotemporal dynamics of self-organized branching in pancreas-derived organoids, Zenodo,10.5281/ZENODO.5148117 .
LibreCat: https://research-explorer.ista.ac.at/record/13068
DOI: 10.5281/ZENODO.5148117

Koch E, Morales HE, Larsson J, Westram AM, Faria R, Lemmon AR, Lemmon EM, Johannesson K, Butlin RK. 2021. Data from: Genetic variation for adaptive traits is associated with polymorphic inversions in Littorina saxatilis, Dryad,10.5061/DRYAD.ZGMSBCCB4 .
LibreCat: https://research-explorer.ista.ac.at/record/12987
DOI: 10.5061/DRYAD.ZGMSBCCB4

Puglia D, Martinez E, Menard G, Pöschl A, Gronin S, Gardner G, Kallaher R, Manfra M, Marcus C, Higginbotham AP, Casparis L. 2021. Data for ’Closing of the Induced Gap in a Hybrid Superconductor-Semiconductor Nanowire, Zenodo,10.5281/ZENODO.4592435 .
LibreCat: https://research-explorer.ista.ac.at/record/13080
DOI: 10.5281/ZENODO.4592435

Sperl G, Narain R, Wojtan C. 2021. Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data), IST Austria,10.15479/AT:ISTA:9327 .
LibreCat: https://research-explorer.ista.ac.at/record/9327
DOI: 10.15479/AT:ISTA:9327

Peruzzo M, Hassani F, Szep G, Trioni A, Redchenko E, Zemlicka M, Fink JM. 2021. Geometric superinductance qubits: Controlling phase delocalization across a single Josephson junction, Zenodo,10.5281/ZENODO.5592103 .
LibreCat: https://research-explorer.ista.ac.at/record/13057
DOI: 10.5281/ZENODO.5592103

Casillas Perez BE, Pull C, Naiser F, Naderlinger E, Matas J, Cremer S. 2021. Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies, Dryad,10.5061/DRYAD.7PVMCVDTJ .
LibreCat: https://research-explorer.ista.ac.at/record/13061
DOI: 10.5061/DRYAD.7PVMCVDTJ