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.
5292 Publications
2023 | Conference Paper | IST-REx-ID: 13228 | 
Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Runtime monitoring of dynamic fairness properties. In FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency (pp. 604–614). Chicago, IL, United States: Association for Computing Machinery. https://doi.org/10.1145/3593013.3594028
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13225 |
Benedikter, N. P., Porta, M., Schlein, B., & Seiringer, R. (2023). Correlation energy of a weakly interacting Fermi gas with large interaction potential. Archive for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-023-01893-6
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13226 |
Bossmann, L., & Petrat, S. P. (2023). Weak Edgeworth expansion for the mean-field Bose gas. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-023-01698-4
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 13227 |
Hassani, F., Peruzzo, M., Kapoor, L., Trioni, A., Zemlicka, M., & Fink, J. M. (2023). Inductively shunted transmons exhibit noise insensitive plasmon states and a fluxon decay exceeding 3 hours. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-39656-2
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 13221 |
Boker, U., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (n.d.). Safety and liveness of quantitative automata. In 34th International Conference on Concurrency Theory. Antwerp, Belgium.
View
| Files available
| arXiv
2023 | Conference Abstract | IST-REx-ID: 13162 |
Elefante, S., Stadlbauer, S., Alexander, M. F., & Schlögl, A. (n.d.). Cryo-EM software packages: A sys-admins point of view. In ASHPC23 - Austrian-Slovenian HPC Meeting 2023 (pp. 42–42). Maribor, Slovenia: EuroCC.
View
| Files available
2023 | Conference Abstract | IST-REx-ID: 13161 |
Schlögl, A., Elefante, S., & Hodirnau, V.-V. (n.d.). Running Windows-applications on a Linux HPC cluster using WINE. In ASHPC23 - Austrian-Slovenian HPC Meeting 2023 (pp. 59–59). Maribor, Slovenia: EuroCC.
View
| Files available
2023 | Journal Article | IST-REx-ID: 13251 |
Wei, Y., Volosniev, A., Lorenc, D., Zhumekenov, A. A., Bakr, O. M., Lemeshko, M., & Alpichshev, Z. (2023). Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites. The Journal of Physical Chemistry Letters. American Chemical Society. https://doi.org/10.1021/acs.jpclett.3c01158
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13271 |
Zhang, H. (2023). Some convexity and monotonicity results of trace functionals. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-023-01345-7
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | 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
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13265 |
Zhong, F., Xu, Y., Zhao, H., & Lu, L. (2023). As-Continuous-As-Possible extrusion-based fabrication of surface models. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3575859
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13269 |
Polyanskii, N., & Zhang, Y. (2023). Codes for the Z-channel. IEEE Transactions on Information Theory. Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/TIT.2023.3292219
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13315 |
Barbier, J., Camilli, F., Mondelli, M., & Sáenz, M. (2023). Fundamental limits in structured principal component analysis and how to reach them. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Science. https://doi.org/10.1073/pnas.2302028120
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13316 |
Toshima, J. Y., Tsukahara, A., Nagano, M., Tojima, T., Siekhaus, D. E., Nakano, A., & Toshima, J. (2023). The yeast endocytic early/sorting compartment exists as an independent sub-compartment within the trans-Golgi network. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.84850
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13317 |
Sugimoto, S., Henheik, S. J., Riabov, V., & Erdös, L. (2023). Eigenstate thermalisation hypothesis for translation invariant spin systems. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-023-03132-4
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 13321 |
Xu, Y., Hou, T. Q., Liang, S. S., & Mondelli, M. (2023). Approximate message passing for multi-layer estimation in rotationally invariant models. In 2023 IEEE Information Theory Workshop (pp. 294–298). Saint-Malo, France: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ITW55543.2023.10160238
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13318 |
Volberg, A., & Zhang, H. (2023). Noncommutative Bohnenblust–Hille inequalities. Mathematische Annalen. Springer Nature. https://doi.org/10.1007/s00208-023-02680-0
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 13292 |
Henzinger, T. A., Kebis, P., Mazzocchi, N. A., & Sarac, N. E. (2023). Regular methods for operator precedence languages. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261, p. 129:1--129:20). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2023.129
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13277 |
Tucci, G., De Nicola, S., Wald, S., & Gambassi, A. (2023). Stochastic representation of the quantum quartic oscillator. SciPost Physics Core. SciPost Foundation. https://doi.org/10.21468/scipostphyscore.6.2.029
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13276 |
Rammelmüller, L., Huber, D., & Volosniev, A. (2023). A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D. SciPost Physics Codebases. SciPost Foundation. https://doi.org/10.21468/scipostphyscodeb.12
View
| Files available
| DOI
| arXiv