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.
6767 Publications
2023 |
Published |
Journal Article |
IST-REx-ID: 13443 |
S. Mathur et al., “Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations,” The Astrophysical Journal, vol. 952, no. 2. IOP Publishing, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 12885 |
M. Calcabrini, “Nanoparticle-based semiconductor solids: From synthesis to consolidation,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 14402 |
F. Lombardi et al., “Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state,” Cell Reports, vol. 42, no. 10. Elsevier, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Scientific Software |
IST-REx-ID: 14502 |
G. A. Dimchev, B. Amiri, F. Fäßler, M. Falcke, and F. K. Schur, “Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data.” Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 13209 |
J. Xia et al., “Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen,” Plant Communications, vol. 4, no. 6. Elsevier, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 13268 |
D. Huybrechts and M. Mauri, “On type II degenerations of hyperkähler manifolds,” Mathematical Research Letters, vol. 30, no. 1. International Press of Boston, pp. 125–141, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 14609 |
S. Das, Z. Xiang, E. Kokoris Kogias, and L. Ren, “Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling,” in 32nd USENIX Security Symposium, Anaheim, CA, United States, 2023, vol. 8, pp. 5359–5376.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| Cryptology ePrint
2023 |
Published |
Conference Paper |
IST-REx-ID: 14718 |
S. Pastva and T. A. Henzinger, “Binary decision diagrams on modern hardware,” in Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, Ames, IA, United States, 2023, pp. 122–131.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Conference Paper |
IST-REx-ID: 14243 |
G. Avni, I. R. Jecker, and D. Zikelic, “Bidding graph games with partially-observable budgets,” in Proceedings of the 37th AAAI Conference on Artificial Intelligence, Washington, DC, United States, 2023, vol. 37, no. 5, pp. 5464–5471.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| 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 |
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: 14921 |
P. Súkeník, M. Mondelli, and C. Lampert, “Deep neural collapse is provably optimal for the deep unconstrained features model,” in 37th Conference on Neural Information Processing Systems, New Orleans, LA, United States, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 14260 |
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM,” in 35th International Conference on Computer Aided Verification, Paris, France, 2023, vol. 13964, pp. 156–169.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Conference Paper |
IST-REx-ID: 14259 |
J. Kretinsky, T. Meggendorfer, M. Prokop, and S. Rieder, “Guessing winning policies in LTL synthesis by semantic learning,” in 35th International Conference on Computer Aided Verification, Paris, France, 2023, vol. 13964, pp. 390–414.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Research Data Reference |
IST-REx-ID: 14995 |
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 12960 |
J. D. Boissonnat, S. Kachanovich, and M. Wintraecken, “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, pp. 452–486, 2023.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 14256 |
S. Mathis and L. A. Bugnet, “Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields,” Astronomy & Astrophysics, vol. 676. EDP Sciences, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14547 |
D. T. Phan, “Resonant microwave spectroscopy of Al-InAs,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 14749 |
U. Mishra, V. Li, S. Wald, S. Agafonova, F. R. Diorico, and O. Hosten, “Monitoring and active stabilization of laser injection locking using beam ellipticity,” Optics Letters, vol. 48, no. 15. Optica Publishing Group, pp. 3973–3976, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 13233 |
S. Agafonova, M. Lemeshko, and A. Volosniev, “Finite-range bias in fitting three-body loss to the zero-range model,” Physical Review A, vol. 107, no. 6. American Physical Society, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv