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.
692 Publications
2023 | Published | Journal Article | IST-REx-ID: 12566 | 
Alistarh D-A, Ellen F, Rybicki J. 2023. Wait-free approximate agreement on graphs. Theoretical Computer Science. 948(2), 113733.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 12696 |
Metzler S, Kirchner J, Grasse AV, Cremer S. 2023. Trade-offs between immunity and competitive ability in fighting ant males. BMC Ecology and Evolution. 23, 37.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Research Data | IST-REx-ID: 12693 |
Cremer S. 2023. Source data for Metzler et al, 2023: Trade-offs between immunity and competitive ability in fighting ant males , Institute of Science and Technology Austria, 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. 2023. Automated tail bound analysis for probabilistic recurrence relations. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13966, 16–39.
[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, 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. 2023. Coexistence times in the Moran process with environmental heterogeneity. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 479(2271), 20220685.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14657 |
Tkadlec J, Kaveh K, Chatterjee K, Nowak MA. 2023. Evolutionary dynamics of mutants that modify population structure. Journal of the Royal Society, Interface. 20(208), 20230355.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 14736
Bastankhah M, Chatterjee K, Maddah-Ali MA, Schmid S, Svoboda J, Yeo MX. 2023. R2: Boosting liquidity in payment channel networks with online admission control. 27th International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13950, 309–325.
View
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 12676 |
Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. 2023. Faster algorithm for turn-based stochastic games with bounded treewidth. Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 4590–4605.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 14417 |
Baier, Christel, Entropic risk for turn-based stochastic games. 48th International Symposium on Mathematical Foundations of Computer Science 272. 2023
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 15023 |
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, NeurIPS, .
[Published Version]
View
| Files available
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12861 |
Schmid L, Ekbatani F, Hilbe C, Chatterjee K. 2023. Quantitative assessment can stabilize indirect reciprocity under imperfect information. Nature Communications. 14, 2086.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13214 |
Abualia R, Riegler S, Benková E. 2023. Nitrate, auxin and cytokinin - a trio to tango. Cells. 12(12), 1613.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14434
He R, Yang L, Zhang Y, Jiang D, Lee S, Horta S, Liang Z, Lu X, Ostovari Moghaddam A, Li J, Ibáñez M, Xu Y, Zhou Y, Cabot A. 2023. A 3d‐4d‐5d high entropy alloy as a bifunctional oxygen catalyst for robust aqueous zinc–air batteries. Advanced Materials. 35(46), 2303719.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 12832
He R, Yang L, Zhang Y, Wang X, Lee S, Zhang T, Li L, Liang Z, Chen J, Li J, Ostovari Moghaddam A, Llorca J, Ibáñez M, Arbiol J, Xu Y, Cabot A. 2023. A CrMnFeCoNi high entropy alloy boosting oxygen evolution/reduction reactions and zinc-air battery performance. Energy Storage Materials. 58(4), 287–298.
View
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13235
Liu Y, Li M, Wan S, Lim KH, Zhang Y, Li M, Li J, Ibáñez M, Hong M, Cabot A. 2023. Surface chemistry and band engineering in AgSbSe₂: Toward high thermoelectric performance. ACS Nano. 17(12), 11923–11934.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 12829
Montaña-Mora G, Qi X, Wang X, Chacón-Borrero J, Martinez-Alanis PR, Yu X, Li J, Xue Q, Arbiol J, Ibáñez M, Cabot A. 2023. Phosphorous incorporation into palladium tin nanoparticles for the electrocatalytic formate oxidation reaction. Journal of Electroanalytical Chemistry. 936, 117369.
View
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14404
Balazs D, Ibáñez M. 2023. Widening the use of 3D printing. Science. 381(6665), 1413–1414.
View
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 12543 |
Stock M, Milutinovic B, Hönigsberger M, Grasse AV, Wiesenhofer F, Kampleitner N, Narasimhan M, Schmitt T, Cremer S. 2023. Pathogen evasion of social immunity. Nature Ecology and Evolution. 7, 450–460.
[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. 2023. Dynamic pathogen detection and social feedback shape collective hygiene in ants. Nature Communications. 14, 3232.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC