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.
4204 Publications
2023 | Conference Paper | IST-REx-ID: 14454 | 
T. A. Henzinger, K. Kueffner, and K. Mallik, “Monitoring algorithmic fairness under partial observations,” in 23rd International Conference on Runtime Verification, Thessaloniki, Greece, 2023, vol. 14245, pp. 291–311.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14446 |
J. Jakubík, M. Phuong, M. Chvosteková, and A. Krakovská, “Against the flow of time with multi-output models,” Measurement Science Review, vol. 23, no. 4. Sciendo, pp. 175–183, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14441 |
M. Brooks and R. Seiringer, “The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy,” Communications in Mathematical Physics, vol. 404. Springer Nature, pp. 287–337, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14448 |
V. Kolmogorov, “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, Vancouver, Canada, 2023, vol. 2023, pp. 11980–11989.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12672 |
D. B. Lyons et al., “Extensive de novo activity stabilizes epigenetic inheritance of CG methylation in Arabidopsis transposons,” Cell Reports, vol. 42, no. 3. Elsevier, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13178 |
D. J. Mitrouskas, K. Mysliwy, and R. Seiringer, “Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron,” Forum of Mathematics, vol. 11. Cambridge University Press, pp. 1–52, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14484 |
A. Kicheva and J. Briscoe, “Control of tissue development by morphogens,” Annual Review of Cell and Developmental Biology, vol. 39. Annual Reviews, pp. 91–121, 2023.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14488 |
P. Rao et al., “A deeper analysis of volumetric relightiable faces,” International Journal of Computer Vision. Springer Nature, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 14487 |
P. Buri et al., “Land surface modeling in the Himalayas: On the importance of evaporative fluxes for the water balance of a high-elevation catchment,” Water Resources Research, vol. 59, no. 10. Wiley, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14485 |
V. Aksenov, M. Anoprenko, A. Fedorov, and M. Spear, “Brief announcement: BatchBoost: Universal batching for concurrent data structures,” in 37th International Symposium on Distributed Computing, L’Aquila, Italy, 2023, vol. 281.
[Published Version]
View
| Files available
| DOI