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.
1621 Publications
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 15312 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Browning TD, Shparlinski IE. Square-free values of random polynomials. Journal of Number Theory. 2024;261:220-240. doi:10.1016/j.jnt.2024.02.013
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 |Published| Conference Paper | IST-REx-ID: 15333 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chalupa M, Richter C. Bubaak-SpLit: Split what you cannot verify (Competition contribution). In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 14572. Springer Nature; 2024:353–358. doi:10.1007/978-3-031-57256-2_20
[Published Version]
View
| Files available
| DOI
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 15348
Mahato N, Singh S, Sreekanth TVM, Yoo K, Kim J. In-situ engineered highly crystalline polythiophene empowered electrochemical capacitor-I: Synthesis, characterization, and electrochemical charge storage. Materials Letters. 2024;365. doi:10.1016/j.matlet.2024.136483
View
| DOI
2024 |Published| Journal Article | IST-REx-ID: 15358 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Barton NH, Sachdeva H. Limits to selection on standing variation in an asexual population. Theoretical Population Biology. 2024;157:129-137. doi:10.1016/j.tpb.2024.04.001
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Published| Journal Article | IST-REx-ID: 15372 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hibshman GN, Bravo JPK, Hooper MM, et al. Unraveling the mechanisms of PAMless DNA interrogation by SpRY-Cas9. Nature Communications. 2024;15. doi:10.1038/s41467-024-47830-3
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Published| Conference Paper | IST-REx-ID: 15376 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Avni G, Mallik K, Sadhukhan S. Auction-based scheduling. In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 14572. Springer Nature; 2024:153-172. doi:10.1007/978-3-031-57256-2_8
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Conference Paper | IST-REx-ID: 15377 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Majumdar R, Sağlam I, Thejaswini KS. Rabin games and colourful universal trees. In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 14572. Springer Nature; 2024:213-231. doi:10.1007/978-3-031-57256-2_11
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Research Data | IST-REx-ID: 17042 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schanda P. Raw data to “MAS NMR experiments of corynebacterial cell walls: complementary 1H- and CPMAS CryoProbe-enhanced 13C-detected experiments.” 2024. doi:10.15479/AT:ISTA:17042
View
| Files available
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17051 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Auerbach B, Günther CU, Pietrzak KZ. Trapdoor memory-hard functions. In: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques. Vol 14653. Springer Nature; 2024:315-344. doi:10.1007/978-3-031-58734-4_11
[Preprint]
View
| DOI
| Download Preprint (ext.)
2024 |Published| Conference Paper | IST-REx-ID: 17093 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zakerinia H, Talaei S, Nadiradze G, Alistarh D-A. Communication-efficient federated learning with data and client heterogeneity. In: Proceedings of the 27th International Conference on Artificial Intelligence and Statistics. Vol 238. ML Research Press; 2024:3448-3456.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 17113 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hibshman GN, Bravo JPK, Hooper MM, et al. Unraveling the mechanisms of PAMless DNA interrogation by SpRY-Cas9. Nature Communications. 2024;15. 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 E, Ünal A. Lower bounds for lattice-based compact functional encryption. In: Advances in Cryptology – EUROCRYPT 2024. Vol 14652. Springer Nature; 2024:249-279. 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 L, Koppensteiner P, Symonova O, 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. 2024;22. 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 F. Superconducting qubits capable of dynamic switching between protected and high-speed control regimes. 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 M. Genetic information and biological optimization. 2024. doi:10.15479/at:ista:15020
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 12158 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zeller P, Yeung J, Viñas Gaza H, et al. Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. 2023;55:333-345. doi:10.1038/s41588-022-01260-3
[Published Version]
View
| Files available
| DOI
2023 |Published| Book Chapter | IST-REx-ID: 12720
Arroyo-Urea S, Watson J, García-Nafría J. Molecular Cloning Using In Vivo DNA Assembly. In: Scarlett G, ed. DNA Manipulation and Analysis. Vol 2633. MIMB. New York, NY, United States: Springer Nature; 2023: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 V, Brown TA, Fedorov A, Kokorin I. Unexpected Scaling in Path Copying Trees. Association for Computing Machinery; 2023:438-440. 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 M, Henzinger TA. Bubaak: Runtime monitoring of program verifiers. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:535-540. 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 M, Mühlböck F, Muroya Lei S, Henzinger TA. Vamos: Middleware for best-effort third-party monitoring. In: Fundamental Approaches to Software Engineering. Vol 13991. Springer Nature; 2023:260-281. doi:10.1007/978-3-031-30826-0_15
[Published Version]
View
| Files available
| DOI