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.
466 Publications
2024 |
Published |
Journal Article |
IST-REx-ID: 17202 |
Sagi, O., Crippa, A., Valentini, M., Janik, M., Baghumyan, L., Fabris, G., … Katsaros, G. (2024). A gate tunable transmon qubit in planar Ge. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-50763-6
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17208 |
Medina Ramos, R. A. (2024). Exploring the optimization landscape of variational quantum algorithms. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17208
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Conference Paper |
IST-REx-ID: 17214 |
Chen, Y.-L., Ly, M., & Wojtan, C. (2024). Primal-dual non-smooth friction for rigid body animation. In Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24. Denver, United States: Association for Computing Machinery. https://doi.org/10.1145/3641519.3657485
[Published Version]
View
| Files available
| DOI
| WoS
2024 |
Published |
Journal Article |
IST-REx-ID: 17219 |
Synak, P., Kalinov, A., Strugaru, I.-M., Etemadi, A., Yang, H., & Wojtan, C. (2024). Multi-material mesh-based surface tracking with implicit topology changes. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3658223
[Published Version]
View
| Files available
| DOI
| WoS
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17225 |
Li, V. (2024). Towards a quantum entanglement enhanced atom interferomter. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17225
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Journal Article |
IST-REx-ID: 17278 |
Wang, X., & Cheng, B. (2024). Integrating molecular dynamics simulations and experimental data for azeotrope predictions in binary mixtures. Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/5.0217232
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 17283 |
Chatterjee, K., Goharshady, E., Novotný, P., & Zikelic, D. (2024). Equivalence and similarity refutation for probabilistic programs. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3656462
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17336 |
Pedrotti, F. (2024). Functional inequalities and convergence of stochastic processes. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17336
[Published Version]
View
| Files available
| DOI
2024 |
Research Data |
IST-REx-ID: 17344 |
Surendranadh, P., & Sachdeva, H. (2024). Mathematica notebook for “Effect of assortative mating and sexual selection on polygenic barriers to gene flow.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17344
[Published Version]
View
| Files available
| DOI
2024 |
Draft |
Preprint |
IST-REx-ID: 17361 |
Bauer, M., Ishida, S., & Michor, P. W. (n.d.). Symplectic structures on the space of space curves. arXiv. https://doi.org/10.48550/arXiv.2407.19908
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Research Data |
IST-REx-ID: 17362 |
Elkrewi, M. N., & Vicoso, B. (2024). Data for: “Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17362
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Book Chapter |
IST-REx-ID: 17425
Miranda, O., Cheung, G. T., & Hippenmeyer, S. (2024). Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers. In K. Toyooka (Ed.), Neuronal Morphogenesis (1st ed., Vol. 2831, pp. 283–299). New York, NY: Springer Nature. https://doi.org/10.1007/978-1-0716-3969-6_19
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |
Published |
Conference Paper |
IST-REx-ID: 17426 |
Prach, B., Brau, F., Buttazzo, G., & Lampert, C. (2024). 1-Lipschitz layers compared: Memory, speed, and certifiable robustness. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 24574–24583). Seattle, WA, United States: Computer Vision Foundation. https://doi.org/10.1109/CVPR52733.2024.02320
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17485 |
Frantar, E. (2024). Compressing large neural networks : Algorithms, systems and scaling laws. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17485
[Published Version]
View
| Files available
| DOI
2024 |
Research Data |
IST-REx-ID: 17488 |
Satapathy, R. K., Jösch, M. A., Symonova, O., & Pokusaeva, V. (2024). Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17488
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17490 |
Markov, I. (2024). Communication-efficient distributed training of deep neural networks : An algorithms and systems perspective. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17490
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Conference Paper |
IST-REx-ID: 17634 |
Chalupa, M., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2024). QuAK: Quantitative Automata Kit. In 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Vol. 15222, pp. 3–20). Crete, Greece: Springer Nature. https://doi.org/10.1007/978-3-031-75387-9_1
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Draft |
Preprint |
IST-REx-ID: 20071 |
Dvorak, M., & Kolmogorov, V. (n.d.). Duality theory in linear optimization and its extensions -- formally verified. arXiv. https://doi.org/10.48550/arXiv.2409.08119
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18101 |
Porley Esteves, D. (2024). Structural characterization of spumavirus capsid assemblies. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18101
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18477 |
Kaczmarek, B. M. (2024). Biochemical and structural insights into ADAR1 RNA editing. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18477
[Published Version]
View
| Files available
| DOI