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.
9828 Publications
2023 | Published | Journal Article | IST-REx-ID: 14239 | 
Homological Bondal-Orlov localization conjecture for rational singularities
M. Mauri, E. Shinder, Forum of Mathematics, Sigma 11 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Mauri, E. Shinder, Forum of Mathematics, Sigma 11 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14240 |
Generalizing shallow water simulations with dispersive surface waves
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 42 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 42 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14241 |
Stealth shaper: Reflectivity optimization as surface stylization
K. Tojo, A. Shamir, B. Bickel, N. Umetani, in:, SIGGRAPH 2023 Conference Proceedings, Association for Computing Machinery, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Tojo, A. Shamir, B. Bickel, N. Umetani, in:, SIGGRAPH 2023 Conference Proceedings, Association for Computing Machinery, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 14242 |
Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, D. Rus, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–14973.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, D. Rus, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–14973.
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: 14245 |
Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution
T. Horesh, A. Nevo, Pacific Journal of Mathematics 324 (2023) 265–294.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T. Horesh, A. Nevo, Pacific Journal of Mathematics 324 (2023) 265–294.
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 | Journal Article | IST-REx-ID: 14256 |
Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields
S. Mathis, L.A. Bugnet, Astronomy and Astrophysics 676 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Mathis, L.A. Bugnet, Astronomy and Astrophysics 676 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14258 |
Genetic insights into the age-specific biological mechanisms governing human ovarian aging
S.E. Ojavee, L. Darrous, M. Patxot, K. Läll, K. Fischer, R. Mägi, Z. Kutalik, M.R. Robinson, American Journal of Human Genetics 110 (2023) 1549–1563.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S.E. Ojavee, L. Darrous, M. Patxot, K. Läll, K. Fischer, R. Mägi, Z. Kutalik, M.R. Robinson, American Journal of Human Genetics 110 (2023) 1549–1563.
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: 14261 |
Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems
J. Gamper, F. Kluibenschedl, A.K.H. Weiss, T.S. Hofer, Journal of Physical Chemistry Letters 14 (2023) 7395–7403.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Gamper, F. Kluibenschedl, A.K.H. Weiss, T.S. Hofer, Journal of Physical Chemistry Letters 14 (2023) 7395–7403.
2023 | Published | Journal Article | IST-REx-ID: 14274 |
CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration
J.H. Alanko, M.C. Ucar, N. Canigova, J.A. Stopp, J. Schwarz, J. Merrin, E.B. Hannezo, M.K. Sixt, Science Immunology 8 (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
J.H. Alanko, M.C. Ucar, N. Canigova, J.A. Stopp, J. Schwarz, J. Merrin, E.B. Hannezo, M.K. Sixt, Science Immunology 8 (2023).
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 | Research Data Reference | IST-REx-ID: 14279 |
Source data for the manuscript "CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration"
M.C. Ucar, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M.C. Ucar, (2023).
2023 | Published | Journal Article | IST-REx-ID: 14281
Design of stimulus-responsive two-state hinge proteins
Praetorius FM, Leung PJY, Tessmer MH, Broerman A, Demakis C, Dishman AF, Pillai A, Idris A, Juergens D, Dauparas J, Li X, Levine PM, Lamb M, Ballard RK, Gerben SR, Nguyen H, Kang A, Sankaran B, Bera AK, Volkman BF, Nivala J, Stoll S, Baker D. 2023. Design of stimulus-responsive two-state hinge proteins. Science. 381(6659), 754–760.
View
| DOI
| PubMed | Europe PMC
Praetorius FM, Leung PJY, Tessmer MH, Broerman A, Demakis C, Dishman AF, Pillai A, Idris A, Juergens D, Dauparas J, Li X, Levine PM, Lamb M, Ballard RK, Gerben SR, Nguyen H, Kang A, Sankaran B, Bera AK, Volkman BF, Nivala J, Stoll S, Baker D. 2023. Design of stimulus-responsive two-state hinge proteins. Science. 381(6659), 754–760.