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.
6617 Publications
2023 |
Research Data Reference |
IST-REx-ID: 15027 |
S. Curk, “aggregation_data.” Figshare, 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 |
Research Data Reference |
IST-REx-ID: 15035 |
M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Draft |
Preprint |
IST-REx-ID: 15039 |
B. Prach and C. Lampert, “1-Lipschitz neural networks are more expressive with N-activations,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 15173 |
M. A. Kwan, A. Sah, and M. Sawhney, “Enumerating matroids and linear spaces,” Comptes Rendus Mathematique, vol. 361, no. G2. Academie des Sciences, pp. 565–575, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Conference Poster |
IST-REx-ID: 15292 |
Y.-L. Chen, M. Ly, and C. Wojtan, Unified treatment of contact, friction and shock-propagation in rigid body animation. ACM, 2023.
View
| Files available
| DOI
2023 |
Published |
Conference Paper |
IST-REx-ID: 15363 |
M. Safaryan, A. Krumes, and D.-A. Alistarh, “Knowledge distillation performs partial variance reduction,” in 36th Conference on Neural Information Processing Systems, New Orleans, LA, United States, 2023, vol. 36.
[Published Version]
View
| Files available
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 15364 |
M. Charikar, L. Hu, M. Henzinger, M. Vötsch, and E. Waingarten, “Simple, scalable and effective clustering via one-dimensional projections,” in 37th Conference on Neural Information Processing Systems, New Orleans, LA, United States, 2023, vol. 36.
[Published Version]
View
| Files available
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 17074 |
M. Brooks and R. Seiringer, “Validity of Bogoliubov’s approximation fortranslation-invariant Bose gases,” Probability and Mathematical Physics, vol. 3, no. 4. Mathematical Sciences Publishers, pp. 939–1000, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 17078 |
A. V. Dass et al., “RNA oligomerisation without added catalyst from 2′,3′‐cyclic nucleotides by drying at air-water interfaces,” ChemSystemsChem, vol. 5, no. 1. Wiley, 2023.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 17079 |
A. Serebryakov, N. Simm, and G. Dubach, “Characteristic polynomials of random truncations: Moments, duality and asymptotics,” Random Matrices: Theory and Applications, vol. 12, no. 01. World Scientific Publishing, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Submitted |
Preprint |
IST-REx-ID: 17100 |
G. Giambartolomei, F. M.-T. Frederik Mallmann-Trenn, and R. J. Saona Urmeneta, “Prophet inequalities: Separating random order from order selection,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
earlier version | 2023 |
Draft |
Preprint |
IST-REx-ID: 17173 |
J. Reker, “Multi-point functional central limit theorem for Wigner Matrices,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
earlier version | 2023 |
Draft |
Preprint |
IST-REx-ID: 17174 |
L. Erdös, S. J. Henheik, J. Reker, and V. Riabov, “Prethermalization for deformed Wigner Matrices,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Research Data Reference |
IST-REx-ID: 18634 |
J. M. Muñoz Hermosilla, “A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 18942 |
P. Tamizhselvan et al., “Chloroplast auxin efflux mediated by ABCB28 and ABCB29 fine-tunes salt and drought stress responses in Arabidopsis,” Plants, vol. 13, no. 1. MDPI, 2023.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |
Research Data Reference |
IST-REx-ID: 19308 |
R. Hasler et al., “Optical and electronic signal stabilization of plasmonic fiber optic gate electrodes: Towards improved real-time dual-mode biosensing.” Zenodo, 2023.
View
| Files available
| DOI
| Download None (ext.)
2023 |
Published |
Book Chapter |
IST-REx-ID: 19983 |
A. Balliu et al., “Sinkless Orientation Made Simple,” in Symposium on Simplicity in Algorithms, 2023 Society for Industrial and Applied Mathematics, 2023, pp. 175–191.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
earlier version | 2023 |
Published |
Conference Paper |
IST-REx-ID: 19985
S. Schmid, J. Svoboda, and M. X. Yeo, “Weighted acket selection for rechargeable links in cryptocurrency networks: Complexity and approximation,” in 30th International Colloquium on Structural Information and Communication Complexity, Alcalá de Henares, Spain, 2023, vol. 13892, pp. 576–594.
View
| Files available
| DOI
| WoS
2023 |
Draft |
Preprint |
IST-REx-ID: 20572 |
L. Dello Schiavo and F. Quattrocchi, “Multivariate Dirichlet moments and a polychromatic Ewens sampling formula,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv