DOI,IST REx ID,Research Group,Title of publication
10.23638/LMCS-17(1:10)2021,10674,ToHe,Determinacy in discrete-bidding infinite-duration games
10.34727/2021/isbn.978-3-85448-046-4_23,10688,ToHe,The Civl verifier
10.1137/1.9781611976465.38,10694,"GradSch,KrCh",Infinite-duration all-pay bidding games
10.1112/s0010437x21007351,10711,TiBr,The distribution of the maximum of partial sums of Kloosterman sums and other trace functions
10.2140/APDE.2021.14.2079,10738,RoSe," The Landau–Pekar equations: Adiabatic theorem and accuracy"
10.1126/science.abg0886,10809,MaIb,Tidying up the mess
10.1016/j.cub.2021.02.043,10834,MiSi,"Loss of Hem1 disrupts macrophage function and impacts migration, phagocytosis, and integrin-mediated adhesion"
10.1111/all.14604,10836,Bio,"PIPE‐cloned human IgE and IgG4 antibodies: New tools for investigating cow's milk allergy and tolerance"
10.1111/mec.15861,10838,BeVi,Using replicate hybrid zones to understand the genomic basis of adaptive divergence
10.24963/ijcai.2021/575,10847,KrCh,Solving partially observable stochastic shortest-path games
10.1142/s0129055x20600120,10852,RoSe,The polaron at strong coupling
10.1145/3409964.3461810,10853,DaAl,A scalable concurrent algorithm for dynamic connectivity
10.1145/3410220.3453923,10854,DaAl,Input-dynamic distributed algorithms for communication networks
10.1145/3447384,10855,DaAl,Input-dynamic distributed algorithms for communication networks
10.1515/agms-2020-0103,10856,UlWa,On the volume of sections of the cube
10.3390/nano11071827,10858,MaIb,Enhanced thermoelectric performance of n-type Bi2Se3 nanosheets through Sn doping
10.4153/s000843952000096x,10860,UlWa,Tight frames and related geometric problems
10.48550/ARXIV.2108.06686,10912,GaTk,Quantifying the coexistence of neuronal oscillations and avalanches
10.1016/j.devcel.2021.10.008,11052,MaHe,Identification of long-lived proteins in the mitochondria reveals increased stability of the electron transport chain
null,11436,DaAl,Asynchronous optimization methods for efficient training of deep neural networks with guarantees