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.
10763 Publications
2023 | Published | Conference Paper | IST-REx-ID: 17378 | 
Frantar, Elias, et al. “OPTQ: Accurate Post-Training Quantization for Generative Pre-Trained Transformers.” 11th International Conference on Learning Representations , International Conference on Learning Representations, 2023.
[Published Version]
View
| Files available
2023 | Published | Conference Paper | IST-REx-ID: 14458 |
Frantar, Elias, and Dan-Adrian Alistarh. “SparseGPT: Massive Language Models Can Be Accurately Pruned in One-Shot.” Proceedings of the 40th International Conference on Machine Learning, vol. 202, ML Research Press, 2023, pp. 10323–37.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12566 |
Alistarh, Dan-Adrian, et al. “Wait-Free Approximate Agreement on Graphs.” Theoretical Computer Science, vol. 948, no. 2, 113733, Elsevier, 2023, doi:10.1016/j.tcs.2023.113733.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 12696 |
Metzler, Sina, et al. “Trade-Offs between Immunity and Competitive Ability in Fighting Ant Males.” BMC Ecology and Evolution, vol. 23, 37, Springer Nature, 2023, doi:10.1186/s12862-023-02137-7.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Research Data | IST-REx-ID: 12693 |
Cremer, Sylvia. Source Data for Metzler et Al, 2023: Trade-Offs between Immunity and Competitive Ability in Fighting Ant Males . Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:12693.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14318 |
Sun, Yican, et al. “Automated Tail Bound Analysis for Probabilistic Recurrence Relations.” Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 16–39, doi:10.1007/978-3-031-37709-9_2.
[Published Version]
View
| Files available
| DOI
2023 | Submitted | Preprint | IST-REx-ID: 17100 |
Giambartolomei, Giordano, et al. “Prophet Inequalities: Separating Random Order from Order Selection.” ArXiv, 2304.04024, doi:10.48550/arXiv.2304.04024.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12787 |
Svoboda, Jakub, et al. “Coexistence Times in the Moran Process with Environmental Heterogeneity.” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 479, no. 2271, 20220685, The Royal Society, 2023, doi:10.1098/rspa.2022.0685.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14657 |
Tkadlec, Josef, et al. “Evolutionary Dynamics of Mutants That Modify Population Structure.” Journal of the Royal Society, Interface, vol. 20, no. 208, 20230355, The Royal Society, 2023, doi:10.1098/rsif.2023.0355.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 14736
Bastankhah, Mahsa, et al. “R2: Boosting Liquidity in Payment Channel Networks with Online Admission Control.” 27th International Conference on Financial Cryptography and Data Security, vol. 13950, Springer Nature, 2023, pp. 309–25, doi:10.1007/978-3-031-47754-6_18.
View
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 12676 |
Chatterjee, Krishnendu, et al. “Faster Algorithm for Turn-Based Stochastic Games with Bounded Treewidth.” Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–605, doi:10.1137/1.9781611977554.ch173.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 15023 |
Zikelic, Dorde, et al. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” 37th Conference on Neural Information Processing Systems, 2023.
[Published Version]
View
| Files available
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12861 |
Schmid, Laura, et al. “Quantitative Assessment Can Stabilize Indirect Reciprocity under Imperfect Information.” Nature Communications, vol. 14, 2086, Springer Nature, 2023, doi:10.1038/s41467-023-37817-x.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13214 |
Abualia, R., et al. “Nitrate, Auxin and Cytokinin - a Trio to Tango.” Cells, vol. 12, no. 12, 1613, MDPI, 2023, doi:10.3390/cells12121613.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14434
He, Ren, et al. “A 3d‐4d‐5d High Entropy Alloy as a Bifunctional Oxygen Catalyst for Robust Aqueous Zinc–Air Batteries.” Advanced Materials, vol. 35, no. 46, 2303719, Wiley, 2023, doi:10.1002/adma.202303719.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13235
Liu, Yu, et al. “Surface Chemistry and Band Engineering in AgSbSe₂: Toward High Thermoelectric Performance.” ACS Nano, vol. 17, no. 12, American Chemical Society, 2023, pp. 11923–11934, doi:10.1021/acsnano.3c03541.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 12829
Montaña-Mora, Guillem, et al. “Phosphorous Incorporation into Palladium Tin Nanoparticles for the Electrocatalytic Formate Oxidation Reaction.” Journal of Electroanalytical Chemistry, vol. 936, 117369, Elsevier, 2023, doi:10.1016/j.jelechem.2023.117369.
View
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14404
Balazs, Daniel, and Maria Ibáñez. “Widening the Use of 3D Printing.” Science, vol. 381, no. 6665, AAAS, 2023, pp. 1413–14, doi:10.1126/science.adk3070.
View
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 12543 |
Stock, Miriam, et al. “Pathogen Evasion of Social Immunity.” Nature Ecology and Evolution, vol. 7, Springer Nature, 2023, pp. 450–60, doi:10.1038/s41559-023-01981-6.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13127 |
Casillas Perez, Barbara E., et al. “Dynamic Pathogen Detection and Social Feedback Shape Collective Hygiene in Ants.” Nature Communications, vol. 14, 3232, Springer Nature, 2023, doi:10.1038/s41467-023-38947-y.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC