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.
5339 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
| arXiv
S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, Logical Methods in Computer Science 20 (2024) 1–28.
2024 | In Press | 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 (n.d.).
[Published Version]
View
| DOI
| Download Published Version (ext.)
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 (n.d.).
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
| arXiv
L. Erdös, V. Riabov, Communications in Mathematical Physics 405 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18556 |
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
| arXiv
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.
2024 | Published | Conference Paper | IST-REx-ID: 18557 |
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
| arXiv
A. El-Hayek, M. Henzinger, S. Schmid, in:, 38th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18558
Efficient and rapid sunlight-driven photocatalytic degradation of methylene blue dye using multiferroic BiFeO3 nanoparticles
M. Verma, A. Kumar, V.K. Thakur, A. Maurya, S. Kumar, S. Singh, S.K. Srivastav, Journal of Sol-Gel Science and Technology (2024).
View
| DOI
M. Verma, A. Kumar, V.K. Thakur, A. Maurya, S. Kumar, S. Singh, S.K. Srivastav, Journal of Sol-Gel Science and Technology (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.)
| arXiv
M.A. Kwan, A. Sah, M. Sawhney, M. Simkin, Annals of Mathematics 200 (2024) 1059–1156.
2024 | Epub ahead of print | 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 Switzerland, Cham, 2024, pp. 154–164.
View
| DOI
T.A. Henzinger, in:, S. Graf, P. Pettersson, B. Steffen (Eds.), Real Time and Such, Springer Nature Switzerland, Cham, 2024, pp. 154–164.
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
| 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: 18603 |
Presynaptic cAMP-PKA-mediated potentiation induces reconfiguration of synaptic vesicle pools and channel-vesicle coupling at hippocampal mossy fiber boutons
O. Kim, Y. Okamoto, W. Kaufmann, N. Brose, R. Shigemoto, P.M. Jonas, PLoS Biology 22 (2024).
[Published Version]
View
| Files available
| DOI
O. Kim, Y. Okamoto, W. Kaufmann, N. Brose, R. Shigemoto, P.M. Jonas, PLoS Biology 22 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18604 |
Removing popular faces in curve arrangements
P. De Nooijer, S. Terziadis, A. Weinberger, Z. Masárová, T. Mchedlidze, M. Löffler, G. Rote, Journal of Graph Algorithms and Applications 28 (2024) 47–82.
[Published Version]
View
| Files available
| DOI
| arXiv
P. De Nooijer, S. Terziadis, A. Weinberger, Z. Masárová, T. Mchedlidze, M. Löffler, G. Rote, Journal of Graph Algorithms and Applications 28 (2024) 47–82.
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
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: 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
| 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
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 | Epub ahead of print | Journal Article | IST-REx-ID: 18580 |
Morse predecomposition of an invariant set
M. Lipiński, K. Mischaikow, M. Mrozek, Qualitative Theory of Dynamical Systems 24 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Lipiński, K. Mischaikow, M. Mrozek, Qualitative Theory of Dynamical Systems 24 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18601 |
Protocol for fabricating elastomeric stencils for patterned stem cell differentiation
S. Rus, J. Merrin, M.A. Kulig, T. Minchington, A. Kicheva, STAR Protocols 5 (2024).
[Published Version]
View
| Files available
| DOI
S. Rus, J. Merrin, M.A. Kulig, T. Minchington, A. Kicheva, STAR Protocols 5 (2024).
2024 | Epub ahead of print | 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.)
| 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 | Epub ahead of print | Journal Article | IST-REx-ID: 18605 |
Moist convective scaling: Insights from an idealised model
L.N. Agasthya, C.J. Muller, M. Cheve, Quarterly Journal of the Royal Meteorological Society (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
L.N. Agasthya, C.J. Muller, M. Cheve, Quarterly Journal of the Royal Meteorological Society (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
M. Chalupa, T.A. Henzinger, A. Oliveira da Costa, in:, Integrated Formal Methods, Springer Nature, 2024, pp. 151–171.