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.
1850 Publications
2024 | Research Data | IST-REx-ID: 17042 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Raw data to "MAS NMR experiments of corynebacterial cell walls: complementary 1H- and CPMAS CryoProbe-enhanced 13C-detected experiments"
P. Schanda, (2024).
View
| Files available
| DOI
P. Schanda, (2024).
2024 |Published| Conference Paper | IST-REx-ID: 17051 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Trapdoor memory-hard functions
B. Auerbach, C.U. Günther, K.Z. Pietrzak, in:, 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Springer Nature, 2024, pp. 315–344.
[Preprint]
View
| DOI
| Download Preprint (ext.)
B. Auerbach, C.U. Günther, K.Z. Pietrzak, in:, 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Springer Nature, 2024, pp. 315–344.
2024 |Published| Conference Paper | IST-REx-ID: 17093 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Communication-efficient federated learning with data and client heterogeneity
H. Zakerinia, S. Talaei, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 27th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2024, pp. 3448–3456.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
H. Zakerinia, S. Talaei, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 27th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2024, pp. 3448–3456.
2024 |Published| Journal Article | IST-REx-ID: 17114 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
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).
2024 |Published| Journal Article | IST-REx-ID: 17113 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
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).
2024 |Published| Conference Paper | IST-REx-ID: 17126 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.)
E. Tairi, A. Ünal, in:, Advances in Cryptology – EUROCRYPT 2024, Springer Nature, 2024, pp. 249–279.
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17142 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
| Download Published Version (ext.)
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).
2024 |Published| Thesis | IST-REx-ID: 17133 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
F. Hassani, Superconducting Qubits Capable of Dynamic Switching between Protected and High-Speed Control Regimes, Institute of Science and Technology Austria, 2024.
2024 |Published| Thesis | IST-REx-ID: 15020 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Genetic information and biological optimization
M. Hledik, Genetic Information and Biological Optimization, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
M. Hledik, Genetic Information and Biological Optimization, Institute of Science and Technology Austria, 2024.
2024 |Published| Journal Article | IST-REx-ID: 17183 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Emergent macroscopic bistability induced by a single superconducting qubit
R. Sett, F. Hassani, D.T. Phan, S. Barzanjeh, A. Vukics, J.M. Fink, PRX Quantum 5 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
R. Sett, F. Hassani, D.T. Phan, S. Barzanjeh, A. Vukics, J.M. Fink, PRX Quantum 5 (2024).
2023 |Published| Journal Article | IST-REx-ID: 12158 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis
P. Zeller, J. Yeung, H. Viñas Gaza, B.A. de Barbanson, V. Bhardwaj, M. Florescu, R. van der Linden, A. van Oudenaarden, Nature Genetics 55 (2023) 333–345.
[Published Version]
View
| Files available
| DOI
P. Zeller, J. Yeung, H. Viñas Gaza, B.A. de Barbanson, V. Bhardwaj, M. Florescu, R. van der Linden, A. van Oudenaarden, Nature Genetics 55 (2023) 333–345.
2023 |Published| Book Chapter | IST-REx-ID: 12720
Molecular Cloning Using In Vivo DNA Assembly
S. Arroyo-Urea, J. Watson, J. García-Nafría, in:, G. Scarlett (Ed.), DNA Manipulation and Analysis, Springer Nature, New York, NY, United States, 2023, pp. 33–44.
View
| DOI
| PubMed | Europe PMC
S. Arroyo-Urea, J. Watson, J. García-Nafría, in:, G. Scarlett (Ed.), DNA Manipulation and Analysis, Springer Nature, New York, NY, United States, 2023, pp. 33–44.
2023 |Published| Conference Poster | IST-REx-ID: 12736 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Unexpected scaling in path copying trees
V. Aksenov, T.A. Brown, A. Fedorov, I. Kokorin, Unexpected Scaling in Path Copying Trees, Association for Computing Machinery, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
V. Aksenov, T.A. Brown, A. Fedorov, I. Kokorin, Unexpected Scaling in Path Copying Trees, Association for Computing Machinery, 2023.
2023 |Published| Conference Paper | IST-REx-ID: 12854 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bubaak: Runtime monitoring of program verifiers
M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 535–540.
[Published Version]
View
| Files available
| DOI
M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 535–540.
2023 |Published| Conference Paper | IST-REx-ID: 12856 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Vamos: Middleware for best-effort third-party monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2023, pp. 260–281.
[Published Version]
View
| Files available
| DOI
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2023, pp. 260–281.
2023 |Published| Conference Paper | IST-REx-ID: 13143 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Certifying giant nonprimes
C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.
2023 |Published| Conference Paper | IST-REx-ID: 13142 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A learner-verifier framework for neural network controllers and certificates of stochastic systems
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
2023 |Published| Conference Paper | IST-REx-ID: 13141 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Computing adequately permissive assumptions for synthesis
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
[Published Version]
View
| Files available
| DOI
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
2023 |Published| Journal Article | IST-REx-ID: 12086 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A simple algorithm for higher-order Delaunay mosaics and alpha shapes
H. Edelsbrunner, G.F. Osang, Algorithmica 85 (2023) 277–295.
[Published Version]
View
| Files available
| DOI
| WoS
H. Edelsbrunner, G.F. Osang, Algorithmica 85 (2023) 277–295.
2023 |Published| Conference Paper | IST-REx-ID: 12467 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Quantitative safety and liveness
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.