DOI,IST REx ID,Research Group,Title of publication
null,10669,"GradSch,ToHe",On the verification of neural ODEs with stochastic guarantees
null,10670,"GradSch,ToHe",Causal navigation by continuous-time neural networks
null,10671,"GradSch,ToHe",Liquid time-constant networks
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
null,10692,,Orbital Chern insulator states in twisted monolayer-bilayer graphene and electrical switching of topological and magnetic order
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