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.
6978 Publications
2022 |Published| Conference Paper | IST-REx-ID: 12175 | 
Bose, Sougata, Thomas A Henzinger, Karoliina Lehtinen, Sven Schewe, and Patrick Totzke. “History-Deterministic Timed Automata Are Not Determinizable.” In 16th International Conference on Reachability Problems, 13608:67–76. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-19135-0_5.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 |Published| Journal Article | IST-REx-ID: 12246 |
Lewin, Mathieu, Elliott H. Lieb, and Robert Seiringer. “Improved Lieb–Oxford Bound on the Indirect and Exchange Energies.” Letters in Mathematical Physics. Springer Nature, 2022. https://doi.org/10.1007/s11005-022-01584-5.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |Published| Thesis | IST-REx-ID: 11473 |
Mysliwy, Krzysztof. “Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11473.
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 10564 |
Mysliwy, Krzysztof, and Robert Seiringer. “Polaron Models with Regular Interactions at Strong Coupling.” Journal of Statistical Physics. Springer Nature, 2022. https://doi.org/10.1007/s10955-021-02851-w.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11402 |
Chatterjee, Krishnendu, and Laurent Doyen. “Graph Planning with Expected Finite Horizon.” Journal of Computer and System Sciences. Elsevier, 2022. https://doi.org/10.1016/j.jcss.2022.04.003.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |Submitted| Preprint | IST-REx-ID: 12750 |
Brighi, Pietro, Marko Ljubotina, and Maksym Serbyn. “Hilbert Space Fragmentation and Slow Dynamics in Particle-Conserving Quantum East Models.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2210.15607.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 11185 |
Arroyo Guevara, Alan M, and Stefan Felsner. “Approximating the Bundled Crossing Number.” In WALCOM 2022: Algorithms and Computation, 13174:383–95. LNCS. Springer Nature, 2022. https://doi.org/10.1007/978-3-030-96731-4_31.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12775 |
Grover, Kush, Jan Kretinsky, Tobias Meggendorfer, and Maimilian Weininger. “Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.” In 33rd International Conference on Concurrency Theory , Vol. 243. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. https://doi.org/10.4230/LIPIcs.CONCUR.2022.11.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 12510 |
Gruenbacher, Sophie A., Mathias Lechner, Ramin Hasani, Daniela Rus, Thomas A Henzinger, Scott A. Smolka, and Radu Grosu. “GoTube: Scalable Statistical Verification of Continuous-Depth Models.” Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2022. https://doi.org/10.1609/aaai.v36i6.20631.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 10802 |
Konstantinov, Nikola H, and Christoph Lampert. “Fairness-Aware PAC Learning from Corrupted Data.” Journal of Machine Learning Research. ML Research Press, 2022.
[Published Version]
View
| Files available
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 13241 |
Konstantinov, Nikola H, and Christoph Lampert. “On the Impossibility of Fairness-Aware Learning from Corrupted Data.” In Proceedings of Machine Learning Research, 171:59–83. ML Research Press, 2022.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 10566 |
Li, Mengyao, Yu Liu, Yu Zhang, Cheng Chang, Ting Zhang, Dawei Yang, Ke Xiao, Jordi Arbiol, Maria Ibáñez, and Andreu Cabot. “Room Temperature Aqueous-Based Synthesis of Copper-Doped Lead Sulfide Nanoparticles for Thermoelectric Application.” Chemical Engineering Journal. Elsevier, 2022. https://doi.org/10.1016/j.cej.2021.133837.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2022 |Published| Journal Article | IST-REx-ID: 14381
Wagner, Uli. “High-Dimensional Expanders (after Gromov, Kaufman, Kazhdan, Lubotzky, and Others).” Bulletin de La Societe Mathematique de France. Societe Mathematique de France, 2022. https://doi.org/10.24033/ast.1188.
View
| DOI
2022 |Published| Journal Article | IST-REx-ID: 12274 |
Azkanaz M, Corominas-Murtra B, Ellenbroek SIJ, Bruens L, Webb AT, Laskaris D, Oost KC, Lafirenze SJA, Annusver K, Messal HA, Iqbal S, Flanagan DJ, Huels DJ, Rojas-Rodríguez F, Vizoso M, Kasper M, Sansom OJ, Snippert HJ, Liberali P, Simons BD, Katajisto P, Hannezo EB, van Rheenen J. 2022. Retrograde movements determine effective stem cell numbers in the intestine. Nature. 607(7919), 548–554.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 12144 |
Qi, Linlin, Mateusz Kwiatkowski, Huihuang Chen, Lukas Hörmayer, Scott A Sinclair, Minxia Zou, Charo I. del Genio, et al. “Adenylate Cyclase Activity of TIR1/AFB Auxin Receptors in Plants.” Nature. Springer Nature, 2022. https://doi.org/10.1038/s41586-022-05369-7.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 12116 |
Chhugani, Karishma, Alina Frolova, Yuriy Salyha, Andrada Fiscutean, Oksana Zlenko, Sanita Reinsone, Walter W. Wolfsberger, et al. “Remote Opportunities for Scholars in Ukraine.” Science. American Association for the Advancement of Science, 2022. https://doi.org/10.1126/science.adg0797.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2022 |Published| Journal Article | IST-REx-ID: 12120
Xiao, Huixin, Yumei Hu, Yaping Wang, Jinkui Cheng, Jinyi Wang, Guojingwei Chen, Qian Li, et al. “Nitrate Availability Controls Translocation of the Transcription Factor NAC075 for Cell-Type-Specific Reprogramming of Root Growth.” Developmental Cell. Elsevier, 2022. https://doi.org/10.1016/j.devcel.2022.11.006.
View
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 12236
Wang, Xiang, Yong Zuo, Sharona Horta, Ren He, Linlin Yang, Ahmad Ostovari Moghaddam, Maria Ibáñez, Xueqiang Qi, and Andreu Cabot. “CoFeNiMnZnB as a High-Entropy Metal Boride to Boost the Oxygen Evolution Reaction.” ACS Applied Materials & Interfaces. American Chemical Society, 2022. https://doi.org/10.1021/acsami.2c11627.
View
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Thesis | IST-REx-ID: 10799 |
Konstantinov, Nikola H. “Robustness and Fairness in Machine Learning.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:10799.
[Published Version]
View
| Files available
| DOI
2022 |Submitted| Preprint | IST-REx-ID: 10792 |
Schaaf, Zachary, Lyvin Tat, Noemi Cannizzaro, Ralph Green, Thomas Rülicke, Simon Hippenmeyer, and K Zarbalis. “WDFY3 Cell Autonomously Controls Neuronal Migration.” Research Square, n.d. https://doi.org/10.21203/rs.3.rs-1316167/v1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC