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.
6997 Publications
2022 |Published| Journal Article | IST-REx-ID: 10284 | 
B. E. Casillas Perez, C. Pull, F. Naiser, E. Naderlinger, J. Matas, and S. Cremer, “Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies,” Ecology Letters, vol. 25, no. 1. Wiley, pp. 89–100, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 11593 |
R. Fulek and J. Kynčl, “The Z2-Genus of Kuratowski minors,” Discrete and Computational Geometry, vol. 68. Springer Nature, pp. 425–447, 2022.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 12122 |
A.-K. Weier et al., “Multiple centrosomes enhance migration and immune cell effector functions of mature dendritic cells,” Journal of Cell Biology, vol. 221, no. 12. Rockefeller University Press, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Thesis | IST-REx-ID: 11362 |
M. Lechner, “Learning verifiable representations,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 11469 |
P. Brighi, A. Michailidis, K. Kirova, D. A. Abanin, and M. Serbyn, “Localization of a mobile impurity interacting with an Anderson insulator,” Physical Review B, vol. 105, no. 22. American Physical Society, 2022.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 9311 |
K. Chatterjee, R. J. Saona Urmeneta, and B. Ziliotto, “Finite-memory strategies in POMDPs with long-run average objectives,” Mathematics of Operations Research, vol. 47, no. 1. Institute for Operations Research and the Management Sciences, pp. 100–119, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12167 |
G. Avarikioti, K. Z. Pietrzak, I. Salem, S. Schmid, S. Tiwari, and M. X. Yeo, “Hide & Seek: Privacy-preserving rebalancing on payment channel networks,” in Financial Cryptography and Data Security, Grenada, 2022, vol. 13411, pp. 358–373.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12176 |
C. Hoffmann, P. Hubáček, C. Kamath, K. Klein, and K. Z. Pietrzak, “Practical statistically-sound proofs of exponentiation in any group,” in Advances in Cryptology – CRYPTO 2022, Santa Barbara, CA, United States, 2022, vol. 13508, pp. 370–399.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2022 |Published| Conference Paper | IST-REx-ID: 12175 |
S. Bose, T. A. Henzinger, K. Lehtinen, S. Schewe, and P. Totzke, “History-deterministic timed automata are not determinizable,” in 16th International Conference on Reachability Problems, Kaiserslautern, Germany, 2022, vol. 13608, pp. 67–76.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 |Published| Journal Article | IST-REx-ID: 12246 |
M. Lewin, E. H. Lieb, and R. Seiringer, “Improved Lieb–Oxford bound on the indirect and exchange energies,” Letters in Mathematical Physics, vol. 112, no. 5. Springer Nature, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |Published| Thesis | IST-REx-ID: 11473 |
K. Mysliwy, “Polarons in Bose gases and polar crystals: Some rigorous energy estimates,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 10564 |
K. Mysliwy and R. Seiringer, “Polaron models with regular interactions at strong coupling,” Journal of Statistical Physics, vol. 186, no. 1. Springer Nature, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11402 |
K. Chatterjee and L. Doyen, “Graph planning with expected finite horizon,” Journal of Computer and System Sciences, vol. 129. Elsevier, pp. 1–21, 2022.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |Submitted| Preprint | IST-REx-ID: 12750 |
P. Brighi, M. Ljubotina, and M. Serbyn, “Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 11185 |
A. M. Arroyo Guevara and S. Felsner, “Approximating the bundled crossing number,” in WALCOM 2022: Algorithms and Computation, Jember, Indonesia, 2022, vol. 13174, pp. 383–395.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12775 |
K. Grover, J. Kretinsky, T. Meggendorfer, and M. Weininger, “Anytime guarantees for reachability in uncountable Markov decision processes,” in 33rd International Conference on Concurrency Theory , Warsaw, Poland, 2022, vol. 243.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 12510 |
S. A. Gruenbacher et al., “GoTube: Scalable statistical verification of continuous-depth models,” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 6. Association for the Advancement of Artificial Intelligence, pp. 6755–6764, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 10802 |
N. H. Konstantinov and C. Lampert, “Fairness-aware PAC learning from corrupted data,” Journal of Machine Learning Research, vol. 23. ML Research Press, pp. 1–60, 2022.
[Published Version]
View
| Files available
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 13241 |
N. H. Konstantinov and C. Lampert, “On the impossibility of fairness-aware learning from corrupted data,” in Proceedings of Machine Learning Research, 2022, vol. 171, pp. 59–83.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 10566 |
M. Li et al., “Room temperature aqueous-based synthesis of copper-doped lead sulfide nanoparticles for thermoelectric application,” Chemical Engineering Journal, vol. 433. Elsevier, 2022.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS