DOI,IST REx ID,Title of publication
10.1007/978-3-642-33863-2_6,18348,Group-valued regularization for analysis of articulated motion
10.1007/978-3-642-33863-2_9,18349,Stable Spectral Mesh Filtering
10.1007/978-3-642-34091-8_8,18350,Equi-affine invariant geometries of articulated objects
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-32940-1_10,10904,Strategy synthesis for multi-dimensional quantitative objectives
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-33386-6_10,5745,Improved single pass algorithms for resolution proof reduction
10.1007/978-3-642-20844-7_22,10907,Spatio-temporal extraction of articulated models in a graph pyramid
10.1007/978-3-642-23672-3_35,9648,Incremental-decremental algorithm for computing AT-models and persistent homology
10.1007/978-3-642-15552-9_15,18338,Spatially-sensitive affine-invariant image descriptors
10.1007/978-3-642-15558-1_29,18339,Intrinsic regularity detection in 3D geometry
10.1007/978-3-642-17511-4_7,10908,ABC: Algebraic Bound Computation for loops
10.1007/978-3-642-13675-7_1,5940,Instance Deadlock: A Mystery behind Frozen Programs
10.1007/11679363_116,18320,On separation of semitransparent dynamic images from static background
10.1007/11744078_31,18321,Robust expression-invariant face recognition from partially missing data
10.1007/11789239_5,18322,Facetoface: An isometric model for facial animation
10.1007/11789239_6,18323,Matching two-dimensional articulated shapes using generalized multidimensional scaling
10.1007/11408031_53,18319,Isometric embedding of facial surfaces into S3
10.1007/978-3-540-27836-8_2,11800,"The past, present, and future of web search engines"