_id,doi,title
8940,10.1007/s00454-020-00250-8,"Triangulating submanifolds: An elementary and quantified version of Whitney’s method"
10002,10.1109/LICS52264.2021.9470739,Symbolic time and space tradeoffs for probabilistic verification
10004,10.1109/LICS52264.2021.9470595,Stochastic processes with expected stopping time
14125,10.1093/bioinformatics/btaa843,SCIM: Universal single-cell matching with unpaired feature sets
11657,10.1145/3274662,Practical minimum cut algorithms
11670,10.1145/2716312,An expressive mechanism for auctions on the web
8459,10.1093/bioinformatics/btu166,Relax: The analysis of biomolecular kinetics and thermodynamics using NMR relaxation dispersion data
9145,10.1016/j.ocemod.2010.04.006,"Ocean turbulence, III: New GISS vertical mixing scheme"
8509,10.1137/070703235,Geometry of Arnold diffusion