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.
12120 Publications
2023 |
Published |
Journal Article |
IST-REx-ID: 13134
Discrete analytical objects in the body-centered cubic grid
L. Čomić, G. Largeteau-Skapin, R. Zrour, R. Biswas, E. Andres, Pattern Recognition 142 (2023).
View
| DOI
| WoS
L. Čomić, G. Largeteau-Skapin, R. Zrour, R. Biswas, E. Andres, Pattern Recognition 142 (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 13135 |
Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity
A. Agresti, M. Veraar, Journal of Differential Equations 368 (2023) 247–300.
[Published Version]
View
| Files available
| DOI
| WoS
A. Agresti, M. Veraar, Journal of Differential Equations 368 (2023) 247–300.
2023 |
Published |
Journal Article |
IST-REx-ID: 13138 |
Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain
P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, D.V. Kurlov, Physical Review B 107 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, D.V. Kurlov, Physical Review B 107 (2023).
2023 |
Published |
Conference Paper |
IST-REx-ID: 13139 |
Correct approximation of stationary distributions
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.
2023 |
Published |
Conference Paper |
IST-REx-ID: 13141 |
Computing adequately permissive assumptions for synthesis
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
[Published Version]
View
| Files available
| DOI
| WoS
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
2023 |
Published |
Conference Paper |
IST-REx-ID: 13142 |
A learner-verifier framework for neural network controllers and certificates of stochastic systems
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
2023 |
Published |
Conference Paper |
IST-REx-ID: 13143 |
Certifying giant nonprimes
C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.
2023 |
Published |
Journal Article |
IST-REx-ID: 13145 |
A Mecke-type characterization of the Dirichlet–Ferguson measure
L. Dello Schiavo, E. Lytvynov, Electronic Communications in Probability 28 (2023) 1–12.
[Published Version]
View
| Files available
| DOI
| WoS
L. Dello Schiavo, E. Lytvynov, Electronic Communications in Probability 28 (2023) 1–12.
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
| PubMed | Europe PMC
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: 13165 |
Successive vertex orderings of fully regular graphs
L. Fang, H. Huang, J. Pach, G. Tardos, J. Zuo, Journal of Combinatorial Theory. Series A 199 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Fang, H. Huang, J. Pach, G. Tardos, J. Zuo, Journal of Combinatorial Theory. Series A 199 (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 13166 |
The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization
A.A. Vetrova, D.M. Kupaeva, A. Kizenko, T.S. Lebedeva, P. Walentek, N. Tsikolia, S.V. Kremnyov, Scientific Reports 13 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A.A. Vetrova, D.M. Kupaeva, A. Kizenko, T.S. Lebedeva, P. Walentek, N. Tsikolia, S.V. Kremnyov, Scientific Reports 13 (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 |
Research Data |
IST-REx-ID: 13173 |
Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals
R. Shigemoto, (2023).
[Published Version]
View
| Files available
| DOI
R. Shigemoto, (2023).
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13175 |
Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Journal Article |
IST-REx-ID: 13177 |
Sobolev-type inequalities and eigenvalue growth on graphs with finite measure
B. Hua, M. Keller, M. Schwarz, M. Wirth, Proceedings of the American Mathematical Society 151 (2023) 3401–3414.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
B. Hua, M. Keller, M. Schwarz, M. Wirth, Proceedings of the American Mathematical Society 151 (2023) 3401–3414.
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: 13197 |
Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts
G.M. Grosjean, S.R. Waitukaitis, Physical Review Materials 7 (2023).
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
G.M. Grosjean, S.R. Waitukaitis, Physical Review Materials 7 (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 13202 |
Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons
K. Eguchi, E. Le Monnier, R. Shigemoto, The Journal of Neuroscience 43 (2023) 4197–4216.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
K. Eguchi, E. Le Monnier, R. Shigemoto, The Journal of Neuroscience 43 (2023) 4197–4216.
2023 |
Published |
Journal Article |
IST-REx-ID: 13207 |
Boundary superconductivity in the BCS model
C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540.
2023 |
Published |
Journal Article |
IST-REx-ID: 13213 |
Multi-copper oxidases SKU5 and SKS1 coordinate cell wall formation using apoplastic redox-based reactions in roots
C. Chen, Y. Zhang, J. Cai, Y. Qiu, L. Li, C. Gao, Y. Gao, M. Ke, S. Wu, C. Wei, J. Chen, T. Xu, J. Friml, J. Wang, R. Li, D. Chao, B. Zhang, X. Chen, Z. Gao, Plant Physiology 192 (2023) 2243–2260.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C. Chen, Y. Zhang, J. Cai, Y. Qiu, L. Li, C. Gao, Y. Gao, M. Ke, S. Wu, C. Wei, J. Chen, T. Xu, J. Friml, J. Wang, R. Li, D. Chao, B. Zhang, X. Chen, Z. Gao, Plant Physiology 192 (2023) 2243–2260.