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., et al. “Nitrate, Auxin and Cytokinin - a Trio to Tango.” Cells, vol. 12, no. 12, 1613, MDPI, 2023, doi:10.3390/cells12121613.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14434
He, Ren, et al. “A 3d‐4d‐5d High Entropy Alloy as a Bifunctional Oxygen Catalyst for Robust Aqueous Zinc–Air Batteries.” Advanced Materials, vol. 35, no. 46, 2303719, Wiley, 2023, doi:10.1002/adma.202303719.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13235
Liu, Yu, et al. “Surface Chemistry and Band Engineering in AgSbSe₂: Toward High Thermoelectric Performance.” ACS Nano, vol. 17, no. 12, American Chemical Society, 2023, pp. 11923–11934, doi:10.1021/acsnano.3c03541.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 12829
Montaña-Mora, Guillem, et al. “Phosphorous Incorporation into Palladium Tin Nanoparticles for the Electrocatalytic Formate Oxidation Reaction.” Journal of Electroanalytical Chemistry, vol. 936, 117369, Elsevier, 2023, doi:10.1016/j.jelechem.2023.117369.
View
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14404
Balazs, Daniel, and Maria Ibáñez. “Widening the Use of 3D Printing.” Science, vol. 381, no. 6665, AAAS, 2023, pp. 1413–14, doi:10.1126/science.adk3070.
View
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 12543 |
Stock, Miriam, et al. “Pathogen Evasion of Social Immunity.” Nature Ecology and Evolution, vol. 7, Springer Nature, 2023, pp. 450–60, 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, Barbara E., et al. “Dynamic Pathogen Detection and Social Feedback Shape Collective Hygiene in Ants.” Nature Communications, vol. 14, 3232, Springer Nature, 2023, 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, Sylvia. Data from: “Dynamic Pathogen Detection and Social Feedback Shape Collective Hygiene in Ants” . Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:12945.
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14314 |
Nardin, Michele, et al. “Theta Oscillations as a Substrate for Medial Prefrontal-Hippocampal Assembly Interactions.” Cell Reports, vol. 42, no. 9, 113015, Elsevier, 2023, 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, Krishnendu, et al. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.” Tools and Algorithms for the Construction and Analysis of Systems , vol. 13993, Springer Nature, 2023, pp. 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, Krishnendu, et al. “On Lexicographic Proof Rules for Probabilistic Termination.” Formal Aspects of Computing, vol. 35, no. 2, 11, Association for Computing Machinery, 2023, doi:10.1145/3585391.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14242 |
Lechner, Mathias, et al. “Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks.” Proceedings of the 37th AAAI Conference on Artificial Intelligence, vol. 37, no. 12, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–73, doi:10.1609/aaai.v37i12.26747.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14559 |
Ansaripour, Matin, et al. “Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.” 21st International Symposium on Automated Technology for Verification and Analysis, vol. 14215, Springer Nature, 2023, pp. 357–79, doi:10.1007/978-3-031-45329-8_17.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13229 |
Shamipour, Shayan, et al. “Yolk Granule Fusion and Microtubule Aster Formation Regulate Cortical Granule Translocation and Exocytosis in Zebrafish Oocytes.” PLoS Biology, vol. 21, no. 6, Public Library of Science, 2023, p. e3002146, doi:10.1371/journal.pbio.3002146.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 13053 |
Krumes, Alexandra, et al. “CrAM: A Compression-Aware Minimizer.” 11th International Conference on Learning Representations , OpenReview, 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14518 |
Avni, Guy, et al. “Reachability Poorman Discrete-Bidding Games.” Frontiers in Artificial Intelligence and Applications, vol. 372, IOS Press, 2023, pp. 141–48, doi:10.3233/FAIA230264.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14317 |
Akshay, S., et al. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.” International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 86–112, doi:10.1007/978-3-031-37709-9_5.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14243 |
Avni, Guy, et al. “Bidding Graph Games with Partially-Observable Budgets.” Proceedings of the 37th AAAI Conference on Artificial Intelligence, vol. 37, no. 5, 2023, pp. 5464–71, doi:10.1609/aaai.v37i5.25679.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14425 |
Zeng, Zezhu, et al. “Mechanistic Insight on Water Dissociation on Pristine Low-Index TiO2 Surfaces from Machine Learning Molecular Dynamics Simulations.” Nature Communications, vol. 14, 6131, Springer Nature, 2023, doi: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š, Nikola, et al. “Phenotype Control of Partially Specified Boolean Networks.” 21st International Conference on Computational Methods in Systems Biology, vol. 14137, Springer Nature, 2023, pp. 18–35, doi:10.1007/978-3-031-42697-1_2.
[Submitted Version]
View
| Files available
| DOI