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.
6952 Publications
2023 | Conference Paper | IST-REx-ID: 14454 | 
Henzinger, T. A., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness under partial observations. In 23rd International Conference on Runtime Verification (Vol. 14245, pp. 291–311). Thessaloniki, Greece: Springer Nature. https://doi.org/10.1007/978-3-031-44267-4_15
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14446 |
Jakubík, J., Phuong, M., Chvosteková, M., & Krakovská, A. (2023). Against the flow of time with multi-output models. Measurement Science Review. Sciendo. https://doi.org/10.2478/msr-2023-0023
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14443
Schumann G, Andreassen OA, Banaschewski T, Calhoun VD, Clinton N, Desrivieres S, Brandlistuen RE, Feng J, Hese S, Hitchen E, Hoffmann P, Jia T, Jirsa V, Marquand AF, Nees F, Nöthen MM, Novarino G, Polemiti E, Ralser M, Rapp M, Schepanski K, Schikowski T, Slater M, Sommer P, Stahl BC, Thompson PM, Twardziok S, Van Der Meer D, Walter H, Westlye L. 2023. Addressing global environmental challenges to mental health using population neuroscience: A review. JAMA Psychiatry. 80(10), 1066–1074.
View
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14441 |
Brooks, M., & Seiringer, R. (2023). The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-023-04841-3
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14448 |
Kolmogorov, V. (2023). Solving relaxations of MAP-MRF problems: Combinatorial in-face Frank-Wolfe directions. In Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition (Vol. 2023, pp. 11980–11989). Vancouver, Canada: IEEE. https://doi.org/10.1109/CVPR52729.2023.01153
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13178 |
Mitrouskas, D. J., Mysliwy, K., & Seiringer, R. (2023). Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron. Forum of Mathematics. Cambridge University Press. https://doi.org/10.1017/fms.2023.45
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14484 |
Kicheva, A., & Briscoe, J. (2023). Control of tissue development by morphogens. Annual Review of Cell and Developmental Biology. Annual Reviews. https://doi.org/10.1146/annurev-cellbio-020823-011522
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14488 |
Rao, P., Mallikarjun, B. R., Fox, G., Weyrich, T., Bickel, B., Pfister, H., … Elgharib, M. (2023). A deeper analysis of volumetric relightiable faces. International Journal of Computer Vision. Springer Nature. https://doi.org/10.1007/s11263-023-01899-3
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 14486 |
Koutentakis, G., Ghazaryan, A., & Lemeshko, M. (2023). Rotor lattice model of ferroelectric large polarons. Physical Review Research. American Physical Society. https://doi.org/10.1103/PhysRevResearch.5.043016
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14313 |
Fiedler, L., & Friml, J. (2023). Rapid auxin signaling: Unknowns old and new. Current Opinion in Plant Biology. Elsevier. https://doi.org/10.1016/j.pbi.2023.102443
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14513 |
Mistakidis, S. I., Volosniev, A., Barfknecht, R. E., Fogarty, T., Busch, T., Foerster, A., … Zinner, N. T. (2023). Few-body Bose gases in low dimensions - A laboratory for quantum dynamics. Physics Reports. Elsevier. https://doi.org/10.1016/j.physrep.2023.10.004
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14517 |
Zemlicka, M., Redchenko, E., Peruzzo, M., Hassani, F., Trioni, A., Barzanjeh, S., & Fink, J. M. (2023). Compact vacuum-gap transmon qubits: Selective and sensitive probes for superconductor surface losses. Physical Review Applied. American Physical Society. https://doi.org/10.1103/PhysRevApplied.20.044054
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14515 |
Reinhardt, M., Tkačik, G., & Ten Wolde, P. R. (2023). Path weight sampling: Exact Monte Carlo computation of the mutual information between stochastic trajectories. Physical Review X. American Physical Society. https://doi.org/10.1103/PhysRevX.13.041017
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14514 |
Binysh, J., Chakraborty, I., Chubynsky, M. V., Diaz Melian, V. L., Waitukaitis, S. R., Sprittles, J. E., & Souslov, A. (2023). Modeling Leidenfrost levitation of soft elastic solids. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.131.168201
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14523 |
Binysh, J., Chakraborty, I., Chubynsky, M., Diaz Melian, V. L., Waitukaitis, S. R., Sprittles, J., & Souslov, A. (2023). SouslovLab/PRL2023-ModellingLeidenfrostLevitationofSoftElasticSolids: v1.0.1. Zenodo. https://doi.org/10.5281/ZENODO.8329143
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | 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 | Journal Article | IST-REx-ID: 12911 |
Feliciangeli, D., Gerolin, A., & Portinale, L. (2023). A non-commutative entropic optimal transport approach to quantum composite systems at positive temperature. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2023.109963
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | 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
View
| DOI
2023 | Journal Article | IST-REx-ID: 14556 |
Berdan, E. L., Barton, N. H., Butlin, R., Charlesworth, B., Faria, R., Fragata, I., … Flatt, T. (2023). How chromosomal inversions reorient the evolutionary process. Journal of Evolutionary Biology. Wiley. https://doi.org/10.1111/jeb.14242
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 14555 |
Riedl, M., & Sixt, M. K. (2023). The excitable nature of polymerizing actin and the Belousov-Zhabotinsky reaction. Frontiers in Cell and Developmental Biology. Frontiers. https://doi.org/10.3389/fcell.2023.1287420
[Published Version]
View
| Files available
| DOI