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 | OA
Sagi, Oliver, Alessandro Crippa, Marco Valentini, Marian Janik, Levon Baghumyan, Giorgio Fabris, Lucky Kapoor, et al. “A Gate Tunable Transmon Qubit in Planar Ge.” Nature Communications. Springer Nature, 2024. 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 | OA
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: 17214 | OA
Chen, Yi-Lu, Mickaël Ly, and Chris Wojtan. “Primal-Dual Non-Smooth Friction for Rigid Body Animation.” In Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24. Association for Computing Machinery, 2024. https://doi.org/10.1145/3641519.3657485.
[Published Version] View | Files available | DOI | WoS
 

2024 | Published | Journal Article | IST-REx-ID: 17219 | OA
Synak, Peter, Aleksei Kalinov, Irina-Malina Strugaru, Arian Etemadi, Huidong Yang, and Chris Wojtan. “Multi-Material Mesh-Based Surface Tracking with Implicit Topology Changes.” ACM Transactions on Graphics. Association for Computing Machinery, 2024. https://doi.org/10.1145/3658223.
[Published Version] View | Files available | DOI | WoS
 

2024 | Published | Thesis | PhD | IST-REx-ID: 17225 | OA
Li, Vyacheslav. “Towards a Quantum Entanglement Enhanced Atom Interferomter.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:17225.
[Published Version] View | Files available | DOI
 

2024 | Published | Journal Article | IST-REx-ID: 17278 | OA
Wang, Xiaoyu, and Bingqing Cheng. “Integrating Molecular Dynamics Simulations and Experimental Data for Azeotrope Predictions in Binary Mixtures.” Journal of Chemical Physics. AIP Publishing, 2024. 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 | OA
Chatterjee, Krishnendu, Ehsan Goharshady, Petr Novotný, and Dorde Zikelic. “Equivalence and Similarity Refutation for Probabilistic Programs.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2024. https://doi.org/10.1145/3656462.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Thesis | PhD | IST-REx-ID: 17336 | OA
Pedrotti, Francesco. “Functional Inequalities and Convergence of Stochastic Processes.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:17336.
[Published Version] View | Files available | DOI
 

2024 | Research Data | IST-REx-ID: 17344 | OA
Surendranadh, Parvathy, and Himani Sachdeva. “Mathematica Notebook for ‘Effect of Assortative Mating and Sexual Selection on Polygenic Barriers to Gene Flow.’” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/AT:ISTA:17344.
[Published Version] View | Files available | DOI
 

2024 | Draft | Preprint | IST-REx-ID: 17361 | OA
Bauer, Martin, Sadashige Ishida, and Peter W. Michor. “Symplectic Structures on the Space of Space Curves.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2407.19908.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Research Data | IST-REx-ID: 17362 | OA
Elkrewi, Marwan N, and Beatriz Vicoso. “Data for: ‘Single-Nucleus Atlas of the Artemia Female Reproductive System Suggests Germline Repression of the Z Chromosome.’” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/AT:ISTA:17362.
[Published Version] View | Files available | DOI
 

2024 | Published | Book Chapter | IST-REx-ID: 17425
Miranda, Osvaldo, Giselle T Cheung, and Simon Hippenmeyer. “Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers.” In Neuronal Morphogenesis, edited by Kazuhito Toyooka, 1st ed., 2831:283–99. MIMB. New York, NY: Springer Nature, 2024. 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 | OA
Prach, Bernd, Fabio Brau, Giorgio Buttazzo, and Christoph Lampert. “1-Lipschitz Layers Compared: Memory, Speed, and Certifiable Robustness.” In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 24574–83. Computer Vision Foundation, 2024. 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 | OA
Frantar, Elias. “Compressing Large Neural Networks : Algorithms, Systems and Scaling Laws.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:17485.
[Published Version] View | Files available | DOI
 

2024 | Research Data | IST-REx-ID: 17488 | OA
Satapathy, Roshan K, Maximilian A Jösch, Olga Symonova, and Victoria Pokusaeva. “Bilateral Interactions of Optic-Flow Sensitive Neurons Coordinate Course Control in Flies.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/AT:ISTA:17488.
View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 17490 | OA
Markov, Ilia. “Communication-Efficient Distributed Training of Deep Neural Networks : An Algorithms and Systems Perspective.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:17490.
[Published Version] View | Files available | DOI
 

2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
Chalupa, Marek, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “QuAK: Quantitative Automata Kit.” In 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 15222:3–20. Springer Nature, 2024. 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 | OA
Dvorak, Martin, and Vladimir Kolmogorov. “Duality Theory in Linear Optimization and Its Extensions -- Formally  Verified.” ArXiv, n.d. 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 | OA
Porley Esteves, Darío. “Structural Characterization of Spumavirus Capsid Assemblies.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18101.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18477 | OA
Kaczmarek, Beata M. “Biochemical and Structural Insights into ADAR1 RNA Editing.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18477.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

department=GradSch

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed