_id,doi,title
14778,10.1145/3585391,On lexicographic proof rules for probabilistic termination
12164,10.1007/s00446-022-00439-5,Long-lived counters with polylogarithmic amortized step complexity
12287,10.1007/s00454-022-00431-7,Local criteria for triangulating general manifolds
10643,10.1017/fms.2021.80,Adiabatic theorem in the thermodynamic limit: Systems with a gap in the bulk
12129,10.1007/s00454-022-00436-2,Connectivity of triangulation flip graphs in the plane
12148,10.1017/fms.2022.86,Rank-uniform local law for Wigner matrices
12286,10.37236/10794,Loose cores and cycles in random hypergraphs
11446,10.1007/s00454-021-00299-z,Vanishing of all equivariant obstructions and the mapping degree
8940,10.1007/s00454-020-00250-8,"Triangulating submanifolds: An elementary and quantified version of Whitney’s method"
11657,10.1145/3274662,Practical minimum cut algorithms
8509,10.1137/070703235,Geometry of Arnold diffusion