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.
7151 Publications
2023 | Published | Conference Paper | IST-REx-ID: 14460 | 
Nikdan M, Pegolotti T, Iofinova EB, Kurtic E, Alistarh D-A. SparseProp: Efficient sparse backpropagation for faster training of neural networks at the edge. In: Proceedings of the 40th International Conference on Machine Learning. Vol 202. ML Research Press; 2023:26215-26227.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 17378 |
Frantar E, Ashkboos S, Hoefler T, Alistarh D-A. OPTQ: Accurate post-training quantization for generative pre-trained transformers. In: 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 E, Alistarh D-A. SparseGPT: Massive language models can be accurately pruned in one-shot. In: Proceedings of the 40th International Conference on Machine Learning. Vol 202. ML Research Press; 2023:10323-10337.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12566 |
Alistarh D-A, Ellen F, Rybicki J. Wait-free approximate agreement on graphs. Theoretical Computer Science. 2023;948(2). doi:10.1016/j.tcs.2023.113733
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 12696 |
Metzler S, Kirchner J, Grasse AV, Cremer S. Trade-offs between immunity and competitive ability in fighting ant males. BMC Ecology and Evolution. 2023;23. 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 S. Source data for Metzler et al, 2023: Trade-offs between immunity and competitive ability in fighting ant males . 2023. doi:10.15479/AT:ISTA:12693
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14318 |
Sun Y, Fu H, Chatterjee K, Goharshady AK. Automated tail bound analysis for probabilistic recurrence relations. In: Computer Aided Verification. Vol 13966. Springer Nature; 2023: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 G, Frederik Mallmann-Trenn FM-T, Saona Urmeneta RJ. Prophet inequalities: Separating random order from order selection. arXiv. doi:10.48550/arXiv.2304.04024
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12787 |
Svoboda J, Tkadlec J, Kaveh K, Chatterjee K. Coexistence times in the Moran process with environmental heterogeneity. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 2023;479(2271). doi:10.1098/rspa.2022.0685
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14657 |
Tkadlec J, Kaveh K, Chatterjee K, Nowak MA. Evolutionary dynamics of mutants that modify population structure. Journal of the Royal Society, Interface. 2023;20(208). doi:10.1098/rsif.2023.0355
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 12676 |
Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. Faster algorithm for turn-based stochastic games with bounded treewidth. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2023:4590-4605. doi:10.1137/1.9781611977554.ch173
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 15023 |
Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. Compositional policy learning in stochastic control systems with formal guarantees. In: 37th Conference on Neural Information Processing Systems. ; 2023.
[Published Version]
View
| Files available
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12861 |
Schmid L, Ekbatani F, Hilbe C, Chatterjee K. Quantitative assessment can stabilize indirect reciprocity under imperfect information. Nature Communications. 2023;14. 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, Riegler S, Benková E. Nitrate, auxin and cytokinin - a trio to tango. Cells. 2023;12(12). doi:10.3390/cells12121613
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 12543 |
Stock M, Milutinovic B, Hönigsberger M, et al. Pathogen evasion of social immunity. Nature Ecology and Evolution. 2023;7:450-460. 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 BE, Bodova K, Grasse AV, Tkačik G, Cremer S. Dynamic pathogen detection and social feedback shape collective hygiene in ants. Nature Communications. 2023;14. doi:10.1038/s41467-023-38947-y
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Research Data | IST-REx-ID: 12945 |
Cremer S. Data from: “Dynamic pathogen detection and social feedback shape collective hygiene in ants” . 2023. doi:10.15479/AT:ISTA:12945
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14314 |
Nardin M, Käfer K, Stella F, Csicsvari JL. Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions. Cell Reports. 2023;42(9). doi:10.1016/j.celrep.2023.113015
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 13142 |
Chatterjee K, Henzinger TA, Lechner M, Zikelic D. A learner-verifier framework for neural network controllers and certificates of stochastic systems. In: Tools and Algorithms for the Construction and Analysis of Systems . Vol 13993. Springer Nature; 2023:3-25. doi:10.1007/978-3-031-30823-9_1
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14778 |
Chatterjee K, Kafshdar Goharshady E, Novotný P, Zárevúcky J, Zikelic D. On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. 2023;35(2). doi:10.1145/3585391
[Published Version]
View
| Files available
| DOI
| arXiv