_id,doi,title
140,10.1007/978-3-319-96145-3_25,Space-time interpolants
1116,10.1007/978-3-662-54580-5_10,Computing scores of forwarding schemes in switched networks with probabilistic faults
833,10.1007/978-3-319-64689-3_32,Streaming algorithm for Euler characteristic curves of multidimensional images
650,10.1007/978-3-319-55911-7_42,A cryptographic view of regularity lemmas: Simpler unified proofs and refined bounds
949,10.1007/978-3-319-68167-2_4,JTDec: A tool for tree decompositions in soot
962,10.1007/978-3-319-63390-9_21,Model counting for recursively-defined strings
1011,10.1007/978-3-662-54434-1_11,Faster algorithms for weighted recursive state machines
989,10.1007/978-3-319-58771-4_45,Transport based image morphing with intensity modulation
9648,10.1007/978-3-642-23672-3_35,Incremental-decremental algorithm for computing AT-models and persistent homology