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.
10945 Publications
2024 | Published | Journal Article | IST-REx-ID: 18530 | 
Bose, Sougata, Thomas A Henzinger, Karoliina Lehtinen, Sven Schewe, and Patrick Totzke. “History-Deterministic Timed Automata.” Logical Methods in Computer Science. EPI Sciences, 2024. https://doi.org/10.46298/lmcs-20(4:1)2024.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18465 |
Janacek, DP, M Kolb, L Schulz, J Mergner, B Kuster, Matous Glanc, Jiří Friml, K Ten Tusscher, C Schwechheimer, and UZ Hammes. “Transport Properties of Canonical PIN-FORMED Proteins from Arabidopsis and the Role of the Loop Domain in Auxin Transport.” Developmental Cell. Elsevier, 2024. https://doi.org/10.1016/j.devcel.2024.09.020.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18266
Chatterjee, Krishnendu, Miquel Oliu-Barton, and Raimundo J Saona Urmeneta. “Value-Positivity for Matrix Games.” Mathematics of Operations Research. Institute for Operations Research and the Management Sciences, 2024. https://doi.org/10.1287/moor.2022.0332.
View
| Files available
| DOI
| WoS
2024 | Published | Journal Article | IST-REx-ID: 18528 |
Das, Srijan B, Lukas Einramhof, and Lisa Annabelle Bugnet. “Unveiling Complex Magnetic Field Configurations in Red Giant Stars.” Astronomy and Astrophysics. EDP Sciences, 2024. https://doi.org/10.1051/0004-6361/202450918.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18521 |
Bonakdarpour, Borzoo, Anik Momtaz, Dejan Nickovic, and Naci E Sarac. “Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed & Accuracy.” In 24th International Conference on Runtime Verification, 15191:282–301. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-74234-7_18.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18526 |
Weiner, Ethan, Elizabeth Berryman, Felix F Frey, Ariadna González Solís, André Leier, Tatiana Marquez Lago, Anđela Šarić, and Marisa S. Otegui. “Endosomal Membrane Budding Patterns in Plants.” Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences, 2024. https://doi.org/10.1073/pnas.2409407121.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 18523 |
Pizzati, Elia, Joseph F. Hennawi, Joop Schaye, Matthieu Schaller, Anna Christina Eilers, Feige Wang, Carlos S. Frenk, et al. “A Unified Model for the Clustering of Quasars and Galaxies at z ≈ 6.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2024. https://doi.org/10.1093/mnras/stae2307.
[Published Version]
View
| Files available
| DOI
| WoS
2024 | Published | Journal Article | IST-REx-ID: 18527 |
Di Cesare, Claudia, M. Ginolfi, L. Graziani, R. Schneider, M. Romano, and G. Popping. “Carbon Envelopes around Merging Galaxies at z ~ 4.5.” Astronomy and Astrophysics. EDP Sciences, 2024. https://doi.org/10.1051/0004-6361/202449164.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18524 |
O’Grady, Anna J.G., Maria R. Drout, Kathryn F. Neugent, Bethany Ludwig, Ylva Louise Linsdotter Götberg, and B. M. Gaensler. “Binary Yellow Supergiants in the Magellanic Clouds. I. Photometric Candidate Identification.” Astrophysical Journal. IOP Publishing, 2024. https://doi.org/10.3847/1538-4357/ad778a.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18522 |
Weyer, Yannick, Sinead I. Schwabl, Xuechen Tang, Astha Purwar, Konstantin Siegmann, Angela Ruepp, Theresia Dunzendorfer-Matt, et al. “The Dsc Ubiquitin Ligase Complex Identifies Transmembrane Degrons to Degrade Orphaned Proteins at the Golgi.” Nature Communications. Springer Nature, 2024. https://doi.org/10.1038/s41467-024-53676-6.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 18559 |
Kwan, Matthew Alan, Ashwin Sah, Mehtaab Sawhney, and Michael Simkin. “High-Girth Steiner Triple Systems.” Annals of Mathematics. Princeton University, 2024. https://doi.org/10.4007/annals.2024.200.3.4.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18564 |
Cunningham, Tim, Ilaria Caiazzo, Nikolaus Z. Prusinski, James Fuller, John C. Raymond, S. R. Kulkarni, James D. Neill, et al. “Expansion Properties of the Young Supernova Type Iax Remnant Pa 30 Revealed.” The Astrophysical Journal Letters. American Astronomical Society, 2024. https://doi.org/10.3847/2041-8213/ad713b.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18596 |
Králová, Michaela, Ivona Kubalová, Jakub Hajný, Karolina Kubiasova, Karolína Vagaská, Zengxiang Ge, Michelle C Gallei, et al. “A Decoy Receptor Derived from Alternative Splicing Fine-Tunes Cytokinin Signaling in Arabidopsis.” Molecular Plant. Elsevier, 2024. https://doi.org/10.1016/j.molp.2024.11.001.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 18602 |
De Palma, Franco, Fabian Oppliger, Wonjin Jang, Stefano Bosco, Marian Janik, Stefano Calcaterra, Georgios Katsaros, Giovanni Isella, Daniel Loss, and Pasquale Scarlino. “Strong Hole-Photon Coupling in Planar Ge for Probing Charge Degree and Strongly Correlated States.” Nature Communications. Springer Nature, 2024. https://doi.org/10.1038/s41467-024-54520-7.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 18553 |
Ramadhin, Anisha R., Shun-Hsiao Lee, Di Zhou, Anita P Testa Salmazo, Camila Gonzalo-Hansen, Marjolein van Sluis, Cindy M.A. Blom, et al. “STK19 Drives Transcription-Coupled Repair by Stimulating Repair Complex Stability, RNA Pol II Ubiquitylation, and TFIIH Recruitment.” Molecular Cell. Elsevier, 2024. https://doi.org/10.1016/j.molcel.2024.10.030.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 | Published | Conference Paper | IST-REx-ID: 18600 |
Andriushchenko R, Bork A, Budde CE, Češka M, Grover K, Hahn EM, Hartmanns A, Israelsen B, Jansen N, Jeppson J, Junges S, Köhl MA, Könighofer B, Kretinsky J, Meggendorfer T, Parker D, Pranger S, Quatmann T, Ruijters E, Taylor L, Volk M, Weininger M, Zhang Z. 2024. Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report. TOOLympics Challenge 2023. , LNCS, vol. 14550, 90–146.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18554 |
Erdös, László, and Volodymyr Riabov. “Eigenstate Thermalization Hypothesis for Wigner-Type Matrices.” Communications in Mathematical Physics. Springer Nature, 2024. https://doi.org/10.1007/s00220-024-05143-y.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18599
Chalupa, Marek, Thomas A Henzinger, and Ana Oliveira da Costa. “Monitoring Extended Hypernode Logic.” In Integrated Formal Methods, 15234:151–71. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-76554-4_9.
View
| DOI
| WoS
2024 | Published | Journal Article | IST-REx-ID: 18585 |
Meyer RA, Oesch PA, Giovinazzo E, Weibel A, Brammer G, Matthee JJ, Naidu RP, Bouwens RJ, Chisholm J, Covelo-Paz A, Fudamoto Y, Maseda M, Nelson E, Shivaei I, Xiao M, Herard-Demanche T, Illingworth GD, Kerutt J, Kramarenko I, Labbe I, Leonova E, Magee D, Matharu J, Prieto Lyon G, Reddy N, Schaerer D, Shapley A, Stefanon M, Wozniak MA, Wuyts S. 2024. JWST FRESCO: A comprehensive census of H β + [O iii] emitters at 6.8 < z < 9.0 in the GOODS fields. Monthly Notices of the Royal Astronomical Society. 535(1), 1067–1094.
[Published Version]
View
| Files available
| DOI
| WoS
2024 | Published | Journal Article | IST-REx-ID: 18630 |
Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” Logical Methods in Computer Science. EPI Sciences, 2024. https://doi.org/10.46298/lmcs-20(4:11)2024.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv