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.
5373 Publications
2024 | Published | Conference Paper | IST-REx-ID: 17413 | 
Froleyks, N., Yu, E., Biere, A., & Heljanko, K. (2024). Certifying phase abstraction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 14739, pp. 284–303). Nancy, France: Springer Nature. https://doi.org/10.1007/978-3-031-63498-7_17
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Book Chapter | IST-REx-ID: 17425
Miranda, O., Cheung, G. T., & Hippenmeyer, S. (2024). Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers. In K. Toyooka (Ed.), Neuronal Morphogenesis (1st ed., Vol. 2831, pp. 283–299). New York, NY: Springer Nature. https://doi.org/10.1007/978-1-0716-3969-6_19
View
| DOI
| PubMed | Europe PMC
2024 | Published | Conference Paper | IST-REx-ID: 17426
Prach, B., Brau, F., Buttazzo, G., & Lampert, C. (2024). 1-Lipschitz layers compared: Memory, speed, and certifiable robustness. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 24574–24583). Computer Vision Foundation.
[Published Version]
View
| Files available
2024 | Published | Journal Article | IST-REx-ID: 17435 |
André, J., D’Andrea, F., Drobinski, P., & Muller, C. J. (2024). Regimes of precipitation change over Europe and the Mediterranean. Journal of Geophysical Research: Atmospheres. Wiley. https://doi.org/10.1029/2023JD040413
[Published Version]
View
| Files available
| DOI
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17437 |
Vernet, T. (2024). Rational singularities for moment maps of totally negative quivers. Transformation Groups. Springer Nature. https://doi.org/10.1007/s00031-024-09873-0
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Published | Journal Article | IST-REx-ID: 17442
Bravo, J. P. K., Ramos, D. A., Fregoso Ocampo, R., Ingram, C., & Taylor, D. W. (2024). Plasmid targeting and destruction by the DdmDE bacterial defence system. Nature. Springer Nature. https://doi.org/10.1038/s41586-024-07515-9
View
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 17447 |
Wang, V. (2024). Special cubic zeros and the dual variety. Journal of the London Mathematical Society. Wiley. https://doi.org/10.1112/jlms.12975
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17456 |
Markov, I., Alimohammadi, K., Frantar, E., & Alistarh, D.-A. (2024). L-GreCo: Layerwise-adaptive gradient compression for efficient data-parallel deep learning. In P. Gibbons, G. Pekhimenko, & C. De Sa (Eds.), Proceedings of Machine Learning and Systems (Vol. 6). Athens, Greece: Association for Computing Machinery.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17458 |
Cecalev, D., Vicoso, B., & Galupa, R. (2024). Compensation of gene dosage on the mammalian X. Development. The Company of Biologists. https://doi.org/10.1242/dev.202891
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17459 |
Pan, Y., Hochgerner, M., Cichon, M. A., Benezeder, T., Bieber, T., & Wolf, P. (2024). Langerhans cells: Central players in the pathophysiology of atopic dermatitis. Journal of the European Academy of Dermatology and Venereology. Wiley. https://doi.org/10.1111/jdv.20291
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 17463 |
Pillai, A., Idris, A., Philomin, A., Weidle, C., Skotheim, R., Leung, P. J. Y., … Baker, D. (2024). De novo design of allosterically switchable protein assemblies. Nature. Springer Nature. https://doi.org/10.1038/s41586-024-07813-2
[Published Version]
View
| Files available
| DOI
2024 | Submitted | Preprint | IST-REx-ID: 17468 |
Mondal, S., Nguyen, H. T. K., Hauschild, R., & Freunberger, S. A. (n.d.). Individual Marcus-type kinetics controls singlet and triplet oxygen evolution from superoxide. ChemRxiv. https://doi.org/10.26434/chemrxiv-2024-3vrzz
[Preprint]
View
| DOI
| Download Preprint (ext.)
2024 | Published | Journal Article | IST-REx-ID: 17475 |
Koval, I., & Kwan, M. A. (2024). Exponentially many graphs are determined by their spectrum. Quarterly Journal of Mathematics. Oxford University Press. https://doi.org/10.1093/qmath/haae030
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17476
Lorenc, D., Zhumekenov, A., Bakr, O. M., & Alpichshev, Z. (2024). No extraordinary χ(3) in lead-halide perovskites: Placing an upper bound on Kerr nonlinearity by means of time-resolved interferometry. Physical Review Materials. American Physical Society. https://doi.org/10.1103/PhysRevMaterials.8.085403
View
| DOI
2024 | Published | Journal Article | IST-REx-ID: 17477 |
Hawaldar, S., Shahi, P., Carter, A. L., Rey, A. M., Bollinger, J. J., & Shankar, A. (2024). Bilayer crystals of trapped ions for quantum information processing. Physical Review X. American Physical Society. https://doi.org/10.1103/PhysRevX.14.031030
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17481 |
Fischer, J. L., & Marveggio, A. (2024). Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow. Annales de l’Institut Henri Poincare C. EMS Press. https://doi.org/10.4171/AIHPC/109
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 17485 |
Frantar, E. (2024). Compressing large neural networks : Algorithms, systems and scaling laws. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17485
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 17490 |
Markov, I. (2024). Communication-efficient distributed training of deep neural networks: An algorithms and systems perspective. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17490
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 17493 |
Vermersch, B., Ljubotina, M., Cirac, J. I., Zoller, P., Serbyn, M., & Piroli, L. (2024). Many-body entropies and entanglement from polynomially many local measurements. Physical Review X. American Physical Society. https://doi.org/10.1103/physrevx.14.031035
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Submitted | Preprint | IST-REx-ID: 17634 |
Chalupa, M., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (n.d.). QuAK: Quantitative Automata Kit. arXiv. https://doi.org/10.48550/arXiv.2409.03569
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv