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.
6684 Publications
2023 |
Draft |
Preprint |
IST-REx-ID: 18294 |
Glas, J. (n.d.). Complete intersections of cubic and quadric hypersurfaces over Fq(t). arXiv. https://doi.org/10.48550/arXiv.2306.02718
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 8682 |
Browning, T. D., Boudec, P. L., & Sawin, W. (2023). The Hasse principle for random Fano hypersurfaces. Annals of Mathematics. Princeton University. https://doi.org/10.4007/annals.2023.197.3.3
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 9034 |
Wilsch, F. A. (2023). Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. Oxford University Press. https://doi.org/10.1093/imrn/rnac048
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 9652 |
Dymond, M., & Kaluza, V. (2023). Highly irregular separated nets. Israel Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s11856-022-2448-6
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Conference Abstract |
IST-REx-ID: 14863 |
Polesello, A., Muller, C. J., Pasquero, C., & Meroni, A. N. (2023). Intensification mechanisms of tropical cyclones. In EGU General Assembly 2023. Vienna, Austria & Virtual: European Geosciences Union. https://doi.org/10.5194/egusphere-egu23-6157
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 14756 |
Carqueville, N., & Szegedy, L. (2023). Fully extended r-spin TQFTs. Quantum Topology. EMS Press. https://doi.org/10.4171/qt/193
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 13179 |
Koval, N., Khalanskiy, D., & Alistarh, D.-A. (2023). CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3591230
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Book Chapter |
IST-REx-ID: 19983 |
Balliu, A., Korhonen, J., Kuhn, F., Lievonen, H., Olivetti, D., Pai, S., … Uitto, J. (2023). Sinkless Orientation Made Simple. In Symposium on Simplicity in Algorithms (pp. 175–191). Florence, Italy: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977585.ch17
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 13443 |
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 |
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 |
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 |
Published |
Journal Article |
IST-REx-ID: 13267 |
Velicky, P., Miguel Villalba, E., Michalska, J. M., Lyudchik, J., Wei, D., Lin, Z., … Danzl, J. G. (2023). Dense 4D nanoscale reconstruction of living brain tissue. Nature Methods. Springer Nature. https://doi.org/10.1038/s41592-023-01936-6
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Scientific Software |
IST-REx-ID: 14502 |
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: 13212 |
Chen, H., Li, L., Zou, M., Qi, L., & Friml, J. (2023). Distinct functions of TIR1 and AFB1 receptors in auxin signalling. Molecular Plant. Elsevier. https://doi.org/10.1016/j.molp.2023.06.007
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 13209 |
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 |
Conference Abstract |
IST-REx-ID: 13162 |
Elefante, S., Stadlbauer, S., Alexander, M. F., & Schlögl, A. (2023). Cryo-EM software packages: A sys-admins point of view. In ASHPC23 - Austrian-Slovenian HPC Meeting 2023 (pp. 42–42). Maribor, Slovenia: EuroCC Austria.
[Submitted Version]
View
| Files available
2023 |
Published |
Conference Abstract |
IST-REx-ID: 13161 |
Schlögl, A., Elefante, S., & Hodirnau, V.-V. (2023). Running Windows-applications on a Linux HPC cluster using WINE. In ASHPC23 - Austrian-Slovenian HPC Meeting 2023 (pp. 59–59). Maribor, Slovenia: EuroCC Austria.
[Submitted Version]
View
| Files available
2023 |
Published |
Journal Article |
IST-REx-ID: 13268 |
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 |
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 |
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