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.

7604 Publications


2024 | Published | Conference Paper | IST-REx-ID: 18521 | OA
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
 

2024 | Published | Journal Article | IST-REx-ID: 18525 | OA
Quantitative omnigenic model discovers interpretable genome-wide associations
N. Ruzickova, M. Hledik, G. Tkačik, 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
 

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 | 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 | 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 | Thesis | MS | IST-REx-ID: 18588 | OA
Non equilibrium dynamics of driven individual particles and 3D printing across scales
C.N. Mweka, Non Equilibrium Dynamics of Driven Individual Particles and 3D Printing across Scales, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

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
 

2024 | Published | Journal Article | IST-REx-ID: 18603 | OA
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 | WoS | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 18604 | OA
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
 

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
 

2024 | Published | Journal Article | IST-REx-ID: 18629 | OA
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
 

2024 | Published | Journal Article | IST-REx-ID: 18630 | OA
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
 

Filters and Search Terms

supervisor%3D3FA14672-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications

Display / Sort

Export / Embed