DOI,IST REx ID,Research Group,Title of publication
10.1016/j.tcs.2023.114353,14820,"KrCh,KrPi",Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
10.1007/s00446-022-00439-5,12164,KrPi,Long-lived counters with polylogarithmic amortized step complexity
10.1007/s00454-022-00431-7,12287,HeEd,Local criteria for triangulating general manifolds
10.1145/3585391,14778,KrCh,On lexicographic proof rules for probabilistic termination
10.1007/s00454-022-00436-2,12129,UlWa,Connectivity of triangulation flip graphs in the plane
10.1017/fms.2022.86,12148,LaEr,Rank-uniform local law for Wigner matrices
10.37236/10794,12286,MaKw,Loose cores and cycles in random hypergraphs
10.1017/fms.2021.80,10643,"GradSch,LaEr",Adiabatic theorem in the thermodynamic limit: Systems with a gap in the bulk
10.1007/s00454-021-00299-z,11446,,Vanishing of all equivariant obstructions and the mapping degree
10.1007/s00454-020-00250-8,8940,HeEd,"Triangulating submanifolds: An elementary and quantified version of Whitney’s method"
10.1145/3274662,11657,,Practical minimum cut algorithms
10.1137/070703235,8509,,Geometry of Arnold diffusion