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.
5368 Publications
2021 | Published | Journal Article | IST-REx-ID: 10123 | 
Liu, Yu, et al. “The Importance of Surface Adsorbates in Solution‐processed Thermoelectric Materials: The Case of SnSe.” Advanced Materials, vol. 33, no. 52, 2106858, Wiley, 2021, doi:10.1002/adma.202106858.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10134 |
Suzuki, Fumika, et al. “Anderson Localization of Composite Particles.” Physical Review Letters, vol. 127, no. 16, 160602, American Physical Society , 2021, doi:10.1103/physrevlett.127.160602.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10146
Vercellino, Irene, and Leonid A. Sazanov. “Structure and Assembly of the Mammalian Mitochondrial Supercomplex CIII2CIV.” Nature, vol. 598, no. 7880, Springer Nature, 2021, pp. 364–67, doi:10.1038/s41586-021-03927-z.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Conference Paper | IST-REx-ID: 10148 |
Degraen, Donald, et al. “Capturing Tactile Properties of Real Surfaces for Haptic Reproduction.” 34th Annual ACM Symposium, Association for Computing Machinery, 2021, pp. 954–71, doi:10.1145/3472749.3474798.
[Preprint]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 10153 |
Mühlböck, Fabian, and Ross Tate. “Transitioning from Structural to Nominal Code with Efficient Gradual Typing.” Proceedings of the ACM on Programming Languages, vol. 5, 127, Association for Computing Machinery, 2021, doi:10.1145/3485504.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 10163 |
Appel L-M, Franke V, Bruno M, Grishkovskaya I, Kasiliauskaite A, Kaufmann T, Schoeberl UE, Puchinger MG, Kostrhon S, Ebenwaldner C, Sebesta M, Beltzung E, Mechtler K, Lin G, Vlasova A, Leeb M, Pavri R, Stark A, Akalin A, Stefl R, Bernecky C, Djinovic-Carugo K, Slade D. 2021. PHF3 regulates neuronal gene expression through the Pol II CTD reader domain SPOC. Nature Communications. 12(1), 6078.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 10166 |
Huylmans, Ann K., et al. “Transitions to Asexuality and Evolution of Gene Expression in Artemia Brine Shrimp.” Proceedings of the Royal Society B: Biological Sciences, vol. 288, no. 1959, 20211720, The Royal Society, 2021, doi:10.1098/rspb.2021.1720.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10167 |
Elkrewi, Marwan N., et al. “Schistosome W-Linked Genes Inform Temporal Dynamics of Sex Chromosome Evolution and Suggest Candidate for Sex Determination.” Molecular Biology and Evolution, Oxford University Press , 2021, doi:10.1093/molbev/msab178.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Submitted | Preprint | IST-REx-ID: 10174 |
Clozeau, Nicolas, and Antoine Gloria. “Quantitative Nonlinear Homogenization: Control of Oscillations.” ArXiv, 2104.04263.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10176 |
Runkel, Ingo, and Lorant Szegedy. “Topological Field Theory on R-Spin Surfaces and the Arf-Invariant.” Journal of Mathematical Physics, vol. 62, no. 10, 102302, AIP Publishing, 2021, doi:10.1063/5.0037826.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10178 |
Sahu, Preeti, et al. “Geometric Signatures of Tissue Surface Tension in a Three-Dimensional Model of Confluent Tissue.” New Journal of Physics, vol. 23, no. 9, 093043, IOP Publishing, 2021, doi:10.1088/1367-2630/ac23f1.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10180 |
Hoefler, Torsten, et al. “Sparsity in Deep Learning: Pruning and Growth for Efficient Inference and Training in Neural Networks.” Journal of Machine Learning Research, vol. 22, no. 241, Journal of Machine Learning Research, 2021, pp. 1–124.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10184 |
Alderighi, Thomas, et al. “Volume Decomposition for Two-Piece Rigid Casting.” ACM Transactions on Graphics, vol. 40, no. 6, 272, Association for Computing Machinery, 2021, doi:10.1145/3478513.3480555.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2021 | Published | Journal Article | IST-REx-ID: 10191 |
Bui, Truc Lam, et al. “The Reads-from Equivalence for the TSO and PSO Memory Models.” Proceedings of the ACM on Programming Languages, vol. 5, no. OOPSLA, 164, Association for Computing Machinery, 2021, doi:10.1145/3485541.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Thesis | IST-REx-ID: 10199 |
Toman, Viktor. Improved Verification Techniques for Concurrent Systems. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10199.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 10202 |
Pradhan, Saurabh J., et al. “Satb2 Acts as a Gatekeeper for Major Developmental Transitions during Early Vertebrate Embryogenesis.” Nature Communications, vol. 12, no. 1, 6094, Springer Nature, 2021, doi:10.1038/s41467-021-26234-7.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10203 |
Sortino, Luca, et al. “Bright Single Photon Emitters with Enhanced Quantum Efficiency in a Two-Dimensional Semiconductor Coupled with Dielectric Nano-Antennas.” Nature Communications, vol. 12, 6063, Springer Nature, 2021, doi:10.1038/s41467-021-26262-3.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10204 |
Osang, Georg F., et al. “Topological Signatures and Stability of Hexagonal Close Packing and Barlow Stackings.” Soft Matter, vol. 17, no. 40, Royal Society of Chemistry , 2021, pp. 9107–15, doi:10.1039/d1sm00774b.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Conference Paper | IST-REx-ID: 10206 |
Lukina, Anna, et al. “Into the Unknown: Active Monitoring of Neural Networks.” 21st International Conference on Runtime Verification, vol. 12974, Springer Nature, 2021, pp. 42–61, doi:10.1007/978-3-030-88494-9_3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10216 |
Chatterjee, Bapi, et al. “Brief Announcement: Non-Blocking Dynamic Unbounded Graphs with Worst-Case Amortized Bounds.” 35th International Symposium on Distributed Computing, vol. 209, 52, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.DISC.2021.52.
[Published Version]
View
| Files available
| DOI
| arXiv