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.
7110 Publications
2023 | Published | Journal Article | IST-REx-ID: 13164 | 
Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries
K.R.B. Gert, K. Panser, J. Surm, B.S. Steinmetz, A. Schleiffer, L. Jovine, Y. Moran, F. Kondrashov, A. Pauli, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
K.R.B. Gert, K. Panser, J. Surm, B.S. Steinmetz, A. Schleiffer, L. Jovine, Y. Moran, F. Kondrashov, A. Pauli, Nature Communications 14 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13168 |
Effects of urban living environments on mental health in adults
Xu J, Liu N, Polemiti E, Garcia-Mondragon L, Tang J, Liu X, Lett T, Yu L, Nöthen MM, Feng J, Yu C, Marquand A, Schumann G, Walter H, Heinz A, Ralser M, Twardziok S, Vaidya N, Serin E, Jentsch M, Hitchen E, Eils R, Taron UH, Schütz T, Schepanski K, Banks J, Banaschewski T, Jansone K, Christmann N, Meyer-Lindenberg A, Tost H, Holz N, Schwarz E, Stringaris A, Neidhart M, Nees F, Siehl S, A. Andreassen O, T. Westlye L, Van Der Meer D, Fernandez S, Kjelkenes R, Ask H, Rapp M, Tschorn M, Böttger SJ, Novarino G, Marr L, Slater M, Viapiana GF, Orosa FE, Gallego J, Pastor A, Forstner A, Hoffmann P, M. Nöthen M, J. Forstner A, Claus I, Miller A, Heilmann-Heimbach S, Sommer P, Boye M, Wilbertz J, Schmitt K, Jirsa V, Petkoski S, Pitel S, Otten L, Athanasiadis AP, Pearmund C, Spanlang B, Alvarez E, Sanchez M, Giner A, Hese S, Renner P, Jia T, Gong Y, Xia Y, Chang X, Calhoun V, Liu J, Thompson P, Clinton N, Desrivieres S, H. Young A, Stahl B, Ogoh G. 2023. Effects of urban living environments on mental health in adults. Nature Medicine. 29, 1456–1467.
[Published Version]
View
| Files available
| DOI
| WoS
Xu J, Liu N, Polemiti E, Garcia-Mondragon L, Tang J, Liu X, Lett T, Yu L, Nöthen MM, Feng J, Yu C, Marquand A, Schumann G, Walter H, Heinz A, Ralser M, Twardziok S, Vaidya N, Serin E, Jentsch M, Hitchen E, Eils R, Taron UH, Schütz T, Schepanski K, Banks J, Banaschewski T, Jansone K, Christmann N, Meyer-Lindenberg A, Tost H, Holz N, Schwarz E, Stringaris A, Neidhart M, Nees F, Siehl S, A. Andreassen O, T. Westlye L, Van Der Meer D, Fernandez S, Kjelkenes R, Ask H, Rapp M, Tschorn M, Böttger SJ, Novarino G, Marr L, Slater M, Viapiana GF, Orosa FE, Gallego J, Pastor A, Forstner A, Hoffmann P, M. Nöthen M, J. Forstner A, Claus I, Miller A, Heilmann-Heimbach S, Sommer P, Boye M, Wilbertz J, Schmitt K, Jirsa V, Petkoski S, Pitel S, Otten L, Athanasiadis AP, Pearmund C, Spanlang B, Alvarez E, Sanchez M, Giner A, Hese S, Renner P, Jia T, Gong Y, Xia Y, Chang X, Calhoun V, Liu J, Thompson P, Clinton N, Desrivieres S, H. Young A, Stahl B, Ogoh G. 2023. Effects of urban living environments on mental health in adults. Nature Medicine. 29, 1456–1467.
2023 | Published | Journal Article | IST-REx-ID: 13178 |
Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron
D.J. Mitrouskas, K. Mysliwy, R. Seiringer, Forum of Mathematics 11 (2023) 1–52.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
D.J. Mitrouskas, K. Mysliwy, R. Seiringer, Forum of Mathematics 11 (2023) 1–52.
2023 | Published | Journal Article | IST-REx-ID: 13179 |
CQS: A formally-verified framework for fair and abortable synchronization
N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).
[Published Version]
View
| Files available
| DOI
N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13180 |
Local solubility for a family of quadrics over a split quadric surface
T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.
2023 | Published | Journal Article | IST-REx-ID: 13200 |
Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action
L. Qiu, R. Sahu, W.J. Hease, G.M. Arnold, J.M. Fink, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
L. Qiu, R. Sahu, W.J. Hease, G.M. Arnold, J.M. Fink, Nature Communications 14 (2023).
2023 | Published | Journal Article | IST-REx-ID: 11479 |
Ten years of demographic modelling of divergence and speciation in the sea
A. De Jode, A. Le Moan, K. Johannesson, R. Faria, S. Stankowski, A.M. Westram, R.K. Butlin, M. Rafajlović, C. Fraisse, Evolutionary Applications 16 (2023) 542–559.
[Published Version]
View
| Files available
| DOI
| WoS
A. De Jode, A. Le Moan, K. Johannesson, R. Faria, S. Stankowski, A.M. Westram, R.K. Butlin, M. Rafajlović, C. Fraisse, Evolutionary Applications 16 (2023) 542–559.
2023 | Published | Journal Article | IST-REx-ID: 11741 |
Quenched universality for deformed Wigner matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields 185 (2023) 1183–1218.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields 185 (2023) 1183–1218.
2023 | Published | Journal Article | IST-REx-ID: 11999 |
Inserting one edge into a simple drawing is hard
A.M. Arroyo Guevara, F. Klute, I. Parada, B. Vogtenhuber, R. Seidel, T. Wiedera, Discrete and Computational Geometry 69 (2023) 745–770.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A.M. Arroyo Guevara, F. Klute, I. Parada, B. Vogtenhuber, R. Seidel, T. Wiedera, Discrete and Computational Geometry 69 (2023) 745–770.
2023 | Submitted | Preprint | IST-REx-ID: 14644 |
Mechanism of mammalian transcriptional repression by noncoding RNA
K. Tluckova, A.P. Testa Salmazo, C. Bernecky, (n.d.).
[Submitted Version]
View
| Files available
| DOI
K. Tluckova, A.P. Testa Salmazo, C. Bernecky, (n.d.).
2023 | Submitted | Preprint | IST-REx-ID: 14647 |
Dual role of FOXG1 in regulating gliogenesis in the developing neocortex via the FGF signalling pathway
M. Bose, V. Suresh, U. Mishra, I. Talwar, A. Yadav, S. Biswas, S. Hippenmeyer, S. Tole, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
M. Bose, V. Suresh, U. Mishra, I. Talwar, A. Yadav, S. Biswas, S. Hippenmeyer, S. Tole, BioRxiv (n.d.).
2023 | Published | Journal Article | IST-REx-ID: 14657 |
Evolutionary dynamics of mutants that modify population structure
J. Tkadlec, K. Kaveh, K. Chatterjee, M.A. Nowak, Journal of the Royal Society, Interface 20 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J. Tkadlec, K. Kaveh, K. Chatterjee, M.A. Nowak, Journal of the Royal Society, Interface 20 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14661 |
External forces in the continuum limit of discrete systems with non-convex interaction potentials: Compactness for a Γ-development
M. Carioni, J.L. Fischer, A. Schlömerkemper, Journal of Convex Analysis 30 (2023) 217–247.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
M. Carioni, J.L. Fischer, A. Schlömerkemper, Journal of Convex Analysis 30 (2023) 217–247.
2023 | Published | Journal Article | IST-REx-ID: 14662 |
Absence of excited eigenvalues for Fröhlich type polaron models at weak coupling
R. Seiringer, Journal of Spectral Theory 13 (2023) 1045–1055.
View
| Files available
| DOI
| arXiv
R. Seiringer, Journal of Spectral Theory 13 (2023) 1045–1055.
2023 | Published | Journal Article | IST-REx-ID: 14667 |
Functional CLT for non-Hermitian random matrices
L. Erdös, H.C. Ji, Annales de l’institut Henri Poincare (B) Probability and Statistics 59 (2023) 2083–2105.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Erdös, H.C. Ji, Annales de l’institut Henri Poincare (B) Probability and Statistics 59 (2023) 2083–2105.
2023 | Published | Journal Article | IST-REx-ID: 14689
Reply to: Revisiting the use of structural similarity index in Hi-C
E. Ing-Simmons, N.N. Machnik, J.M. Vaquerizas, Nature Genetics 55 (2023) 2053–2055.
View
| DOI
| PubMed | Europe PMC
E. Ing-Simmons, N.N. Machnik, J.M. Vaquerizas, Nature Genetics 55 (2023) 2053–2055.
2023 | Published | Conference Paper | IST-REx-ID: 14691 |
On the cost of post-compromise security in concurrent Continuous Group-Key Agreement
B. Auerbach, M. Cueto Noval, G. Pascual Perez, K.Z. Pietrzak, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 271–300.
[Preprint]
View
| DOI
| Download Preprint (ext.)
B. Auerbach, M. Cueto Noval, G. Pascual Perez, K.Z. Pietrzak, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 271–300.
2023 | Published | Conference Paper | IST-REx-ID: 14692 |
Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing
B. Auerbach, C. Hoffmann, G. Pascual Perez, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 301–330.
[Preprint]
View
| DOI
| Download Preprint (ext.)
B. Auerbach, C. Hoffmann, G. Pascual Perez, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 301–330.
2023 | Published | Journal Article | IST-REx-ID: 14709 |
Auxin research: Creating tools for a greener future
M. Del Bianco, J. Friml, L. Strader, S. Kepinski, Journal of Experimental Botany 74 (2023) 6889–6892.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M. Del Bianco, J. Friml, L. Strader, S. Kepinski, Journal of Experimental Botany 74 (2023) 6889–6892.
2023 | Published | Conference Paper | IST-REx-ID: 14718 |
Binary decision diagrams on modern hardware
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
[Published Version]
View
| Files available
| DOI
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.