Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




4962 Publications

2023 | Research Data Reference | IST-REx-ID: 14990 | OA
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: 14991 | OA
Hwong Y-L, Colin M, Aglas P, Muller CJ, Sherwood SC. 2023. Data-assessing memory in convection schemes using idealized tests, Zenodo, 10.5281/ZENODO.7757041.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Published | Book Chapter | IST-REx-ID: 14992 | OA
Lewin M, Lieb EH, Seiringer R. 2023.Universal Functionals in Density Functional Theory. In: Density Functional Theory. Mathematics and Molecular Modeling, , 115–182.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14993 | OA
Currin C, Asiedu MN, Fourie C, Rosman B, Turki H, Lambebo Tonja A, Abbott J, Ajala M, Adedayo SA, Emezue CC, Machangara D. 2023. A framework for grassroots research collaboration in machine learning and global health. 1st Workshop on Machine Learning & Global Health. ICLR: International Conference on Learning Representations.
[Published Version] View | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 14994 | OA
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: 14995 | OA
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 | Epub ahead of print | Conference Paper | IST-REx-ID: 15023 | OA
Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. 2023. Compositional policy learning in stochastic control systems with formal guarantees. 37th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2023 | Research Data Reference | IST-REx-ID: 15027 | OA
Curk S. 2023. aggregation_data, Figshare.
[Published Version] View | Files available | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 15035 | OA
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 | Submitted | Preprint | IST-REx-ID: 15039 | OA
Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. arXiv, 2311.06103.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Accepted | Conference Paper | IST-REx-ID: 13053 | OA
Peste E-A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware Minimizer. 11th International Conference on Learning Representations . ICLR: International Conference on Learning Representations.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2023 | Published | Thesis | PhD | IST-REx-ID: 13074 | OA
Peste E-A. 2023. Efficiency and generalization of sparse neural networks. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | PhD | IST-REx-ID: 13081
Bocanegra L. 2023. Epithelial dynamics during mouse neural tube development. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 13091 | OA
Browning TD, Sawin W. 2023. Free rational curves on low degree hypersurfaces and the circle method. Algebra and Number Theory. 17(3), 719–748.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 13092 | OA
Nan B, Song X, Chang C, Xiao K, Zhang Y, Yang L, Horta S, Li J, Lim KH, Ibáñez M, Cabot A. 2023. Bottom-up synthesis of SnTe-based thermoelectric composites. ACS Applied Materials and Interfaces. 15(19), 23380–23389.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 13093 | OA
Nan B, Li M, Zhang Y, Xiao K, Lim KH, Chang C, Han X, Zuo Y, Li J, Arbiol J, Llorca J, Ibáñez M, Cabot A. 2023. Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature. ACS Applied Electronic Materials.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 13094 | OA
Azadbakht A, Meadowcroft B, Varkevisser T, Šarić A, Kraft DJ. 2023. Wrapping pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles. Nano Letters. 23(10), 4267–4273.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 13095 | OA
Troussicot L, Vallet A, Molin M, Burmann BM, Schanda P. 2023. Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR. Journal of the American Chemical Society. 145(19), 10700–10711.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 13096 | OA
Degen M, Santos JC, Pluhackova K, Cebrero G, Ramos S, Jankevicius G, Hartenian E, Guillerm U, Mari SA, Kohl B, Müller DJ, Schanda P, Maier T, Perez C, Sieben C, Broz P, Hiller S. 2023. Structural basis of NINJ1-mediated plasma membrane rupture in cell death. Nature. 618, 1065–1071.
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 13097 | OA
Wilson AC, Sweeney LB. 2023. Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. 17, 1146449.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed