Chatterjee K, Dvorak W, Henzinger MH, Svozil A. 2021. Symbolic time and space tradeoffs for probabilistic verification. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.
LibreCat: https://research-explorer.ista.ac.at/record/10002
DOI: 10.1109/LICS52264.2021.9470739
WoS: 000947350400089
arXiv: 2104.07466

Floreani S, Redig F, Sau F. 2021. Hydrodynamics for the partial exclusion process in random environment. Stochastic Processes and their Applications. 142, 124–158.
LibreCat: https://research-explorer.ista.ac.at/record/10024
DOI: 10.1016/j.spa.2021.08.006
WoS: 000697748500005
arXiv: 1911.12564

Chatterjee K, Doyen L. 2021. Stochastic processes with expected stopping time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.
LibreCat: https://research-explorer.ista.ac.at/record/10004
DOI: 10.1109/LICS52264.2021.9470595
WoS: 000947350400036
arXiv: 2104.07278

Hashemi SA, Mondelli M, Fazeli A, Vardy A, Cioffi J, Goldsmith A. 2021. Parallelism versus latency in simplified successive-cancellation decoding of polar codes. 2021 IEEE International Symposium on Information Theory. ISIT: International Symposium on Information Theory, 2369–2374.
LibreCat: https://research-explorer.ista.ac.at/record/10053
DOI: 10.1109/ISIT45174.2021.9518153
WoS: 000701502202078
arXiv: 2012.13378

Ho QP. 2021. The Atiyah-Bott formula and connectivity in chiral Koszul duality. Advances in Mathematics. 392, 107992.
LibreCat: https://research-explorer.ista.ac.at/record/10033
DOI: 10.1016/j.aim.2021.107992
WoS: 000707040300031
arXiv: 1610.00212

Butola T, Alvanos T, Hintze A, Koppensteiner P, Kleindienst D, Shigemoto R, Wichmann C, Moser T. 2021. RIM-binding protein 2 organizes Ca<sup>21</sup> channel topography and regulates release probability and vesicle replenishment at a fast central synapse. Journal of Neuroscience. 41(37), 7742–7767.
LibreCat: https://research-explorer.ista.ac.at/record/10051
DOI: 10.1523/JNEUROSCI.0586-21.2021
WoS: 000752287700005
PMID: 34353898

Jecker IR. 2021. A Ramsey theorem for finite monoids. 38th International Symposium on Theoretical Aspects of Computer Science. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 187, 44.
LibreCat: https://research-explorer.ista.ac.at/record/10055
DOI: 10.4230/LIPIcs.STACS.2021.44
WoS: 000635691700044

Robinson MR, Patxot M, Stojanov M, Blum S, Baud D. 2021. Postpartum hemorrhage risk is driven by changes in blood composition through pregnancy. Scientific Reports. 11, 19238.
LibreCat: https://research-explorer.ista.ac.at/record/10069
DOI: 10.1038/s41598-021-98411-z
WoS: 000701575500083
PMID: 34584125

Zhou H, Xie T, Ghazaryan A, Holder T, Ehrets JR, Spanton EM, Taniguchi T, Watanabe K, Berg E, Serbyn M, Young AF. 2021. Half and quarter metals in rhombohedral trilayer graphene. Nature.
LibreCat: https://research-explorer.ista.ac.at/record/10025
DOI: 10.1038/s41586-021-03938-w
WoS: 000706977400002
arXiv: 2104.00653

Blackshear S, Chalkias K, Chatzigiannis P, Faizullabhoy R, Khaburzaniya I, Kokoris Kogias E, Lind J, Wong D, Zakian T. 2021. Reactive key-loss protection in blockchains. FC 2021 Workshops. FC: International Conference on Financial Cryptography and Data Security, LNCS, vol. 12676, 431–450.
LibreCat: https://research-explorer.ista.ac.at/record/10076
DOI: 10.1007/978-3-662-63958-0_34
WoS: 000713005000034

Dello Schiavo L, Suzuki K. 2021. Rademacher-type theorems and Sobolev-to-Lipschitz properties for strongly local Dirichlet spaces. Journal of Functional Analysis. 281(11), 109234.
LibreCat: https://research-explorer.ista.ac.at/record/10070
DOI: 10.1016/j.jfa.2021.109234
WoS: 000703896600005
arXiv: 2008.01492

Artan M, Barratt S, Flynn SM, Begum F, Skehel M, Nicolas A, de Bono M. 2021. Interactome analysis of Caenorhabditis elegans synapses by TurboID-based proximity labeling. Journal of Biological Chemistry. 297(3), 101094.
LibreCat: https://research-explorer.ista.ac.at/record/10117
DOI: 10.1016/J.JBC.2021.101094
WoS: 000706409200006

Mühlböck F, Henzinger TA. 2021. Differential monitoring. International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 12974, 231–243.
LibreCat: https://research-explorer.ista.ac.at/record/10108
DOI: 10.1007/978-3-030-88494-9_12
WoS: 000719383800012

Vuong-Brender T, Flynn S, Vallis Y, de Bono M. 2021. Neuronal calmodulin levels are controlled by CAMTA transcription factors. eLife. 10, e68238.
LibreCat: https://research-explorer.ista.ac.at/record/10116
DOI: 10.7554/eLife.68238
WoS: 000695716100001
PMID: 34499028

Obr M, Schur FK, Dick RA. 2021. A structural perspective of the role of I in immature and mature retroviral assembly. Viruses. 13(9), 1853.
LibreCat: https://research-explorer.ista.ac.at/record/10103
DOI: 10.3390/v13091853
WoS: 000699841100001
PMID: 34578434

Medina Ramos RA, Vasseur R, Serbyn M. 2021. Entanglement transitions from restricted Boltzmann machines. Physical Review B. 104(10), 104205.
LibreCat: https://research-explorer.ista.ac.at/record/10067
DOI: 10.1103/physrevb.104.104205
WoS: 000704414400002
arXiv: 2107.05735

Mühlböck F, Henzinger TA. 2021. Differential monitoring, IST Austria, 17p.
LibreCat: https://research-explorer.ista.ac.at/record/9946
DOI: 10.15479/AT:ISTA:9946

Chang C, Ibáñez M. 2021. Enhanced thermoelectric performance by surface engineering in SnTe-PbS nanocomposites. Materials. 14(18), 5416.
LibreCat: https://research-explorer.ista.ac.at/record/10073
DOI: 10.3390/ma14185416
WoS: 000700689400001
PMID: 34576640

Elkrewi MN, Moldovan MA, Picard MAL, Vicoso B. 2021. Schistosome W-Linked genes inform temporal dynamics of sex chromosome evolution and suggest candidate for sex determination. Molecular Biology and Evolution.
LibreCat: https://research-explorer.ista.ac.at/record/10167
DOI: 10.1093/molbev/msab178
WoS: 000741368600009
PMID: 34146097

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. PH regulates neuronal gene expression through the Pol II CTD reader domain SPOC. Nature Communications. 12(1), 6078.
LibreCat: https://research-explorer.ista.ac.at/record/10163
DOI: 10.1038/s41467-021-26360-2
WoS: 000709050300001