DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.CONCUR.2021.18,10052,KrCh,Decomposing permutation automata
10.1109/ISIT45174.2021.9518153,10053,MaMo,Parallelism versus latency in simplified successive-cancellation decoding of polar codes
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.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.1101/2021.09.30.462269,10080,"GradSch,JoCs",The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus
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.1103/physrevlett.127.160602,10134,MiLe,Anderson localization of composite particles
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