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.
7289 Publications
2024 | Published | Journal Article | IST-REx-ID: 17885 | 
The novel ribosome biogenesis inhibitor usnic acid blocks nucleolar pre-60S maturation
Kofler, Lisa, The novel ribosome biogenesis inhibitor usnic acid blocks nucleolar pre-60S maturation. Nature Communications 15. 2024
[Published Version]
View
| Files available
| DOI
Kofler, Lisa, The novel ribosome biogenesis inhibitor usnic acid blocks nucleolar pre-60S maturation. Nature Communications 15. 2024
2024 | Published | Journal Article | IST-REx-ID: 15320 |
Tuning the Josephson diode response with an ac current
Seoane Souto, Rubén, Tuning the Josephson diode response with an ac current. Physical Review Research 6 (2). 2024
[Published Version]
View
| Files available
| DOI
Seoane Souto, Rubén, Tuning the Josephson diode response with an ac current. Physical Review Research 6 (2). 2024
2024 | Published | Journal Article | IST-REx-ID: 17280 |
Monoallelic de novo AJAP1 loss-of- function variants disrupt trans-synaptic control of neurotransmitter release
Früh, Simon, Monoallelic de novo AJAP1 loss-of- function variants disrupt trans-synaptic control of neurotransmitter release. Science Advances 10 (28). 2024
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
Früh, Simon, Monoallelic de novo AJAP1 loss-of- function variants disrupt trans-synaptic control of neurotransmitter release. Science Advances 10 (28). 2024
2024 | Published | Journal Article | IST-REx-ID: 15179 |
A hybrid pathway for self-sustained luminescence
Palkina, Kseniia A., A hybrid pathway for self-sustained luminescence. Science Advances 10 (10). 2024
[Published Version]
View
| Files available
| DOI
Palkina, Kseniia A., A hybrid pathway for self-sustained luminescence. Science Advances 10 (10). 2024
2024 | Draft | Preprint | IST-REx-ID: 18549 |
Evidence of a Slower-Z effect in Schistosoma japonicum
Mrnjavac, Andrea, Evidence of a Slower-Z effect in Schistosoma japonicum. bioRxiv. 2024
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
Mrnjavac, Andrea, Evidence of a Slower-Z effect in Schistosoma japonicum. bioRxiv. 2024
2024 | Published | Conference Paper | IST-REx-ID: 19511 |
QuaRot: Outlier-free 4-bit inference in rotated LLMs
Ashkboos, Saleh, QuaRot: Outlier-free 4-bit inference in rotated LLMs. 38th Conference on Neural Information Processing Systems 37. 2024
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
Ashkboos, Saleh, QuaRot: Outlier-free 4-bit inference in rotated LLMs. 38th Conference on Neural Information Processing Systems 37. 2024
2024 | Published | Journal Article | IST-REx-ID: 17123 |
Information content and optimization of self-organized developmental systems
Brückner, David, Information content and optimization of self-organized developmental systems. Proceedings of the National Academy of Sciences of the United States of America 121 (23). 2024
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
Brückner, David, Information content and optimization of self-organized developmental systems. Proceedings of the National Academy of Sciences of the United States of America 121 (23). 2024
2024 | Published | Journal Article | IST-REx-ID: 14980 |
Zigzag optical cavity for sensing and controlling torsional motion
S. Agafonova, U. Mishra, F.R. Diorico, O. Hosten, Physical Review Research 6 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
S. Agafonova, U. Mishra, F.R. Diorico, O. Hosten, Physical Review Research 6 (2024).
2024 | Published | Thesis | IST-REx-ID: 17225 |
Towards a quantum entanglement enhanced atom interferomter
V. Li, Towards a Quantum Entanglement Enhanced Atom Interferomter, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
V. Li, Towards a Quantum Entanglement Enhanced Atom Interferomter, Institute of Science and Technology Austria, 2024.
2024 | Published | Journal Article | IST-REx-ID: 15004 |
Modeling laser pulses as δ kicks: Reevaluating the impulsive limit in molecular rotational dynamics
V. Karle, M. Lemeshko, Physical Review A 109 (2024).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Karle, M. Lemeshko, Physical Review A 109 (2024).
2024 | Draft | Preprint | IST-REx-ID: 19425 |
Anomalous multi-gap topological phases in periodically driven quantum rotors
V. Karle, M. Lemeshko, A. Bouhon, R.-J. Slager, F.N. Ünal, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Karle, M. Lemeshko, A. Bouhon, R.-J. Slager, F.N. Ünal, ArXiv (n.d.).
2024 | Published | Thesis | IST-REx-ID: 18443 |
T-dual branes on hyperkähler manifolds
M.A. Sisak, T-Dual Branes on Hyperkähler Manifolds, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
M.A. Sisak, T-Dual Branes on Hyperkähler Manifolds, Institute of Science and Technology Austria, 2024.
2024 | Published | Journal Article | IST-REx-ID: 17887 |
Approximation of classical two-phase flows of viscous incompressible fluids by a Navier–Stokes/Allen–Cahn system
H. Abels, J.L. Fischer, M. Moser, Archive for Rational Mechanics and Analysis 248 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
H. Abels, J.L. Fischer, M. Moser, Archive for Rational Mechanics and Analysis 248 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17481 |
Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow
J.L. Fischer, A. Marveggio, Annales de l’Institut Henri Poincare C 41 (2024) 1117–1178.
[Published Version]
View
| Files available
| DOI
J.L. Fischer, A. Marveggio, Annales de l’Institut Henri Poincare C 41 (2024) 1117–1178.
2024 | Published | Conference Paper | IST-REx-ID: 18121 |
SPADE: Sparsity-guided debugging for deep neural networks
A.S. Moakhar, E.B. Iofinova, E. Frantar, D.-A. Alistarh, in:, Proceedings of the 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 45955–45987.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
A.S. Moakhar, E.B. Iofinova, E. Frantar, D.-A. Alistarh, in:, Proceedings of the 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 45955–45987.
2024 | Published | Conference Paper | IST-REx-ID: 17634 |
QuAK: Quantitative Automata Kit
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Springer Nature, 2024, pp. 3–20.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Springer Nature, 2024, pp. 3–20.
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
| 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 | Conference Paper | IST-REx-ID: 18068 |
Strategic dominance: A new preorder for nondeterministic processes
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 17327 |
Abstraction-based decision making for statistical properties
F. Cano, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, 9th International Conference on Formal Structures for Computation and Deduction, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
F. Cano, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, 9th International Conference on Formal Structures for Computation and Deduction, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 18067 |
History-determinism vs fair simulation
U. Boker, T.A. Henzinger, K. Lehtinen, A. Prakash, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
U. Boker, T.A. Henzinger, K. Lehtinen, A. Prakash, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.