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.
11357 Publications
2024 |
Published |
Conference Paper |
IST-REx-ID: 18521 |
Bonakdarpour B, Momtaz A, Nickovic D, Sarac NE. Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy. In: 24th International Conference on Runtime Verification. Vol 15191. Springer Nature; 2024:282-301. doi:10.1007/978-3-031-74234-7_18
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 18522 |
Weyer Y, Schwabl SI, Tang X, et al. The Dsc ubiquitin ligase complex identifies transmembrane degrons to degrade orphaned proteins at the Golgi. Nature Communications. 2024;15. doi:10.1038/s41467-024-53676-6
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 |
Published |
Journal Article |
IST-REx-ID: 18523 |
Pizzati E, Hennawi JF, Schaye J, et al. A unified model for the clustering of quasars and galaxies at z ≈ 6. Monthly Notices of the Royal Astronomical Society. 2024;534(4):3155-3175. doi:10.1093/mnras/stae2307
[Published Version]
View
| Files available
| DOI
| WoS
2024 |
Published |
Journal Article |
IST-REx-ID: 18524 |
O’Grady AJG, Drout MR, Neugent KF, Ludwig B, Götberg YLL, Gaensler BM. Binary yellow supergiants in the Magellanic Clouds. I. Photometric candidate identification. Astrophysical Journal. 2024;975. doi:10.3847/1538-4357/ad778a
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 18525 |
Ruzickova N, Hledik M, Tkačik G. Quantitative omnigenic model discovers interpretable genome-wide associations. Proceedings of the National Academy of Sciences of the United States of America. 2024;121(44). doi:10.1073/pnas.2402340121
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 |
Published |
Journal Article |
IST-REx-ID: 18526 |
Weiner E, Berryman E, Frey FF, et al. Endosomal membrane budding patterns in plants. Proceedings of the National Academy of Sciences of the United States of America. 2024;121(44). doi:10.1073/pnas.2409407121
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 |
Published |
Journal Article |
IST-REx-ID: 18527 |
Di Cesare C, Ginolfi M, Graziani L, Schneider R, Romano M, Popping G. Carbon envelopes around merging galaxies at z ~ 4.5. Astronomy and Astrophysics. 2024;690. doi:10.1051/0004-6361/202449164
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 18528 |
Das SB, Einramhof L, Bugnet LA. Unveiling complex magnetic field configurations in red giant stars. Astronomy and Astrophysics. 2024;690. doi:10.1051/0004-6361/202450918
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 18530 |
Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. History-deterministic timed automata. Logical Methods in Computer Science. 2024;20(4):1-28. doi:10.46298/lmcs-20(4:1)2024
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 18545 |
Degtev D, Bravo JPK, Emmanouilidi A, et al. Engineered PsCas9 enables therapeutic genome editing in mouse liver with lipid nanoparticles. Nature Communications. 2024;15. doi:10.1038/s41467-024-53418-8
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Journal Article |
IST-REx-ID: 18553 |
Ramadhin AR, Lee S-H, Zhou D, et al. STK19 drives transcription-coupled repair by stimulating repair complex stability, RNA Pol II ubiquitylation, and TFIIH recruitment. Molecular Cell. 2024;84(24):4740-4757.e12. doi:10.1016/j.molcel.2024.10.030
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 |
Published |
Journal Article |
IST-REx-ID: 18554 |
Erdös L, Riabov V. Eigenstate Thermalization Hypothesis for Wigner-type matrices. Communications in Mathematical Physics. 2024;405(12). doi:10.1007/s00220-024-05143-y
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2024 |
Published |
Conference Paper |
IST-REx-ID: 18556 |
Cultrera di Montesano S, Draganov O, Edelsbrunner H, Saghafian M. The Euclidean MST-ratio for bi-colored lattices. In: 32nd International Symposium on Graph Drawing and Network Visualization. Vol 320. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.GD.2024.3
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Conference Paper |
IST-REx-ID: 18557 |
El-Hayek A, Henzinger M, Schmid S. Broadcast and Consensus in stochastic dynamic networks with Byzantine nodes and adversarial edges. In: 38th International Symposium on Distributed Computing. Vol 319. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.DISC.2024.21
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 18559 |
Kwan MA, Sah A, Sawhney M, Simkin M. High-girth Steiner triple systems. Annals of Mathematics. 2024;200(3):1059-1156. doi:10.4007/annals.2024.200.3.4
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2024 |
Published |
Book Chapter |
IST-REx-ID: 18563
Henzinger TA. Reminiscences of a Real-Time Researcher. In: Graf S, Pettersson P, Steffen B, eds. Real Time and Such. Vol 15230. LNCS. Cham: Springer Nature; 2024:154-164. doi:10.1007/978-3-031-73751-0_12
View
| DOI
2024 |
Published |
Journal Article |
IST-REx-ID: 18564 |
Cunningham T, Caiazzo I, Prusinski NZ, et al. Expansion properties of the young supernova type Iax remnant Pa 30 revealed. The Astrophysical Journal Letters. 2024;975(1). doi:10.3847/2041-8213/ad713b
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18568 |
Satapathy RK. Mechanisms of visual integration and competition in innate behaviours in Drosophila melanogaster. 2024. doi:10.15479/at:ista:18568
[Published Version]
View
| Files available
| DOI
2024 |
Research Data |
IST-REx-ID: 18579 |
Vega Zuniga TA, Sumser AL, Symonova O, Koppensteiner P, Schmidt F, Jösch MA. A thalamic hub-and-spoke network enables visual perception during action by coordinating visuomotor dynamics. 2024. doi:10.15479/AT:ISTA:18579
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Journal Article |
IST-REx-ID: 18581 |
Marolt Presen D, Goeschl V, Hanetseder D, et al. Prolonged cultivation enhances the stimulatory activity of hiPSC mesenchymal progenitor-derived conditioned medium. Stem Cell Research and Therapy. 2024;15. doi:10.1186/s13287-024-03960-5
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC