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.
5779 Publications
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: 14404
Balazs, D., & Ibáñez, M. (2023). Widening the use of 3D printing. Science. AAAS. https://doi.org/10.1126/science.adk3070
View
| DOI
| PubMed | Europe PMC
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 | Journal Article | IST-REx-ID: 14314 |
Nardin, M., Käfer, K., Stella, F., & Csicsvari, J. L. (2023). Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions. Cell Reports. Elsevier. https://doi.org/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, T. A., Lechner, M., & Zikelic, D. (2023). 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, pp. 3–25). Paris, France: Springer Nature. https://doi.org/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. (2023). On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. Association for Computing Machinery. https://doi.org/10.1145/3585391
[Published Version]
View
| Files available
| DOI
| arXiv
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 | Conference Paper | IST-REx-ID: 14559 |
Ansaripour, M., Chatterjee, K., Henzinger, T. A., Lechner, M., & Zikelic, D. (2023). Learning provably stabilizing neural controllers for discrete-time stochastic systems. In 21st International Symposium on Automated Technology for Verification and Analysis (Vol. 14215, pp. 357–379). Singapore, Singapore: Springer Nature. https://doi.org/10.1007/978-3-031-45329-8_17
[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: 14317 |
Akshay, S., Chatterjee, K., Meggendorfer, T., & Zikelic, D. (2023). MDPs as distribution transformers: Affine invariant synthesis for safety objectives. In International Conference on Computer Aided Verification (Vol. 13966, pp. 86–112). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_5
[Published Version]
View
| Files available
| DOI
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 | Conference Paper | IST-REx-ID: 14411 |
Beneš, N., Brim, L., Pastva, S., Šafránek, D., & Šmijáková, E. (2023). Phenotype control of partially specified boolean networks. In 21st International Conference on Computational Methods in Systems Biology (Vol. 14137, pp. 18–35). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-42697-1_2
[Submitted Version]
View
| Files available
| DOI