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.
5995 Publications
2023 | Published | Conference Paper | IST-REx-ID: 12676 | 
Chatterjee, K., Meggendorfer, T., Saona Urmeneta, R. J., & Svoboda, J. (2023). Faster algorithm for turn-based stochastic games with bounded treewidth. In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 4590–4605). Florence, Italy: Society for Industrial and Applied Mathematics. https://doi.org/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, T. A. (2023). Compositional policy learning in stochastic control systems with formal guarantees. In 37th Conference on Neural Information Processing Systems. New Orleans, LO, United States.
[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. Springer Nature. https://doi.org/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. (2023). Nitrate, auxin and cytokinin - a trio to tango. Cells. MDPI. https://doi.org/10.3390/cells12121613
[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., … Cabot, A. (2023). A 3d‐4d‐5d high entropy alloy as a bifunctional oxygen catalyst for robust aqueous zinc–air batteries. Advanced Materials. Wiley. https://doi.org/10.1002/adma.202303719
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13235
Liu, Y., Li, M., Wan, S., Lim, K. H., Zhang, Y., Li, M., … Cabot, A. (2023). Surface chemistry and band engineering in AgSbSe₂: Toward high thermoelectric performance. ACS Nano. American Chemical Society. https://doi.org/10.1021/acsnano.3c03541
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, P. R., Yu, X., … Cabot, A. (2023). Phosphorous incorporation into palladium tin nanoparticles for the electrocatalytic formate oxidation reaction. Journal of Electroanalytical Chemistry. Elsevier. https://doi.org/10.1016/j.jelechem.2023.117369
View
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 12543 |
Stock, M., Milutinovic, B., Hönigsberger, M., Grasse, A. V., Wiesenhofer, F., Kampleitner, N., … Cremer, S. (2023). Pathogen evasion of social immunity. Nature Ecology and Evolution. Springer Nature. https://doi.org/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, B. E., Bodova, K., Grasse, A. V., Tkačik, G., & Cremer, S. (2023). Dynamic pathogen detection and social feedback shape collective hygiene in ants. Nature Communications. Springer Nature. https://doi.org/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. (2023). Data from: “Dynamic pathogen detection and social feedback shape collective hygiene in ants” . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12945
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14242 |
Lechner, M., Zikelic, D., Chatterjee, K., Henzinger, T. A., & Rus, D. (2023). Quantization-aware interval bound propagation for training certifiably robust quantized neural networks. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 14964–14973). Washington, DC, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v37i12.26747
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13229 |
Shamipour, S., Hofmann, L., Steccari, I., Kardos, R., & Heisenberg, C.-P. J. (2023). Yolk granule fusion and microtubule aster formation regulate cortical granule translocation and exocytosis in zebrafish oocytes. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.3002146
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 13053 |
Krumes, A., Vladu, A., Kurtic, E., Lampert, C., & Alistarh, D.-A. (2023). CrAM: A Compression-Aware Minimizer. In 11th International Conference on Learning Representations . Kigali, Rwanda : OpenReview.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14518 |
Avni, G., Meggendorfer, T., Sadhukhan, S., Tkadlec, J., & Zikelic, D. (2023). Reachability poorman discrete-bidding games. In Frontiers in Artificial Intelligence and Applications (Vol. 372, pp. 141–148). Krakow, Poland: IOS Press. https://doi.org/10.3233/FAIA230264
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14243 |
Avni, G., Jecker, I. R., & Zikelic, D. (2023). Bidding graph games with partially-observable budgets. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 5464–5471). Washington, DC, United States. https://doi.org/10.1609/aaai.v37i5.25679
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14425 |
Zeng, Z., Wodaczek, F., Liu, K., Stein, F., Hutter, J., Chen, J., & Cheng, B. (2023). Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-41865-8
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14239 |
Mauri, M., & Shinder, E. (2023). Homological Bondal-Orlov localization conjecture for rational singularities. Forum of Mathematics, Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2023.65
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14658 |
Becker, J. M., Koutentakis, G., & Schmelcher, P. (2023). Spin-charge correlations in finite one-dimensional multiband Fermi systems. Physical Review Research. American Physical Society. https://doi.org/10.1103/PhysRevResearch.5.043039
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12313 |
Verzobio, M. (2023). Some effectivity results for primitive divisors of elliptic divisibility sequences. Pacific Journal of Mathematics. Mathematical Sciences Publishers. https://doi.org/10.2140/pjm.2023.325.331
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13268 |
Huybrechts, D., & Mauri, M. (2023). On type II degenerations of hyperkähler manifolds. Mathematical Research Letters. International Press. https://doi.org/10.4310/mrl.2023.v30.n1.a6
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv