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.
1635 Publications
2024 |Published| Journal Article | IST-REx-ID: 12178 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Agresti, Antonio, Matthias Hieber, Amru Hussein, and Martin Saal. “The Stochastic Primitive Equations with Transport Noise and Turbulent Pressure.” Stochastics and Partial Differential Equations: Analysis and Computations. Springer Nature, 2024. https://doi.org/10.1007/s40072-022-00277-3.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 14488 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rao, Pramod, B. R. Mallikarjun, Gereon Fox, Tim Weyrich, Bernd Bickel, Hanspeter Pfister, Wojciech Matusik, et al. “A Deeper Analysis of Volumetric Relightiable Faces.” International Journal of Computer Vision. Springer Nature, 2024. https://doi.org/10.1007/s11263-023-01899-3.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Published| Journal Article | IST-REx-ID: 14884 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Davoli, Elisa, Lorenza D’Elia, and Jonas Ingmanns. “Stochastic Homogenization of Micromagnetic Energies and Emergence of Magnetic Skyrmions.” Journal of Nonlinear Science. Springer Nature, 2024. https://doi.org/10.1007/s00332-023-10005-3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 15018 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Shimura, Yosuke, Clement Godfrin, Andriy Hikavyy, Roy Li, Juan L Aguilera Servin, Georgios Katsaros, Paola Favia, et al. “Compressively Strained Epitaxial Ge Layers for Quantum Computing Applications.” Materials Science in Semiconductor Processing. Elsevier, 2024. https://doi.org/10.1016/j.mssp.2024.108231.
[Published Version]
View
| Files available
| DOI
| WoS
2024 |Published| Journal Article | IST-REx-ID: 17291 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Vallet, Alicia, Isabel Ayala, Barbara Perrone, Alia Hassan, Jean-Pierre Simorre, Catherine Bougault, and Paul Schanda. “MAS NMR Experiments of Corynebacterial Cell Walls: Complementary 1H- and CPMAS CryoProbe-Enhanced 13C-Detected Experiments.” Journal of Magnetic Resonance. Elsevier, 2024. https://doi.org/10.1016/j.jmr.2024.107708.
[Published Version]
View
| Files available
| DOI
2024 | Research Data | IST-REx-ID: 17042 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schanda, Paul. “Raw Data to ‘MAS NMR Experiments of Corynebacterial Cell Walls: Complementary 1H- and CPMAS CryoProbe-Enhanced 13C-Detected Experiments.’” ISTA, 2024. https://doi.org/10.15479/AT:ISTA:17042.
View
| Files available
| DOI
2024 |Published| Thesis | IST-REx-ID: 17208 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Medina Ramos, Raimel A. “Exploring the Optimization Landscape of Variational Quantum Algorithms.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:17208.
[Published Version]
View
| Files available
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17413 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Froleyks, Nils, Emily Yu, Armin Biere, and Keijo Heljanko. “Certifying Phase Abstraction.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 14739:284–303. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-63498-7_17.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Conference Paper | IST-REx-ID: 17402 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Meggendorfer, Tobias, and Maximilian Weininger. “Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games.” In 36th International Conference on Computer Aided Verification, 14683:359–72. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-65633-0_16.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Conference Paper | IST-REx-ID: 17411 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Scott, Jonathan A, Hossein Zakerinia, and Christoph Lampert. “PEFLL: Personalized Federated Learning by Learning to Learn.” In 12th International Conference on Learning Representations. OpenReview, 2024.
[Published Version]
View
| Files available
| 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, Jake Yeung, Helena Viñas Gaza, Buys Anton de Barbanson, Vivek Bhardwaj, Maria Florescu, Reinier van der Linden, and Alexander van Oudenaarden. “Single-Cell SortChIC Identifies Hierarchical Chromatin Dynamics during Hematopoiesis.” Nature Genetics. Springer Nature, 2023. https://doi.org/10.1038/s41588-022-01260-3.
[Published Version]
View
| Files available
| DOI
2023 |Published| Book Chapter | IST-REx-ID: 12720
Arroyo-Urea, Sandra, Jake Watson, and Javier García-Nafría. “Molecular Cloning Using In Vivo DNA Assembly.” In DNA Manipulation and Analysis, edited by Garry Scarlett, 2633:33–44. MIMB. New York, NY, United States: Springer Nature, 2023. https://doi.org/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, Trevor A Brown, Alexander Fedorov, and Ilya Kokorin. Unexpected Scaling in Path Copying Trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, 2023. https://doi.org/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.” In Tools and Algorithms for the Construction and Analysis of Systems, 13994:535–40. Springer Nature, 2023. https://doi.org/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, Fabian Mühlböck, Stefanie Muroya Lei, and Thomas A Henzinger. “Vamos: Middleware for Best-Effort Third-Party Monitoring.” In Fundamental Approaches to Software Engineering, 13991:260–81. Springer Nature, 2023. https://doi.org/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, Pavel Hubáček, Chethan Kamath, and Krzysztof Z Pietrzak. “Certifying Giant Nonprimes.” In Public-Key Cryptography - PKC 2023, 13940:530–53. Springer Nature, 2023. https://doi.org/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, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.” In Tools and Algorithms for the Construction and Analysis of Systems , 13993:3–25. Springer Nature, 2023. https://doi.org/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, Kaushik Mallik, Satya Prakash Nayak, and Anne Kathrin Schmuck. “Computing Adequately Permissive Assumptions for Synthesis.” In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, 13994:211–28. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30820-8_15.
[Published Version]
View
| Files available
| DOI
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, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Quantitative Safety and Liveness.” In 26th International Conference Foundations of Software Science and Computation Structures, 13992:349–70. Springer Nature, 2023. https://doi.org/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, Jessica E. Waters, Rajesh B Jethwa, Andrew D. Bond, Annie L. Colebatch, Raúl García-Rodríguez, and Dominic S. Wright. “Highly Adaptive Nature of Group 15 Tris(Quinolyl) Ligands─studies with Coinage Metals.” Inorganic Chemistry. American Chemical Society, 2023. https://doi.org/10.1021/acs.inorgchem.3c00057.
View
| DOI
| WoS
| PubMed | Europe PMC