DOI,IST REx ID,Title of publication
10.1007/978-3-319-66272-5_31,5802,Digital primitives defined by weighted focal set
10.1007/978-3-319-59108-7_8,5803,Construction of persistent Voronoi diagram on 3D digital plane
10.1007/978-3-319-63121-9_18,625,The cost of exactness in quantitative reachability
10.1007/978-3-319-54292-8,638,Numerical Software Verification
10.1007/978-3-662-54434-1_11,1011,Faster algorithms for weighted recursive state machines
10.1007/978-3-319-64689-3_32,833,Streaming algorithm for Euler characteristic curves of multidimensional images
10.1007/978-3-319-63390-9_21,962,Model counting for recursively-defined strings
10.1007/978-3-319-55911-7_42,650,A cryptographic view of regularity lemmas: Simpler unified proofs and refined bounds
10.1007/978-3-319-58771-4_45,989,Transport based image morphing with intensity modulation
10.1007/978-3-319-58771-4_54,18329,Subspace least squares multidimensional scaling
10.1007/978-3-319-66182-7_65,18330,White matter fiber representation using continuous dictionary learning
10.1007/978-3-319-68167-2_4,949,JTDec: A tool for tree decompositions in soot
10.1007/978-1-4939-6352-2_12,1094,Immunogold protein localization on grid-glued freeze-fracture replicas
10.1007/978-3-319-39441-1_23,5805,On some local topological properties of naive discrete sphere
10.1007/978-3-319-32360-2_20,5806,"On functionality of quadraginta octants of naive sphere with application to circle drawing"
10.1007/978-3-319-26145-4_7,5809,On the connectivity and smoothness of discrete spherical circles
10.1007/978-3-662-48995-6_8,11773,Ad exchange: Envy-free auctions with mediators
10.1007/978-3-662-48995-6_17,11774,Combinatorial auctions with conflict-based externalities
10.1007/978-3-662-47672-7_59,11785,Improved algorithms for decremental single-source reachability on directed graphs
10.1007/978-3-662-47672-7_17,11786,Design of dynamic algorithms via primal-dual method