DOI,IST REx ID,Research Group,Title of publication
10.1145/3350755.3400213,8191,DaAl,Memory tagging: Minimalist synchronization for scalable concurrent data structures
null,8193,KrCh,Multiple-environment Markov decision processes: Efficient analysis and applications
10.1007/978-3-030-51074-9_2,8194,ToHe,An SMT theory of fixed-point arithmetic
10.1007/978-3-030-53288-8_14,8195,ToHe,Refinement for structured concurrent programs
10.2140/paa.2020.2.35,14891,RoSe, The local density approximation in density functional theory
10.1016/j.jmb.2020.09.001,15036,MaLo,Molecular recognition at septin interfaces: The switches hold the key
10.1016/j.molp.2020.02.012,15037,EvBe,TOLs function as ubiquitin receptors in the early steps of the ESCRT pathway in higher plants
10.1609/aaai.v34i06.6531,15055,KrCh,Reinforcement learning of risk-constrained policies in Markov decision processes
10.1126/sciadv.aaw7824,15057,MaDe,VRK-1 extends life span by activation of AMPK via phosphorylation
10.23919/eucap48036.2020.9135962,15059,JoFi,Compact millimeter and submillimeter-wave photonic radiometer for cubesats
10.1073/pnas.1917269117,15061,CaBe,Calcium modulates the domain flexibility and function of an α-actinin similar to the ancestral α-actinin
10.2140/pmp.2020.1.101,15063,LaEr,Optimal lower bound on the least singular value of the shifted Ginibre ensemble
10.1007/s41468-020-00058-8,15064,HeEd,"Čech-Delaunay gradient flow and homology inference for self-maps"
10.4230/LIPIcs.DISC.2020.40,15074,DaAl,Brief announcement: Efficient load-balancing through distributed token dropping
10.4230/LIPIcs.ICALP.2020.7,15077,DaAl,Dynamic averaging load balancing on cycles
null,15082,"KrCh,UlWa",Disjoint tree-compatible plane perfect matchings
10.4007/annals.2020.191.3.4,177,TiBr,A geometric version of the circle method
10.1215/00127094-2020-0031,179,TiBr,"Density of rational points on a quadric bundle in ℙ3×ℙ3"
10.1021/acs.accounts.0c00434,13361,,Molecular photoswitching in confined spaces
10.1021/jacs.0c08589,13362,,Modulating the optical properties of BODIPY dyes by noncovalent dimerization within a flexible coordination cage