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.
1953 Publications
2024 |Published| Journal Article | IST-REx-ID: 17113 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hibshman, Grace N., et al. “Unraveling the Mechanisms of PAMless DNA Interrogation by SpRY-Cas9.” Nature Communications, vol. 15, 3663, Springer Nature, 2024, doi:10.1038/s41467-024-47830-3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 |Published| Conference Paper | IST-REx-ID: 17126 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tairi, Erkan, and Akin Ünal. “Lower Bounds for Lattice-Based Compact Functional Encryption.” Advances in Cryptology – EUROCRYPT 2024, vol. 14652, Springer Nature, 2024, pp. 249–79, doi:10.1007/978-3-031-58723-8_9.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
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)
Burnett, Laura, et al. “Shared Behavioural Impairments in Visual Perception and Place Avoidance across Different Autism Models Are Driven by Periaqueductal Grey Hypoexcitability in Setd5 Haploinsufficient Mice.” PLoS Biology, vol. 22, e3002668, Public Library of Science, 2024, doi:10.1371/journal.pbio.3002668.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2024 |Published| Thesis | IST-REx-ID: 17133 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hassani, Farid. Superconducting Qubits Capable of Dynamic Switching between Protected and High-Speed Control Regimes. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:17133.
[Published Version]
View
| Files available
| DOI
2024 |Published| Thesis | IST-REx-ID: 15020 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hledik, Michal. Genetic Information and Biological Optimization. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:15020.
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17183 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sett, Riya, et al. “Emergent Macroscopic Bistability Induced by a Single Superconducting Qubit.” PRX Quantum, vol. 5, no. 1, 010327, American Physical Society, 2024, doi:10.1103/prxquantum.5.010327.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12158 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zeller, Peter, et al. “Single-Cell SortChIC Identifies Hierarchical Chromatin Dynamics during Hematopoiesis.” Nature Genetics, vol. 55, Springer Nature, 2023, pp. 333–45, doi:10.1038/s41588-022-01260-3.
[Published Version]
View
| Files available
| DOI
2023 |Published| Book Chapter | IST-REx-ID: 12720
Arroyo-Urea, Sandra, et al. “Molecular Cloning Using In Vivo DNA Assembly.” DNA Manipulation and Analysis, edited by Garry Scarlett, vol. 2633, Springer Nature, 2023, pp. 33–44, doi:10.1007/978-1-0716-3004-4_3.
View
| DOI
| PubMed | Europe PMC
2023 |Published| Conference Poster | IST-REx-ID: 12736 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Aksenov, Vitaly, et al. “Unexpected Scaling in Path Copying Trees.” Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 438–40, doi:10.1145/3572848.3577512.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 12854 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chalupa, Marek, and Thomas A. Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.” Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 535–40, doi:10.1007/978-3-031-30820-8_32.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12856 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chalupa, Marek, et al. “Vamos: Middleware for Best-Effort Third-Party Monitoring.” Fundamental Approaches to Software Engineering, vol. 13991, Springer Nature, 2023, pp. 260–81, doi:10.1007/978-3-031-30826-0_15.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 13143 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hoffmann, Charlotte, et al. “Certifying Giant Nonprimes.” Public-Key Cryptography - PKC 2023, vol. 13940, Springer Nature, 2023, pp. 530–53, doi:10.1007/978-3-031-31368-4_19.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 13142 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.” Tools and Algorithms for the Construction and Analysis of Systems , vol. 13993, Springer Nature, 2023, pp. 3–25, doi:10.1007/978-3-031-30823-9_1.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 13141 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Anand, Ashwani, et al. “Computing Adequately Permissive Assumptions for Synthesis.” TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 211–28, doi:10.1007/978-3-031-30820-8_15.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 12086 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Edelsbrunner, Herbert, and Georg F. Osang. “A Simple Algorithm for Higher-Order Delaunay Mosaics and Alpha Shapes.” Algorithmica, vol. 85, Springer Nature, 2023, pp. 277–95, doi:10.1007/s00453-022-01027-6.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Conference Paper | IST-REx-ID: 12467 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, Thomas A., et al. “Quantitative Safety and Liveness.” 26th International Conference Foundations of Software Science and Computation Structures, vol. 13992, Springer Nature, 2023, pp. 349–70, doi:10.1007/978-3-031-30829-1_17.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12737
García-Romero, Álvaro, et al. “Highly Adaptive Nature of Group 15 Tris(Quinolyl) Ligands─studies with Coinage Metals.” Inorganic Chemistry, vol. 62, no. 11, American Chemical Society, 2023, pp. 4625–36, doi:10.1021/acs.inorgchem.3c00057.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 12788 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Karle, Volker, et al. “Topological Charges of Periodically Kicked Molecules.” Physical Review Letters, vol. 130, no. 10, 103202, American Physical Society, 2023, doi:10.1103/PhysRevLett.130.103202.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12839 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ljubotina, Marko, et al. “Superdiffusive Energy Transport in Kinetically Constrained Models.” Physical Review X, vol. 13, no. 1, 011033, American Physical Society, 2023, doi:10.1103/PhysRevX.13.011033.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 12972 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Liu, Zhenyuan, et al. “Directionality-Aware Design of Embroidery Patterns.” Computer Graphics Forum, vol. 42, no. 2, Wiley, 2023, pp. 397–409, doi:10.1111/cgf.14770 .
[Published Version]
View
| Files available
| DOI
| WoS