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 | 
SparseProp: Efficient sparse backpropagation for faster training of neural networks at the edge
M. Nikdan, T. Pegolotti, E.B. Iofinova, E. Kurtic, D.-A. Alistarh, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 26215–26227.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
M. Nikdan, T. Pegolotti, E.B. Iofinova, E. Kurtic, D.-A. Alistarh, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 26215–26227.
2023 | Published | Conference Paper | IST-REx-ID: 17378 |
OPTQ: Accurate post-training quantization for generative pre-trained transformers
E. Frantar, S. Ashkboos, T. Hoefler, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , International Conference on Learning Representations, 2023.
[Published Version]
View
| Files available
E. Frantar, S. Ashkboos, T. Hoefler, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , International Conference on Learning Representations, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 14458 |
SparseGPT: Massive language models can be accurately pruned in one-shot
E. Frantar, D.-A. Alistarh, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 10323–10337.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
E. Frantar, D.-A. Alistarh, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 10323–10337.
2023 | Published | Journal Article | IST-REx-ID: 12566 |
Wait-free approximate agreement on graphs
D.-A. Alistarh, F. Ellen, J. Rybicki, Theoretical Computer Science 948 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
D.-A. Alistarh, F. Ellen, J. Rybicki, Theoretical Computer Science 948 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12696 |
Trade-offs between immunity and competitive ability in fighting ant males
S. Metzler, J. Kirchner, A.V. Grasse, S. Cremer, BMC Ecology and Evolution 23 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Metzler, J. Kirchner, A.V. Grasse, S. Cremer, BMC Ecology and Evolution 23 (2023).
2023 | Research Data | IST-REx-ID: 12693 |
Source data for Metzler et al, 2023: Trade-offs between immunity and competitive ability in fighting ant males
S. Cremer, (2023).
[Published Version]
View
| Files available
| DOI
S. Cremer, (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14318 |
Automated tail bound analysis for probabilistic recurrence relations
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.
[Published Version]
View
| Files available
| DOI
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.
2023 | Submitted | Preprint | IST-REx-ID: 17100 |
Prophet inequalities: Separating random order from order selection
G. Giambartolomei, F.M.-T. Frederik Mallmann-Trenn, R.J. Saona Urmeneta, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Giambartolomei, F.M.-T. Frederik Mallmann-Trenn, R.J. Saona Urmeneta, ArXiv (n.d.).
2023 | Published | Journal Article | IST-REx-ID: 12787 |
Coexistence times in the Moran process with environmental heterogeneity
J. Svoboda, J. Tkadlec, K. Kaveh, K. Chatterjee, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 479 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
J. Svoboda, J. Tkadlec, K. Kaveh, K. Chatterjee, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 479 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14657 |
Evolutionary dynamics of mutants that modify population structure
J. Tkadlec, K. Kaveh, K. Chatterjee, M.A. Nowak, Journal of the Royal Society, Interface 20 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J. Tkadlec, K. Kaveh, K. Chatterjee, M.A. Nowak, Journal of the Royal Society, Interface 20 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 12676 |
Faster algorithm for turn-based stochastic games with bounded treewidth
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.
[Published Version]
View
| DOI
| Download Published Version (ext.)
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.
2023 | Published | Conference Paper | IST-REx-ID: 15023 |
Compositional policy learning in stochastic control systems with formal guarantees
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
[Published Version]
View
| Files available
| arXiv
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
2023 | Published | Journal Article | IST-REx-ID: 12861 |
Quantitative assessment can stabilize indirect reciprocity under imperfect information
L. Schmid, F. Ekbatani, C. Hilbe, K. Chatterjee, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L. Schmid, F. Ekbatani, C. Hilbe, K. Chatterjee, Nature Communications 14 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13214 |
Nitrate, auxin and cytokinin - a trio to tango
R. Abualia, S. Riegler, E. Benková, Cells 12 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R. Abualia, S. Riegler, E. Benková, Cells 12 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12543 |
Pathogen evasion of social immunity
M. Stock, B. Milutinovic, M. Hönigsberger, A.V. Grasse, F. Wiesenhofer, N. Kampleitner, M. Narasimhan, T. Schmitt, S. Cremer, Nature Ecology and Evolution 7 (2023) 450–460.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Stock, B. Milutinovic, M. Hönigsberger, A.V. Grasse, F. Wiesenhofer, N. Kampleitner, M. Narasimhan, T. Schmitt, S. Cremer, Nature Ecology and Evolution 7 (2023) 450–460.
2023 | Published | Journal Article | IST-REx-ID: 13127 |
Dynamic pathogen detection and social feedback shape collective hygiene in ants
B.E. Casillas Perez, K. Bodova, A.V. Grasse, G. Tkačik, S. Cremer, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B.E. Casillas Perez, K. Bodova, A.V. Grasse, G. Tkačik, S. Cremer, Nature Communications 14 (2023).
2023 | Research Data | IST-REx-ID: 12945 |
Data from: "Dynamic pathogen detection and social feedback shape collective hygiene in ants"
S. Cremer, (2023).
View
| Files available
| DOI
S. Cremer, (2023).
2023 | Published | Journal Article | IST-REx-ID: 14314 |
Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions
M. Nardin, K. Käfer, F. Stella, J.L. Csicsvari, Cell Reports 42 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M. Nardin, K. Käfer, F. Stella, J.L. Csicsvari, Cell Reports 42 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 13142 |
A learner-verifier framework for neural network controllers and certificates of stochastic systems
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
2023 | Published | Journal Article | IST-REx-ID: 14778 |
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).