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.
5258 Publications
2023 | Published | Journal Article | IST-REx-ID: 14778 | 
Chatterjee, Krishnendu, et al. “On Lexicographic Proof Rules for Probabilistic Termination.” Formal Aspects of Computing, vol. 35, no. 2, 11, Association for Computing Machinery, 2023, doi:10.1145/3585391.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14922 |
Esposito, Amedeo Roberto, and Marco Mondelli. “Concentration without Independence via Information Measures.” Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 400–05, doi:10.1109/isit54713.2023.10206899.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Poster | IST-REx-ID: 15292 |
Chen, Yi-Lu, et al. “Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation.” Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, ACM, 2023, doi:10.1145/3606037.3606836.
View
| Files available
| DOI
2023 | Published | Conference Abstract | IST-REx-ID: 14748
Chen, Yi-Lu, et al. “Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation.” Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, 5, Association for Computing Machinery, 2023, doi:10.1145/3606037.3606836.
View
| DOI
2023 | Published | Thesis | IST-REx-ID: 12732 |
Brighi, Pietro. Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12732.
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14622
Sack, Stefan. Improving Variational Quantum Algorithms: Innovative Initialization Techniques and Extensions to Qudit Systems. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14622.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12885 |
Calcabrini, Mariano. Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12885.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12960 |
Boissonnat, Jean Daniel, et al. “Tracing Isomanifolds in Rd in Time Polynomial in d Using Coxeter–Freudenthal–Kuhn Triangulations.” SIAM Journal on Computing, vol. 52, no. 2, Society for Industrial and Applied Mathematics, 2023, pp. 452–86, doi:10.1137/21M1412918.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2023 | Published | Thesis | IST-REx-ID: 13175 |
Sahu, Rishabh. Cavity Quantum Electrooptics. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13175.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12900
Sahu, Rishabh. Cavity Quantum Electrooptics. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12900.
[Published Version]
View
| Files available
| DOI
2023 | Submitted | Preprint | IST-REx-ID: 18294 |
Glas, Jakob. “Complete Intersections of Cubic and Quadric Hypersurfaces over Fq(T).” ArXiv, doi:10.48550/arXiv.2306.02718.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 17074 |
Brooks, Morris, and Robert Seiringer. “Validity of Bogoliubov’s Approximation Fortranslation-Invariant Bose Gases.” Probability and Mathematical Physics, vol. 3, no. 4, Mathematical Sciences Publishers, 2023, pp. 939–1000, doi:10.2140/pmp.2022.3.939.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 17079 |
Serebryakov, Alexander, et al. “Characteristic Polynomials of Random Truncations: Moments, Duality and Asymptotics.” Random Matrices: Theory and Applications, vol. 12, no. 01, 2250049, World Scientific Publishing, 2023, doi:10.1142/s2010326322500496.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Submitted | Preprint | IST-REx-ID: 17100 |
Giambartolomei, Giordano, et al. “Prophet Inequalities: Separating Random Order from Order Selection.” ArXiv, 2304.04024, doi:10.48550/arXiv.2304.04024.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Submitted | Preprint | IST-REx-ID: 17173 |
Reker, Jana. “Multi-Point Functional Central Limit Theorem for Wigner Matrices.” ArXiv, doi:10.48550/arXiv.2307.11028.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Submitted | Preprint | IST-REx-ID: 17174 |
Erdös, László, et al. “Prethermalization for Deformed Wigner Matrices.” ArXiv, doi:10.48550/arXiv.2310.06677.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Submitted | Preprint | IST-REx-ID: 17351 |
Pedrotti, Francesco. “Contractive Coupling Rates and Curvature Lower Bounds for Markov Chains.” ArXiv, doi:10.48550/arXiv.2308.00516.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 17378 |
Frantar, Elias, et al. “OPTQ: Accurate Post-Training Quantization for Generative Pre-Trained Transformers.” 11th International Conference on Learning Representations , International Conference on Learning Representations, 2023.
[Published Version]
View
| Files available
2023 | Published | Journal Article | IST-REx-ID: 18179 |
Guilloux, Antonin, and Tal Horesh. “P-Adic Directions of Primitive Vectors.” Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres, vol. 2023, Presses Universitaires de Franche-Comté, 2023, pp. 85–107, doi:10.5802/pmb.50.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 9652 |
Dymond, Michael, and Vojtech Kaluza. “Highly Irregular Separated Nets.” Israel Journal of Mathematics, vol. 253, Springer Nature, 2023, pp. 501–54, doi:10.1007/s11856-022-2448-6.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv