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 | OA
Mathur, S., Claytor, Z. R., Santos, Â. R. G., García, R. A., Amard, L., Bugnet, L. A., … van Saders, J. (2023). Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations. The Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/acd118
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Thesis | PhD | IST-REx-ID: 12885 | OA
Calcabrini, M. (2023). Nanoparticle-based semiconductor solids: From synthesis to consolidation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12885
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 14402 | OA
Lombardi, F., Herrmann, H. J., Parrino, L., Plenz, D., Scarpetta, S., Vaudano, A. E., … Shriki, O. (2023). Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state. Cell Reports. Elsevier. https://doi.org/10.1016/j.celrep.2023.113162
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Scientific Software | IST-REx-ID: 14502 | OA
Dimchev, G. A., Amiri, B., Fäßler, F., Falcke, M., & Schur, F. K. (2023). Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:14502
View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 13209 | OA
Xia, J., Kong, M., Yang, Z., Sun, L., Peng, Y., Mao, Y., … Tan, S. (2023). Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen. Plant Communications. Elsevier. https://doi.org/10.1016/j.xplc.2023.100632
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 13268 | OA
Huybrechts, D., & Mauri, M. (2023). On type II degenerations of hyperkähler manifolds. Mathematical Research Letters. International Press of Boston. https://doi.org/10.4310/mrl.2023.v30.n1.a6
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14609 | OA
Das, S., Xiang, Z., Kokoris Kogias, E., & Ren, L. (2023). Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling. In 32nd USENIX Security Symposium (Vol. 8, pp. 5359–5376). Anaheim, CA, United States: Usenix Association.
[Published Version] View | Files available | Download Published Version (ext.) | Cryptology ePrint
 
2023 | Published | Conference Paper | IST-REx-ID: 14718 | OA
Pastva, S., & Henzinger, T. A. (2023). Binary decision diagrams on modern hardware. In Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design (pp. 122–131). Ames, IA, United States: TU Wien Academic Press. https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Conference Paper | IST-REx-ID: 14243 | OA
Avni, G., Jecker, I. R., & Zikelic, D. (2023). Bidding graph games with partially-observable budgets. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 5464–5471). Washington, DC, United States: AAAI Press. https://doi.org/10.1609/aaai.v37i5.25679
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 15364 | OA
Charikar, M., Hu, L., Henzinger, M., Vötsch, M., & Waingarten, E. (2023). Simple, scalable and effective clustering via one-dimensional projections. In 37th Conference on Neural Information Processing Systems (Vol. 36). New Orleans, LA, United States: Neural Information Processing Systems Foundation.
[Published Version] View | Files available | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 15363 | OA
Safaryan, M., Krumes, A., & Alistarh, D.-A. (2023). Knowledge distillation performs partial variance reduction. In 36th Conference on Neural Information Processing Systems (Vol. 36). New Orleans, LA, United States: Neural Information Processing Systems Foundation.
[Published Version] View | Files available | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14921 | OA
Súkeník, P., Mondelli, M., & Lampert, C. (2023). 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: Neural Information Processing Systems Foundation.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14260 | OA
Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 156–169). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_8
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Conference Paper | IST-REx-ID: 14259 | OA
Kretinsky, J., Meggendorfer, T., Prokop, M., & Rieder, S. (2023). Guessing winning policies in LTL synthesis by semantic learning. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 390–414). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_20
[Published Version] View | Files available | DOI | WoS
 
2023 | Research Data Reference | IST-REx-ID: 14995 | OA
Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. Zenodo. https://doi.org/10.5281/ZENODO.7877757
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Published | Journal Article | IST-REx-ID: 12960 | OA
Boissonnat, J. D., Kachanovich, S., & Wintraecken, M. (2023). Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations. SIAM Journal on Computing. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/21M1412918
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 14256 | OA
Mathis, S., & Bugnet, L. A. (2023). Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202346832
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Thesis | PhD | IST-REx-ID: 14547 | OA
Phan, D. T. (2023). Resonant microwave spectroscopy of Al-InAs. Institute of Science and Technology Austria. https://doi.org/10.15479/14547
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 14749 | OA
Mishra, U., Li, V., Wald, S., Agafonova, S., Diorico, F. R., & Hosten, O. (2023). Monitoring and active stabilization of laser injection locking using beam ellipticity. Optics Letters. Optica Publishing Group. https://doi.org/10.1364/ol.495553
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 13233 | OA
Agafonova, S., Lemeshko, M., & Volosniev, A. (2023). Finite-range bias in fitting three-body loss to the zero-range model. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.107.L061304
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed