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 |
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14922 |
Concentration without independence via information measures
A.R. Esposito, M. Mondelli, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 400–405.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A.R. Esposito, M. Mondelli, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 400–405.
2023 | Published | Conference Poster | IST-REx-ID: 15292 |
Unified treatment of contact, friction and shock-propagation in rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation, ACM, 2023.
View
| Files available
| DOI
Y.-L. Chen, M. Ly, C. Wojtan, Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation, ACM, 2023.
2023 | Published | Conference Abstract | IST-REx-ID: 14748
Unified treatment of contact, friction and shock-propagation in rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Association for Computing Machinery, 2023.
View
| DOI
Y.-L. Chen, M. Ly, C. Wojtan, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Association for Computing Machinery, 2023.
2023 | Published | Thesis | IST-REx-ID: 12732 |
Ergodicity breaking in disordered and kinetically constrained quantum many-body systems
P. Brighi, Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems, Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
P. Brighi, Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems, Institute of Science and Technology Austria, 2023.
2023 | Published | Thesis | IST-REx-ID: 14622
Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems
S. Sack, Improving Variational Quantum Algorithms: Innovative Initialization Techniques and Extensions to Qudit Systems, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
S. Sack, Improving Variational Quantum Algorithms: Innovative Initialization Techniques and Extensions to Qudit Systems, Institute of Science and Technology Austria, 2023.
2023 | Published | Thesis | IST-REx-ID: 12885 |
Nanoparticle-based semiconductor solids: From synthesis to consolidation
M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 12960 |
Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations
J.D. Boissonnat, S. Kachanovich, M. Wintraecken, SIAM Journal on Computing 52 (2023) 452–486.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
J.D. Boissonnat, S. Kachanovich, M. Wintraecken, SIAM Journal on Computing 52 (2023) 452–486.
2023 | Published | Thesis | IST-REx-ID: 13175 |
Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
2023 | Published | Thesis | IST-REx-ID: 12900
Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
2023 | Submitted | Preprint | IST-REx-ID: 18294 |
Complete intersections of cubic and quadric hypersurfaces over Fq(t)
J. Glas, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J. Glas, ArXiv (n.d.).
2023 | Published | Journal Article | IST-REx-ID: 17074 |
Validity of Bogoliubov’s approximation fortranslation-invariant Bose gases
M. Brooks, R. Seiringer, Probability and Mathematical Physics 3 (2023) 939–1000.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Brooks, R. Seiringer, Probability and Mathematical Physics 3 (2023) 939–1000.
2023 | Published | Journal Article | IST-REx-ID: 17079 |
Characteristic polynomials of random truncations: Moments, duality and asymptotics
A. Serebryakov, N. Simm, G. Dubach, Random Matrices: Theory and Applications 12 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Serebryakov, N. Simm, G. Dubach, Random Matrices: Theory and Applications 12 (2023).
2023 | Submitted | Preprint | IST-REx-ID: 17100 |
Prophet inequalities: Separating random order from order selection
G. Giambartolomei, F.M.-T. Frederik Mallmann-Trenn, R.J. Saona Urmeneta, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Giambartolomei, F.M.-T. Frederik Mallmann-Trenn, R.J. Saona Urmeneta, ArXiv (n.d.).
2023 | Submitted | Preprint | IST-REx-ID: 17173 |
Multi-point functional central limit theorem for Wigner Matrices
J. Reker, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J. Reker, ArXiv (n.d.).
2023 | Submitted | Preprint | IST-REx-ID: 17174 |
Prethermalization for deformed Wigner Matrices
L. Erdös, S.J. Henheik, J. Reker, V. Riabov, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
L. Erdös, S.J. Henheik, J. Reker, V. Riabov, ArXiv (n.d.).
2023 | Submitted | Preprint | IST-REx-ID: 17351 |
Contractive coupling rates and curvature lower bounds for Markov chains
F. Pedrotti, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
F. Pedrotti, ArXiv (n.d.).
2023 | Published | Conference Paper | IST-REx-ID: 17378 |
OPTQ: Accurate post-training quantization for generative pre-trained transformers
E. Frantar, S. Ashkboos, T. Hoefler, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , International Conference on Learning Representations, 2023.
[Published Version]
View
| Files available
E. Frantar, S. Ashkboos, T. Hoefler, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , International Conference on Learning Representations, 2023.
2023 | Published | Journal Article | IST-REx-ID: 18179 |
p-adic directions of primitive vectors
A. Guilloux, T. Horesh, Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres 2023 (2023) 85–107.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Guilloux, T. Horesh, Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres 2023 (2023) 85–107.
2023 | Published | Journal Article | IST-REx-ID: 9652 |
Highly irregular separated nets
M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.