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.




3500 Publications

2021 | Conference Paper | IST-REx-ID: 10072 | OA
Harris, David G., et al. “A New Notion of Commutativity for the Algorithmic Lovász Local Lemma.” Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, vol. 207, 31, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.APPROX/RANDOM.2021.31.
View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9656 | OA
Han, Huibin, et al. “PIN-Mediated Polar Auxin Transport Regulations in Plant Tropic Responses.” New Phytologist, vol. 32, no. 2, Wiley, 2021, pp. 510–22, doi:10.1111/nph.17617.
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9818 | OA
Sperl, Georg, et al. “Mechanics-Aware Deformation of Yarn Pattern Geometry.” ACM Transactions on Graphics, vol. 40, no. 4, 168, Association for Computing Machinery, 2021, doi:10.1145/3450626.3459816.
View | Files available | DOI | Download Published Version (ext.)
 
2021 | Scientific Software | IST-REx-ID: 9327 | OA
Sperl, Georg, et al. Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data). IST Austria, 2021, doi:10.15479/AT:ISTA:9327.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 10108 | OA
Mühlböck, Fabian, and Thomas A. Henzinger. “Differential Monitoring.” International Conference on Runtime Verification, vol. 12974, Springer Nature, 2021, pp. 231–43, doi:10.1007/978-3-030-88494-9_12.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 10103 | OA
Obr, Martin, et al. “A Structural Perspective of the Role of IP6 in Immature and Mature Retroviral Assembly.” Viruses, vol. 13, no. 9, 1853, MDPI, 2021, doi:10.3390/v13091853.
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Technical Report | IST-REx-ID: 9946 | OA
Mühlböck, Fabian, and Thomas A. Henzinger. Differential Monitoring. IST Austria, 2021, doi:10.15479/AT:ISTA:9946.
View | Files available | DOI
 
2021 | Scientific Software | IST-REx-ID: 10110 | OA
Guzmán, José, et al. Pattern Separation Network. IST Austria, 2021, doi:10.15479/AT:ISTA:10110.
View | Files available | DOI
 
2021 | Preprint | IST-REx-ID: 9281 | OA
Dubach, Guillaume, and Fabian Mühlböck. “Formal Verification of Zagier’s One-Sentence Proof.” ArXiv, 2103.11389.
View | Files available | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 8909 | OA
Jirovec, Daniel, et al. “A Singlet Triplet Hole Spin Qubit in Planar Ge.” Nature Materials, vol. 20, no. 8, Springer Nature, 2021, pp. 1106–1112, doi:10.1038/s41563-021-01022-2.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications