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 | OA
Unveiling complex magnetic field configurations in red giant stars
S.B. Das, L. Einramhof, L.A. Bugnet, Astronomy and Astrophysics 690 (2024).
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18530 | OA
History-deterministic timed automata
S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, Logical Methods in Computer Science 20 (2024) 1–28.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18553 | OA
STK19 drives transcription-coupled repair by stimulating repair complex stability, RNA Pol II ubiquitylation, and TFIIH recruitment
A.R. Ramadhin, S.-H. Lee, D. Zhou, A.P. Testa Salmazo, C. Gonzalo-Hansen, M. van Sluis, C.M.A. Blom, R.C. Janssens, A. Raams, D. Dekkers, K. Bezstarosti, D. Slade, W. Vermeulen, A. Pines, J.A.A. Demmers, C. Bernecky, T.K. Sixma, J.A. Marteijn, Molecular Cell 84 (2024) 4740–4757.e12.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 18554 | OA
Eigenstate Thermalization Hypothesis for Wigner-type matrices
L. Erdös, V. Riabov, Communications in Mathematical Physics 405 (2024).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18556 | OA
The Euclidean MST-ratio for bi-colored lattices
S. Cultrera di Montesano, O. Draganov, H. Edelsbrunner, M. Saghafian, in:, 32nd International Symposium on Graph Drawing and Network Visualization, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18557 | OA
Broadcast and Consensus in stochastic dynamic networks with Byzantine nodes and adversarial edges
A. El-Hayek, M. Henzinger, S. Schmid, in:, 38th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18559 | OA
High-girth Steiner triple systems
M.A. Kwan, A. Sah, M. Sawhney, M. Simkin, Annals of Mathematics 200 (2024) 1059–1156.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2024 | Published | Book Chapter | IST-REx-ID: 18563
Reminiscences of a Real-Time Researcher
T.A. Henzinger, in:, S. Graf, P. Pettersson, B. Steffen (Eds.), Real Time and Such, Springer Nature, Cham, 2024, pp. 154–164.
View | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 18564 | OA
Expansion properties of the young supernova type Iax remnant Pa 30 revealed
T. Cunningham, I. Caiazzo, N.Z. Prusinski, J. Fuller, J.C. Raymond, S.R. Kulkarni, J.D. Neill, P. Duffell, C. Martin, O. Toloza, D. Charbonneau, S.J. Kenyon, Z. Lin, M. Matuszewski, R. McGurk, A. Polin, P.Z. Yao, The Astrophysical Journal Letters 975 (2024).
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18568 | OA
Mechanisms of visual integration and competition in innate behaviours in Drosophila melanogaster
R.K. Satapathy, Mechanisms of Visual Integration and Competition in Innate Behaviours in Drosophila Melanogaster, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Research Data | IST-REx-ID: 18579 | OA
A thalamic hub-and-spoke network enables visual perception during action by coordinating visuomotor dynamics
T.A. Vega Zuniga, A.L. Sumser, O. Symonova, P. Koppensteiner, F. Schmidt, M.A. Jösch, (2024).
[Published Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 18582 | OA
Over 25 years of decrypting PIN-mediated plant development
C. Luschnig, J. Friml, Nature Communications 15 (2024).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 18583 | OA
Partitioning problems via random processes
M. Anastos, O. Cooley, M. Kang, M.A. Kwan, Journal of the London Mathematical Society 110 (2024).
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18584 | OA
Medium bands, mega science: A JWST/NIRCam medium-band imaging survey of A2744
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 | OA
JWST FRESCO: A comprehensive census of H β + [O iii] emitters at 6.8 < z < 9.0 in the GOODS fields
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 | OA
The central limit theorem and rate of mixing for simple random walks on the circle
K.S. CZUDEK, D. Dolgopyat, Alea 21 (2024) 1853–1865.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18596 | OA
A decoy receptor derived from alternative splicing fine-tunes cytokinin signaling in Arabidopsis
M. Králová, I. Kubalová, J. Hajný, K. Kubiasova, K. Vagaská, Z. Ge, M.C. Gallei, H. Semerádová, A. Kuchařová, M. Hönig, A. Monzer, M. Kovačik, J. Friml, O. Novák, E. Benková, Y. Ikeda, D. Zalabák, Molecular Plant 17 (2024) 1850–1865.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2024 | Published | Conference Paper | IST-REx-ID: 18599
Monitoring extended hypernode logic
M. Chalupa, T.A. Henzinger, A. Oliveira da Costa, in:, Integrated Formal Methods, Springer Nature, 2024, pp. 151–171.
View | DOI | WoS
 
2024 | Published | Conference Paper | IST-REx-ID: 18600 | OA
Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report
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 | OA
Strong hole-photon coupling in planar Ge for probing charge degree and strongly correlated states
F. De Palma, F. Oppliger, W. Jang, S. Bosco, M. Janik, S. Calcaterra, G. Katsaros, G. Isella, D. Loss, P. Scarlino, Nature Communications 15 (2024).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed