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.

8449 Publications


2024 | Published | Conference Paper | IST-REx-ID: 17098 | OA
Deterministic sub-exponential algorithm for discounted-sum games with unary weights
A. Asadi, K. Chatterjee, J. Svoboda, R.J. Saona Urmeneta, in:, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Association for Computing Machinery, 2024.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 17099 | OA
Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, J. Svoboda, in:, 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Submitted | Preprint | IST-REx-ID: 17101 | OA
Zero-sum random games on directed graphs
L. Attia, L. Lichev, D. Mitsche, R.J. Saona Urmeneta, B. Ziliotto, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17112 | OA
Type III-B CRISPR-Cas cascade of proteolytic cleavages
J.A. Steens, J.P.K. Bravo, C.R.P. Salazar, C. Yildiz, A.M. Amieiro, S. Köstlbacher, S.H.P. Prinsen, C. Patinios, A. Bardis, A. Barendregt, R.A. Scheltema, T.J.G. Ettema, J. van der Oost, D.W. Taylor, R.H.J. Staals, Science 383 (2024) 512–519.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 17113 | OA
Unraveling the mechanisms of PAMless DNA interrogation by SpRY-Cas9
G.N. Hibshman, J.P.K. Bravo, M.M. Hooper, T.L. Dangerfield, H. Zhang, I.J. Finkelstein, K.A. Johnson, D.W. Taylor, Nature Communications 15 (2024).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 17114 | OA
RNA targeting and cleavage by the type III-Dv CRISPR effector complex
E.A. Schwartz, J.P.K. Bravo, M. Ahsan, L.A. Macias, C.L. McCafferty, T.L. Dangerfield, J.N. Walker, J.S. Brodbelt, G. Palermo, P.C. Fineran, R.D. Fagerlund, D.W. Taylor, Nature Communications 15 (2024).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 17122 | OA
The association between maximal muscle strength, disease severity and psychopharmacotherapy among young to middle-aged inpatients with affective disorders – a prospective pilot study
H. Ramming, L. Theuerkauf, O. Hoos, K. Lichter, S. Kittel-Schneider, BMC Psychiatry 24 (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 | Published | Conference Paper | IST-REx-ID: 17126 | OA
Lower bounds for lattice-based compact functional encryption
E. Tairi, A. Ünal, in:, Advances in Cryptology – EUROCRYPT 2024, Springer Nature, 2024, pp. 249–279.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2024 | Published | Thesis | PhD | IST-REx-ID: 17133 | OA
Superconducting qubits capable of dynamic switching between protected and high-speed control regimes
F. Hassani, Superconducting Qubits Capable of Dynamic Switching between Protected and High-Speed Control Regimes, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 | Submitted | Preprint | IST-REx-ID: 17136 | OA
Majority dynamics and internal partitions of random regular graphs: Experimental results
P. Arkhipov, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Conference Abstract | IST-REx-ID: 17139 | OA
How much memory per CPU core is requested?
A. Schlögl, W. Khalid, S. Elefante, S. Stadlbauer, in:, ASHPC24 - Austrian-Slovenian HPC Meeting 2024, EuroCC Austria, 2024, p. 46.
[Published Version] View | Files available | DOI
 

2024 | Published | Journal Article | IST-REx-ID: 17141 | OA
Slow and rapid auxin responses in Arabidopsis
Z. Zhang, H. Chen, S. Peng, H. Han, Journal of Experimental Botany 75 (2024).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 17142 | OA
Shared behavioural impairments in visual perception and place avoidance across different autism models are driven by periaqueductal grey hypoexcitability in Setd5 haploinsufficient mice
L. Burnett, P. Koppensteiner, O. Symonova, T. Masson, T.A. Vega Zuniga, X. Contreras, T. Rülicke, R. Shigemoto, G. Novarino, M.A. Jösch, PLoS Biology 22 (2024).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 17143 | OA
Local conditions for global convergence of gradient flows and proximal point sequences in metric spaces
L. Dello Schiavo, J. Maas, F. Pedrotti, Transactions of the American Mathematical Society 377 (2024) 3779–3804.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 17144 | OA
The medial axis of any closed bounded set Is Lipschitz stable with respect to the Hausdorff distance Under ambient diffeomorphisms
H. Kourimska, A. Lieutier, M. Wintraecken, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 17145 | OA
Grid peeling of parabolas
G. Rote, M. Rüber, M. Saghafian, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17154 | OA
Fluctuation moments for regular functions of Wigner Matrices
J. Reker, Mathematical Physics, Analysis and Geometry 27 (2024).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Thesis | PhD | IST-REx-ID: 17156 | OA
Equivariant cohomology and rings of functions
K.P. Rychlewicz, Equivariant Cohomology and Rings of Functions, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 | Published | Journal Article | IST-REx-ID: 17162 | OA
Quantitative bounds on resource usage of probabilistic programs
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, Proceedings of the ACM on Programming Languages 8 (2024).
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 17164 | OA
Central limit theorems for random matrices: From resolvents to free probability
J. Reker, Central Limit Theorems for Random Matrices: From Resolvents to Free Probability, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed