DOI,IST REx ID,Title of publication
10.1007/978-3-319-66272-5_28,5801,"Fast and Efficient Incremental Algorithms for Circular and Spherical Propagation in Integer Space"
10.1007/978-3-319-66272-5_31,5802,Digital primitives defined by weighted focal set
10.1007/978-3-319-39441-1_23,5805,On some local topological properties of naive discrete sphere
10.1007/978-3-319-26145-4_7,5809,On the connectivity and smoothness of discrete spherical circles
10.1007/978-1-4939-6352-2_12,1094,Immunogold protein localization on grid-glued freeze-fracture replicas
10.1007/978-3-642-54013-4_15,10884,Parameterized model checking of token-passing systems
10.1007/978-3-642-54013-4_5,10885,Doomsday equilibria for omega-regular games
10.1007/978-3-319-13075-0_10,10892,Planar matchings for weighted straight skeletons
10.1007/978-3-662-44199-2_24,10894,"PHAT – Persistent Homology Algorithms Toolbox"
10.1007/978-3-642-39799-8_11,5747,Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
10.1007/978-3-642-38221-5_19,10897,Persistent homology in image processing
10.1007/978-3-642-37064-9_20,10902,How to travel between languages
10.1007/978-3-642-33386-6_10,5745,Improved Single Pass Algorithms for Resolution Proof Reduction
10.1007/978-3-642-33386-6_14,10903,Accurate invariant checking for programs manipulating lists and arrays with infinite data
10.1007/978-3-642-33090-2_27,10905,Polynomial-time algorithms for energy games with special weight structures
10.1007/978-3-642-28756-5_46,10906,HSF(C): A software verifier based on Horn clauses
10.1007/978-3-642-20844-7_22,10907,Spatio-temporal extraction of articulated models in a graph pyramid
10.1007/978-3-642-17511-4_7,10908,ABC: Algebraic Bound Computation for loops
10.1007/978-3-540-27836-8_2,11800,"The past, present, and future of web search engines"
10.1007/978-3-540-30140-0_2,11801,Algorithmic aspects of web search engines