DOI,IST REx ID,Research Group,Title of publication
null,3319,ChLa,Learning multi-view neighborhood preserving projections
10.1561/0600000033,3320,ChLa,Structured learning and prediction in computer vision
null,3322,ChLa,Maximum margin multi label structured prediction
10.1007/978-3-642-22438-6_36,3323,ToHe,An efficient decision procedure for imperative tree data structures
10.1007/978-3-642-18275-4_26,3324,ToHe,Decision procedures for automating termination proofs
10.1145/1926385.1926454,3325,ToHe,Streaming transducers for algorithmic verification of single pass list processing programs
10.1007/978-3-642-24372-1_37,3326,ToHe,"What’s decidable about weighted automata "
10.1007/978-3-642-19805-2_13,3327,,Co-Büching them all
10.1145/1998196.1998224,3328,HeEd,A generic algebraic kernel for non linear geometric applications
10.1145/1998196.1998225,3329,HeEd,Deconstructing approximate offsets
10.1145/1993886.1993920,3330,HeEd,Root refinement for real polynomials
10.1007/s00373-011-1020-7,3332,HeEd,A note on the complexity of real algebraic hypersurfaces
10.1007/s00454-010-9313-9,3334,HeEd,Letter from the new editors-in-chief
10.1007/978-3-642-25249-5_3,3335,HeEd,"Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web"
10.1109/CVPR.2011.5995503,3336,"HeEd,ChLa",Enforcing topological constraints in random field image segmentation
10.1109/IROS.2011.6094892,3337,ChLa,Learning anticipation policies for robot table tennis
null,3338,KrCh,Bounded rationality in concurrent parity games
null,3339,KrCh,Magnifying lens abstraction for stochastic games with discounted and long-run average objectives
10.1007/978-3-642-22110-1_21,3342,KrCh,Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
10.1137/1.9781611973082.101,3343,KrCh,Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification