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.
9626 Publications
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17478 |
The Fröhlich polaron at strong coupling: Part II — Energy-momentum relation and effective mass
M. Brooks, R. Seiringer, Publications Mathematiques de l’Institut Des Hautes Etudes Scientifiques (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
M. Brooks, R. Seiringer, Publications Mathematiques de l’Institut Des Hautes Etudes Scientifiques (2024).
2024 |Published| Journal Article | IST-REx-ID: 17481 |
Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow
J.L. Fischer, A. Marveggio, Annales de l’Institut Henri Poincare C 41 (2024) 1117–1178.
[Published Version]
View
| Files available
| DOI
J.L. Fischer, A. Marveggio, Annales de l’Institut Henri Poincare C 41 (2024) 1117–1178.
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17474 |
Entropic risk for turn-based stochastic games
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, Information and Computation 301 (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, Information and Computation 301 (2024).
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17884 |
Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice
M. Obr, M. Percipalle, D. Chernikova, H. Yang, A. Thader, G. Pinke, D.J. Porley, L.M. Mansky, R.A. Dick, F.K. Schur, Nature Structural & Molecular Biology (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Obr, M. Percipalle, D. Chernikova, H. Yang, A. Thader, G. Pinke, D.J. Porley, L.M. Mansky, R.A. Dick, F.K. Schur, Nature Structural & Molecular Biology (2024).
2024 |Published| Journal Article | IST-REx-ID: 17887 |
Approximation of classical two-phase flows of viscous incompressible fluids by a Navier–Stokes/Allen–Cahn system
H. Abels, J.L. Fischer, M. Moser, Archive for Rational Mechanics and Analysis 248 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
H. Abels, J.L. Fischer, M. Moser, Archive for Rational Mechanics and Analysis 248 (2024).
2024 |Published| Journal Article | IST-REx-ID: 17885 |
The novel ribosome biogenesis inhibitor usnic acid blocks nucleolar pre-60S maturation
L. Kofler, L. Grundmann, M. Gerhalter, M. Prattes, J. Merl-Pham, G. Zisser, I. Grishkovskaya, V.-V. Hodirnau, M. Vareka, R. Breinbauer, S.M. Hauck, D. Haselbach, H. Bergler, Nature Communications 15 (2024).
[Published Version]
View
| Files available
| DOI
L. Kofler, L. Grundmann, M. Gerhalter, M. Prattes, J. Merl-Pham, G. Zisser, I. Grishkovskaya, V.-V. Hodirnau, M. Vareka, R. Breinbauer, S.M. Hauck, D. Haselbach, H. Bergler, Nature Communications 15 (2024).
2024 |Published| Journal Article | IST-REx-ID: 17891 |
Understanding higher-order interactions in information space
H. Edelsbrunner, K. Ölsböck, H. Wagner, Entropy 26 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
H. Edelsbrunner, K. Ölsböck, H. Wagner, Entropy 26 (2024).
2024 |Published| Journal Article | IST-REx-ID: 17463 |
De novo design of allosterically switchable protein assemblies
A. Pillai, A. Idris, A. Philomin, C. Weidle, R. Skotheim, P.J.Y. Leung, A. Broerman, C. Demakis, A.J. Borst, F.M. Praetorius, D. Baker, Nature 632 (2024) 911–920.
[Published Version]
View
| Files available
| DOI
A. Pillai, A. Idris, A. Philomin, C. Weidle, R. Skotheim, P.J.Y. Leung, A. Broerman, C. Demakis, A.J. Borst, F.M. Praetorius, D. Baker, Nature 632 (2024) 911–920.
2024 |Published| Journal Article | IST-REx-ID: 17458 |
Compensation of gene dosage on the mammalian X
D. Cecalev, B. Vicoso, R. Galupa, Development 151 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D. Cecalev, B. Vicoso, R. Galupa, Development 151 (2024).
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17457 |
LGI1 autoantibodies enhance synaptic transmission by presynaptic Kv1 loss and increased action potential broadening
A. Ritzau-Jost, F. Gsell, J. Sell, S. Sachs, J.-C. Montanaro-Punzengruber, T. Kirmann, S. Maaß, S.R. Irani, C. Werner, C. Geis, M. Sauer, R. Shigemoto, S. Hallermann, Neurology, Neuroimmunology and Neuroinflammation 11 (2024) e200284.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
A. Ritzau-Jost, F. Gsell, J. Sell, S. Sachs, J.-C. Montanaro-Punzengruber, T. Kirmann, S. Maaß, S.R. Irani, C. Werner, C. Geis, M. Sauer, R. Shigemoto, S. Hallermann, Neurology, Neuroimmunology and Neuroinflammation 11 (2024) e200284.
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17459 |
Langerhans cells: Central players in the pathophysiology of atopic dermatitis
Y. Pan, M. Hochgerner, M.A. Cichon, T. Benezeder, T. Bieber, P. Wolf, Journal of the European Academy of Dermatology and Venereology (2024).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
Y. Pan, M. Hochgerner, M.A. Cichon, T. Benezeder, T. Bieber, P. Wolf, Journal of the European Academy of Dermatology and Venereology (2024).
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17461 |
Unconditional versus condition-dependent social immunity
S. Cremer, C. Pull, Trends in Parasitology (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Cremer, C. Pull, Trends in Parasitology (2024).
2024 |Published| Journal Article | IST-REx-ID: 17475 |
Exponentially many graphs are determined by their spectrum
I. Koval, M.A. Kwan, Quarterly Journal of Mathematics 75 (2024) 869–899.
[Published Version]
View
| Files available
| DOI
| arXiv
I. Koval, M.A. Kwan, Quarterly Journal of Mathematics 75 (2024) 869–899.
2024 | Research Data | IST-REx-ID: 17488 |
Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies
R.K. Satapathy, M.A. Jösch, O. Symonova, V. Pokusaeva, (2024).
View
| Files available
| DOI
R.K. Satapathy, M.A. Jösch, O. Symonova, V. Pokusaeva, (2024).
2024 |Published| Journal Article | IST-REx-ID: 17495 |
RefinedRust: A type system for high-assurance verification of rust programs
L. Gäher, M.J. Sammler, R. Jung, R. Krebbers, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 1115–1139.
[Published Version]
View
| DOI
| Download Published Version (ext.)
L. Gäher, M.J. Sammler, R. Jung, R. Krebbers, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 1115–1139.
2024 |Published| Journal Article | IST-REx-ID: 17497 |
Quiver: Guided abductive inference of separation logic specifications in coq
S. Spies, L. Gäher, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 889–913.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Spies, L. Gäher, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 889–913.
2024 |Published| Book Chapter | IST-REx-ID: 18052
Automated Imaging and Analysis of Synapses in Freeze-Fracture Replica Samples with Deep Learning
D. Kleindienst, T. Costanzo, R. Shigemoto, in:, J.H.R. Lübke, A. Rollenhagen (Eds.), New Aspects in Analyzing the Synaptic Organization of the Brain, 1st ed., Springer Nature, New York, 2024, pp. 123–137.
View
| DOI
D. Kleindienst, T. Costanzo, R. Shigemoto, in:, J.H.R. Lübke, A. Rollenhagen (Eds.), New Aspects in Analyzing the Synaptic Organization of the Brain, 1st ed., Springer Nature, New York, 2024, pp. 123–137.
2024 |Published| Journal Article | IST-REx-ID: 17517 |
NuSTAR observations of candidate subparsec binary supermassive black holes
M.L. Saade, M. Brightman, D. Stern, T. Connor, S.G. Djorgovski, D.J. D’Orazio, K.E.S. Ford, M.J. Graham, Z. Haiman, H.D. Jun, E. Kammoun, R.P. Kraft, B. McKernan, A. Vikhlinin, D.J. Walton, The Astrophysical Journal 966 (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.L. Saade, M. Brightman, D. Stern, T. Connor, S.G. Djorgovski, D.J. D’Orazio, K.E.S. Ford, M.J. Graham, Z. Haiman, H.D. Jun, E. Kammoun, R.P. Kraft, B. McKernan, A. Vikhlinin, D.J. Walton, The Astrophysical Journal 966 (2024).
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17897
Active site switching on high entropy phosphides as bifunctional oxygen electrocatalysts for rechargeable/robust Zn-air battery
R. He, S. Wang, L. Yang, S. Horta, Y. Ding, C. Di, X. Zhang, Y. Xu, M. Ibáñez, Y. Zhou, S. Mebs, H. Dau, J.N. Hausmann, W. Huo, P.W. Menezes, A. Cabot, Energy and Environmental Science (2024).
View
| DOI
R. He, S. Wang, L. Yang, S. Horta, Y. Ding, C. Di, X. Zhang, Y. Xu, M. Ibáñez, Y. Zhou, S. Mebs, H. Dau, J.N. Hausmann, W. Huo, P.W. Menezes, A. Cabot, Energy and Environmental Science (2024).
2024 |Submitted| Preprint | IST-REx-ID: 17634 |
QuAK: Quantitative Automata Kit
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, ArXiv (n.d.).