DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.ICALP.2021.124,10054,KrCh,Faster algorithms for bounded liveness in graphs and game graphs
10.4230/LIPIcs.STACS.2021.44,10055,KrCh,A Ramsey theorem for finite monoids
10.1103/physrevb.104.104205,10067,MaSe,Entanglement transitions from restricted Boltzmann machines
10.1038/s41598-021-98411-z,10069,MaRo,Postpartum hemorrhage risk is driven by changes in blood composition through pregnancy
10.1016/j.jfa.2021.109234,10070,JaMa,Rademacher-type theorems and Sobolev-to-Lipschitz properties for strongly local Dirichlet spaces
10.1090/noti2349,10071,HeEd,How to tutorial-a-thon
10.4230/LIPIcs.APPROX/RANDOM.2021.31,10072,VlKo,A new notion of commutativity for the algorithmic Lovász Local Lemma
10.3390/ma14185416,10073,MaIb,Enhanced thermoelectric performance by surface engineering in SnTe-PbS nanocomposites
10.4230/LIPIcs.MFCS.2021.53,10075,KrCh,A bit of nondeterminism makes pushdown automata expressive and succinct
10.1007/978-3-662-63958-0_34,10076,ElKo,Reactive key-loss protection in blockchains
10.3390/v13091853,10103,FlSc,A structural perspective of the role of IP6 in immature and mature retroviral assembly
10.1007/978-3-030-88494-9_12,10108,ToHe,Differential monitoring
10.7554/eLife.68238,10116,MaDe,Neuronal calmodulin levels are controlled by CAMTA transcription factors
10.1016/J.JBC.2021.101094,10117,"MaDe,LifeSc",Interactome analysis of Caenorhabditis elegans synapses by TurboID-based proximity labeling
10.1021/acsnano.1c02777 ,10124,,Durotaxis of passive nanoparticles on elastic membranes
10.1101/2021.03.23.436559,10125,,Physical mechanisms of ESCRT-III-driven cell division in archaea
10.26508/lsa.202101100,10144,,Acute and chronic effects of a light-activated FGF receptor in keratinocytes in vitro and in mice
10.1038/s41586-021-03927-z,10146,LeSa,Structure and assembly of the mammalian mitochondrial supercomplex CIII<sub>2</sub>CIV
10.1145/3472749.3474798,10148,BeBi,Capturing tactile properties of real surfaces for haptic reproduction
10.1145/3485504,10153,ToHe,Transitioning from structural to nominal code with efficient gradual typing