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.
10938 Publications
2024 | Published | Journal Article | IST-REx-ID: 18530 | 
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
S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, Logical Methods in Computer Science 20 (2024) 1–28.
2024 | Published | Journal Article | IST-REx-ID: 18465 |
Transport properties of canonical PIN-FORMED proteins from Arabidopsis and the role of the loop domain in auxin transport
D. Janacek, M. Kolb, L. Schulz, J. Mergner, B. Kuster, M. Glanc, J. Friml, K. Ten Tusscher, C. Schwechheimer, U. Hammes, Developmental Cell 59 (2024) S1534-5807(24)00569–0.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D. Janacek, M. Kolb, L. Schulz, J. Mergner, B. Kuster, M. Glanc, J. Friml, K. Ten Tusscher, C. Schwechheimer, U. Hammes, Developmental Cell 59 (2024) S1534-5807(24)00569–0.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18266
Value-positivity for matrix games
K. Chatterjee, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research (2024).
View
| Files available
| DOI
| WoS
K. Chatterjee, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research (2024).
2024 | Published | Journal Article | IST-REx-ID: 18528 |
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
S.B. Das, L. Einramhof, L.A. Bugnet, Astronomy and Astrophysics 690 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18521 |
Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy
B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301.
2024 | Published | Journal Article | IST-REx-ID: 18526 |
Endosomal membrane budding patterns in plants
E. Weiner, E. Berryman, F.F. Frey, A.G. Solís, A. Leier, T.M. Lago, A. Šarić, M.S. Otegui, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
E. Weiner, E. Berryman, F.F. Frey, A.G. Solís, A. Leier, T.M. Lago, A. Šarić, M.S. Otegui, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18523 |
A unified model for the clustering of quasars and galaxies at z ≈ 6
E. Pizzati, J.F. Hennawi, J. Schaye, M. Schaller, A.C. Eilers, F. Wang, C.S. Frenk, W. Elbers, J.C. Helly, R. Mackenzie, J.J. Matthee, R. Bordoloi, D. Kashino, R.P. Naidu, M. Yue, Monthly Notices of the Royal Astronomical Society 534 (2024) 3155–3175.
[Published Version]
View
| Files available
| DOI
| WoS
E. Pizzati, J.F. Hennawi, J. Schaye, M. Schaller, A.C. Eilers, F. Wang, C.S. Frenk, W. Elbers, J.C. Helly, R. Mackenzie, J.J. Matthee, R. Bordoloi, D. Kashino, R.P. Naidu, M. Yue, Monthly Notices of the Royal Astronomical Society 534 (2024) 3155–3175.
2024 | Published | Journal Article | IST-REx-ID: 18527 |
Carbon envelopes around merging galaxies at z ~ 4.5
C. Di Cesare, M. Ginolfi, L. Graziani, R. Schneider, M. Romano, G. Popping, Astronomy and Astrophysics 690 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
C. Di Cesare, M. Ginolfi, L. Graziani, R. Schneider, M. Romano, G. Popping, Astronomy and Astrophysics 690 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18524 |
Binary yellow supergiants in the Magellanic Clouds. I. Photometric candidate identification
A.J.G. O’Grady, M.R. Drout, K.F. Neugent, B. Ludwig, Y.L.L. Götberg, B.M. Gaensler, Astrophysical Journal 975 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A.J.G. O’Grady, M.R. Drout, K.F. Neugent, B. Ludwig, Y.L.L. Götberg, B.M. Gaensler, Astrophysical Journal 975 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18522 |
The Dsc ubiquitin ligase complex identifies transmembrane degrons to degrade orphaned proteins at the Golgi
Y. Weyer, S.I. Schwabl, X. Tang, A. Purwar, K. Siegmann, A. Ruepp, T. Dunzendorfer-Matt, M.A. Widerin, V. Niedrist, N.J.M. Mutsters, M.G. Tettamanti, S. Weys, B. Sarg, L. Kremser, K.R. Liedl, O. Schmidt, D. Teis, Nature Communications 15 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Y. Weyer, S.I. Schwabl, X. Tang, A. Purwar, K. Siegmann, A. Ruepp, T. Dunzendorfer-Matt, M.A. Widerin, V. Niedrist, N.J.M. Mutsters, M.G. Tettamanti, S. Weys, B. Sarg, L. Kremser, K.R. Liedl, O. Schmidt, D. Teis, Nature Communications 15 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18559 |
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
M.A. Kwan, A. Sah, M. Sawhney, M. Simkin, Annals of Mathematics 200 (2024) 1059–1156.
2024 | Published | Journal Article | IST-REx-ID: 18564 |
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
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).
2024 | Published | Journal Article | IST-REx-ID: 18596 |
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
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.
2024 | Published | Journal Article | IST-REx-ID: 18602 |
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
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).
2024 | Published | Journal Article | IST-REx-ID: 18553 |
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
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.
2024 | Published | Conference Paper | IST-REx-ID: 18600 |
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
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.
2024 | Published | Journal Article | IST-REx-ID: 18554 |
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
L. Erdös, V. Riabov, Communications in Mathematical Physics 405 (2024).
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
M. Chalupa, T.A. Henzinger, A. Oliveira da Costa, in:, Integrated Formal Methods, Springer Nature, 2024, pp. 151–171.
2024 | Published | Journal Article | IST-REx-ID: 18585 |
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
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.
2024 | Published | Journal Article | IST-REx-ID: 18630 |
Stochastic processes with expected stopping time
K. Chatterjee, L. Doyen, Logical Methods in Computer Science 20 (2024) 11:1-11:34.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
K. Chatterjee, L. Doyen, Logical Methods in Computer Science 20 (2024) 11:1-11:34.