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.
7461 Publications
2024 | Research Data | IST-REx-ID: 17488 | 
Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies
R.K. Satapathy, M.A. Jösch, O. Symonova, V. Pokusaeva, (2024).
View
| Files available
| DOI
R.K. Satapathy, M.A. Jösch, O. Symonova, V. Pokusaeva, (2024).
2024 | Published | Journal Article | IST-REx-ID: 18488 |
Tangent space generators of matrix product states and exact floquet quantum scars
M. Ljubotina, E. Petrova, N. Schuch, M. Serbyn, PRX Quantum 5 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Ljubotina, E. Petrova, N. Schuch, M. Serbyn, PRX Quantum 5 (2024).
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 | 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: 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: 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.
2024 | Published | Journal Article | IST-REx-ID: 18582 |
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
C. Luschnig, J. Friml, Nature Communications 15 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18629 |
Anisotropic potential immersed in a dipolar Bose-Einstein condensate
N. Shukla, A. Volosniev, J.R. Armstrong, Physical Review A 110 (2024).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
N. Shukla, A. Volosniev, J.R. Armstrong, Physical Review A 110 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18616
Quantum scars make their mark in graphene
D. Abanin, M. Serbyn, Nature 635 (2024) 825–826.
View
| DOI
| WoS
| PubMed | Europe PMC
D. Abanin, M. Serbyn, Nature 635 (2024) 825–826.
2024 | Published | Journal Article | IST-REx-ID: 18653 |
Automated long-range compensation of an rf quantum dot sensor
J. Hickie, B. Van Straaten, F. Fedele, D. Jirovec, A. Ballabio, D. Chrastina, G. Isella, G. Katsaros, N. Ares, Physical Review Applied 22 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
J. Hickie, B. Van Straaten, F. Fedele, D. Jirovec, A. Ballabio, D. Chrastina, G. Isella, G. Katsaros, N. Ares, Physical Review Applied 22 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18651
Development: Turing mechanics
N. Hino, C. Santos Fernandes Lasbarrères Camelo, C.-P.J. Heisenberg, Current Biology 34 (2024) R1230–R1232.
View
| DOI
| WoS
| PubMed | Europe PMC
N. Hino, C. Santos Fernandes Lasbarrères Camelo, C.-P.J. Heisenberg, Current Biology 34 (2024) R1230–R1232.
2024 | Published | Journal Article | IST-REx-ID: 18703 |
Density amplifiers of cooperation for spatial games
J. Svoboda, K. Chatterjee, 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
J. Svoboda, K. Chatterjee, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18761 |
Evidence for a novel X chromosome in termites
R. Fraser, R. Moraa, A. Djolai, N. Meisenheimer, S. Laube, B. Vicoso, A.K. Huylmans, Genome Biology and Evolution 16 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R. Fraser, R. Moraa, A. Djolai, N. Meisenheimer, S. Laube, B. Vicoso, A.K. Huylmans, Genome Biology and Evolution 16 (2024).