Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6293 Publications
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 |
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: 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 |
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: 18556 |
Cultrera di Montesano, Sebastiano, Ondrej Draganov, Herbert Edelsbrunner, and Morteza Saghafian. “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. https://doi.org/10.4230/LIPIcs.GD.2024.3.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Conference Paper |
IST-REx-ID: 18557 |
El-Hayek, Antoine, Monika Henzinger, and Stefan Schmid. “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. https://doi.org/10.4230/LIPIcs.DISC.2024.21.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
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 |
Book Chapter |
IST-REx-ID: 18563
Henzinger, Thomas A. “Reminiscences of a Real-Time Researcher.” In Real Time and Such, edited by Susanne Graf, Paul Pettersson, and Bernhard Steffen, 15230:154–64. LNCS. Cham: Springer Nature, 2024. https://doi.org/10.1007/978-3-031-73751-0_12.
View
| DOI
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 |
Thesis | PhD |
IST-REx-ID: 18568 |
Satapathy, Roshan K. “Mechanisms of Visual Integration and Competition in Innate Behaviours in Drosophila Melanogaster.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18568.
[Published Version]
View
| Files available
| DOI
2024 |
Research Data |
IST-REx-ID: 18579 |
Vega Zuniga, Tomas A, Anton L Sumser, Olga Symonova, Peter Koppensteiner, Florian Schmidt, and Maximilian A Jösch. “A Thalamic Hub-and-Spoke Network Enables Visual Perception during Action by Coordinating Visuomotor Dynamics.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/AT:ISTA:18579.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Journal Article |
IST-REx-ID: 18582 |
Luschnig, Christian, and Jiří Friml. “Over 25 Years of Decrypting PIN-Mediated Plant Development.” Nature Communications. Springer Nature, 2024. https://doi.org/10.1038/s41467-024-54240-y.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 |
Published |
Journal Article |
IST-REx-ID: 18583 |
Anastos, Michael, Oliver Cooley, Mihyun Kang, and Matthew Alan Kwan. “Partitioning Problems via Random Processes.” Journal of the London Mathematical Society. Wiley, 2024. https://doi.org/10.1112/jlms.70010.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 18584 |
Suess KA, Weaver JR, Price SH, Pan R, Wang B, Bezanson R, Brammer G, Cutler SE, Labbé I, Leja J, Williams CC, Whitaker KE, Atek H, Dayal P, De Graaff A, Feldmann R, Franx M, Fudamoto Y, Fujimoto S, Furtak LJ, Goulding AD, Greene JE, Khullar G, Kokorev V, Kriek M, Lorenz B, Marchesini D, Maseda MV, Matthee JJ, Miller TB, Mitsuhashi I, Mowla LA, Muzzin A, Naidu RP, Nanayakkara T, Nelson EJ, Oesch PA, Setton DJ, Shipley H, Smit R, Spilker JS, Van Dokkum P, Zitrin A. 2024. Medium bands, mega science: A JWST/NIRCam medium-band imaging survey of A2744. Astrophysical Journal. 976(1), 101.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
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: 18586 |
CZUDEK, Klaudiusz S, and Dmitry Dolgopyat. “The Central Limit Theorem and Rate of Mixing for Simple Random Walks on the Circle.” Alea. Instituto Nacional de Matematica Pura e Aplicada, 2024. https://doi.org/10.30757/ALEA.V21-70.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| 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 |
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 |
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: 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