Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




475 Publications

2024 | Published | Journal Article | IST-REx-ID: 15407 | OA
Finžgar, Jernej Rudi, et al. “Quantum-Informed Recursive Optimization Algorithms.” PRX Quantum, vol. 5, no. 2, 020327, American Physical Society, 2024, doi:10.1103/PRXQuantum.5.020327.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Submitted | Preprint | IST-REx-ID: 17136 | OA
Arkhipov, Pavel. “Majority Dynamics and Internal Partitions of Random Regular Graphs: Experimental Results.” ArXiv, 2406.07026, doi:10.48550/arXiv.2406.07026.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 17141 | OA
Zhang, Zilin, et al. “Slow and Rapid Auxin Responses in Arabidopsis.” Journal of Experimental Botany, vol. 75, no. 18, erae246, Oxford University Press, 2024, doi:10.1093/jxb/erae246.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2024 | Published | Conference Paper | IST-REx-ID: 17170 | OA
Attali, Dominique, et al. “Tight Bounds for the Learning of Homotopy à La Niyogi, Smale, and Weinberger for Subsets of Euclidean Spaces and of Riemannian Manifolds.” 40th International Symposium on Computational Geometry, vol. 293, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 11:1-11:19, doi:10.4230/LIPIcs.SoCG.2024.11.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Research Data | IST-REx-ID: 17196 | OA
Sagi, Oliver. A Gate-Tunable Transmon in Planar Ge. Institute of Science and Technology Austria, 2024, doi:10.15479/AT:ISTA:17196.
[Published Version] View | Files available | DOI
 
2024 | Published | Conference Paper | IST-REx-ID: 17214 | OA
Chen, Yi-Lu, et al. “Primal-Dual Non-Smooth Friction for Rigid Body Animation.” Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24, Association for Computing Machinery, 2024, doi:10.1145/3641519.3657485.
[Published Version] View | Files available | DOI | WoS
 
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, vol. 161, no. 3, 034111, AIP Publishing, 2024, doi: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, et al. “Equivalence and Similarity Refutation for Probabilistic Programs.” Proceedings of the ACM on Programming Languages, vol. 8, 232, Association for Computing Machinery, 2024, doi:10.1145/3656462.
[Published Version] View | Files available | DOI | arXiv
 
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, doi:10.15479/AT:ISTA:17344.
[Published Version] View | Files available | DOI
 
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, doi:10.15479/AT:ISTA:17362.
[Published Version] View | Files available | DOI
 
2024 | Research Data | IST-REx-ID: 17488 | OA
Satapathy, Roshan K., et al. Bilateral Interactions of Optic-Flow Sensitive Neurons Coordinate Course Control in Flies. Institute of Science and Technology Austria, 2024, doi:10.15479/AT:ISTA:17488.
View | Files available | DOI
 
2024 | Draft | Preprint | IST-REx-ID: 20071 | OA
Dvorak, Martin, and Vladimir Kolmogorov. “Duality Theory in Linear Optimization and Its Extensions -- Formally  Verified.” ArXiv, 2409.08119, doi:10.48550/arXiv.2409.08119.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 17426 | OA
Prach, Bernd, et al. “1-Lipschitz Layers Compared: Memory, Speed, and Certifiable Robustness.” Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, Computer Vision Foundation, 2024, pp. 24574–83, doi:10.1109/CVPR52733.2024.02320.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2024 | Draft | Preprint | IST-REx-ID: 18874 | OA
Prach, Bernd, and Christoph Lampert. “Intriguing Properties of Robust Classification.” ArXiv, 2412.04245, doi:10.48550/arXiv.2412.04245.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18087 | OA
Maslov, Mikhail, et al. “Theory of Angular Momentum Transfer from Light to Molecules.” Physical Review Research, vol. 6, no. 3, 033277, American Physical Society, 2024, doi:10.1103/physrevresearch.6.033277.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 12846 | OA
Chern, Albert, and Sadashige Ishida. “Area Formula for Spherical Polygons via Prequantization.” SIAM Journal on Applied Algebra and Geometry, vol. 8, no. 3, Society for Industrial and Applied Mathematics, 2024, pp. 782–96, doi:10.1137/23M1565255.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2024 | Draft | Preprint | IST-REx-ID: 17361 | OA
Bauer, Martin, et al. “Symplectic Structures on the Space of Space Curves.” ArXiv, doi:10.48550/arXiv.2407.19908.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
Chalupa, Marek, et al. “QuAK: Quantitative Automata Kit.” 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, vol. 15222, Springer Nature, 2024, pp. 3–20, doi:10.1007/978-3-031-75387-9_1.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 14687 | OA
Jethwa, Rajesh B., et al. “To DISP or Not? The Far‐reaching Reaction Mechanisms Underpinning Lithium‐air Batteries.” Angewandte Chemie International Edition, vol. 63, no. 28, e202316476, Wiley, 2024, doi:10.1002/anie.202316476.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 18266
Chatterjee, Krishnendu, et al. “Value-Positivity for Matrix Games.” Mathematics of Operations Research, vol. 50, no. 4, Institute for Operations Research and the Management Sciences, 2024, pp. 2433–3282, doi:10.1287/moor.2022.0332.
View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed