DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-15552-9_41,3794,ChLa,Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning
10.1007/978-3-642-12029-9_21,3865,KrCh,Analyzing the impact of change in multi-threaded programs
10.1007/978-3-642-15552-9_15,18338,,Spatially-sensitive affine-invariant image descriptors
DOI: 10.1007/978-3-540-78929-1_6,3873,,Controller synthesis with budget constraints
10.1007/978-3-540-78929-1_7,3874,,Trading infinite memory for uniform randomness in timed games
10.1007/978-3-540-78499-9_22,3875,,Model-checking omega-regular properties of interval Markov chains
10.1007/978-3-540-85361-9_14,3877,,Environment assumptions for synthesis
10.1007/978-3-540-89330-1_7,3878,,The complexity of coverage
10.1007/978-3-540-87531-4_28,3879,,Quantitative languages
10.1007/978-3-540-85361-9,3880,,Strategy construction for parity games with imperfect information
10.1007/978-3-540-85778-5_10,3876,,Timed parity games: complexity and robustness
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/11672142_42,4538,,Strategy improvement and randomized subexponential algorithms for stochastic parity games
10.1007/11874683_26,4437,,Solving games without determinization
10.1007/11817963_5,4406,,Antichains: A new algorithm for checking universality of finite automata
10.1007/11867340_1,4432,,Timed alternating-time temporal logic
10.1007/11813040_1,4431,,The embedded systems design challenge