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.
7158 Publications
2023 | Published | Conference Paper | IST-REx-ID: 14243 | 
Bidding graph games with partially-observable budgets
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.
2023 | Published | Journal Article | IST-REx-ID: 14244 |
Arithmetic and metric aspects of open de Rham spaces
T. Hausel, M.L. Wong, D. Wyss, Proceedings of the London Mathematical Society 127 (2023) 958–1027.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T. Hausel, M.L. Wong, D. Wyss, Proceedings of the London Mathematical Society 127 (2023) 958–1027.
2023 | Published | Journal Article | IST-REx-ID: 14246 |
Emergence of a Bose polaron in a small ring threaded by the Aharonov-Bohm flux
F. Brauneis, A. Ghazaryan, H.-W. Hammer, A. Volosniev, Communications Physics 6 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
F. Brauneis, A. Ghazaryan, H.-W. Hammer, A. Volosniev, Communications Physics 6 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14253 |
Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling
N.C. Vierra, L. Ribeiro-Silva, M. Kirmiz, D. Van Der List, P. Bhandari, O.A. Mack, J. Carroll, E. Le Monnier, S.A. Aicher, R. Shigemoto, J.S. Trimmer, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
N.C. Vierra, L. Ribeiro-Silva, M. Kirmiz, D. Van Der List, P. Bhandari, O.A. Mack, J. Carroll, E. Le Monnier, S.A. Aicher, R. Shigemoto, J.S. Trimmer, Nature Communications 14 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14254 |
A simple approach to Lieb-Thirring type inequalities
R. Seiringer, J.P. Solovej, Journal of Functional Analysis 285 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
R. Seiringer, J.P. Solovej, Journal of Functional Analysis 285 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14255 |
The phenuivirus Toscana virus makes an atypical use of vacuolar acidity to enter host cells
J. Koch, Q. Xin, M. Obr, A. Schäfer, N. Rolfs, H.A. Anagho, A. Kudulyte, L. Woltereck, S. Kummer, J. Campos, Z.M. Uckeley, L. Bell-Sakyi, H.G. Kräusslich, F.K. Schur, C. Acuna, P.Y. Lozach, PLoS Pathogens 19 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Koch, Q. Xin, M. Obr, A. Schäfer, N. Rolfs, H.A. Anagho, A. Kudulyte, L. Woltereck, S. Kummer, J. Campos, Z.M. Uckeley, L. Bell-Sakyi, H.G. Kräusslich, F.K. Schur, C. Acuna, P.Y. Lozach, PLoS Pathogens 19 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14259 |
Guessing winning policies in LTL synthesis by semantic learning
J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 390–414.
[Published Version]
View
| Files available
| DOI
J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 390–414.
2023 | Published | Conference Paper | IST-REx-ID: 14260 |
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.
[Published Version]
View
| Files available
| DOI
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.
2023 | Published | Journal Article | IST-REx-ID: 14277 |
Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers
D.R. Boocock, T. Hirashima, E.B. Hannezo, PRX Life 1 (2023).
[Published Version]
View
| Files available
| DOI
D.R. Boocock, T. Hirashima, E.B. Hannezo, PRX Life 1 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14313 |
Rapid auxin signaling: Unknowns old and new
L. Fiedler, J. Friml, Current Opinion in Plant Biology 75 (2023).
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
L. Fiedler, J. Friml, Current Opinion in Plant Biology 75 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14314 |
Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions
M. Nardin, K. Käfer, F. Stella, J.L. Csicsvari, Cell Reports 42 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M. Nardin, K. Käfer, F. Stella, J.L. Csicsvari, Cell Reports 42 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14316 |
Distinct role of TGN-resident clathrin adaptors for Vps21p activation in the TGN-endosome trafficking pathway
M. Nagano, K. Aoshima, H. Shimamura, D.E. Siekhaus, J.Y. Toshima, J. Toshima, Journal of Cell Science 136 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
M. Nagano, K. Aoshima, H. Shimamura, D.E. Siekhaus, J.Y. Toshima, J. Toshima, Journal of Cell Science 136 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14317 |
MDPs as distribution transformers: Affine invariant synthesis for safety objectives
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
[Published Version]
View
| Files available
| DOI
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
2023 | Published | Conference Paper | IST-REx-ID: 14318 |
Automated tail bound analysis for probabilistic recurrence relations
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.
[Published Version]
View
| Files available
| DOI
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.
2023 | Published | Journal Article | IST-REx-ID: 14320 |
Deep learning extraction of band structure parameters from density of states: A case study on trilayer graphene
P.M. Henderson, A. Ghazaryan, A.A. Zibrov, A.F. Young, M. Serbyn, Physical Review B 108 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P.M. Henderson, A. Ghazaryan, A.A. Zibrov, A.F. Young, M. Serbyn, Physical Review B 108 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14321 |
Achiral dipoles on a ferromagnet can affect its magnetization direction
R. Al Hyder, A. Cappellaro, M. Lemeshko, A. Volosniev, The Journal of Chemical Physics 159 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
R. Al Hyder, A. Cappellaro, M. Lemeshko, A. Volosniev, The Journal of Chemical Physics 159 (2023).
2023 | Published | Thesis | IST-REx-ID: 14323
Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord
K. Kuzmicz-Kowalska, Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
K. Kuzmicz-Kowalska, Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 14334 |
Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models
P. Brighi, M. Ljubotina, M. Serbyn, SciPost Physics 15 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
P. Brighi, M. Ljubotina, M. Serbyn, SciPost Physics 15 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14339 |
Antigravitropic PIN polarization maintains non-vertical growth in lateral roots
S. Roychoudhry, K. Sageman-Furnas, C. Wolverton, P. Grones, S. Tan, G. Molnar, M. De Angelis, H. Goodman, N. Capstaff, L. JPB, J. Mullen, R. Hangarter, J. Friml, S. Kepinski, Nature Plants 9 (2023) 1500–1513.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Roychoudhry, K. Sageman-Furnas, C. Wolverton, P. Grones, S. Tan, G. Molnar, M. De Angelis, H. Goodman, N. Capstaff, L. JPB, J. Mullen, R. Hangarter, J. Friml, S. Kepinski, Nature Plants 9 (2023) 1500–1513.
2023 | Published | Journal Article | IST-REx-ID: 14341 |
Turbulence suppression by cardiac-cycle-inspired driving of pipe flow
D. Scarselli, J.M. Lopez Alonso, A. Varshney, B. Hof, Nature 621 (2023) 71–74.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D. Scarselli, J.M. Lopez Alonso, A. Varshney, B. Hof, Nature 621 (2023) 71–74.