DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-662-46681-0_50,1838,KrCh,Assume-guarantee synthesis for concurrent reactive programs with partial information
10.1109/cvpr.2015.7299161,18380,,Inverting RANSAC: Global model detection via inlier rate estimation
10.1109/icassp.2015.7178678,18387,,Sparse null space basis pursuit and analysis dictionary learning for high-dimensional data analysis
10.1007/978-3-662-46681-0_12,1839,KrCh,Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
10.1109/TAC.2014.2364971,1840,"CaGu,ToHe",Optimal Kullback-Leibler aggregation via information bottleneck
10.1109/icip.2014.7025264,18400,,Real-time compressed imaging of scattering volumes
10.1109/icip.2015.7351256,18401,,Intel realsense = Real low cost gaze
10.1109/TPAMI.2014.2363465,1841,VlKo,A new look at reweighted message passing
10.1109/tpami.2015.2392779,18415,,Learning efficient sparse and low rank models
10.1109/tpami.2015.2408348,18416,,Multimodal manifold snalysis by simultaneous diagonalization of Laplacians
10.1111/cgf.12454,18424,,Probably approximately symmetric: Fast rigid symmetry detection with global guarantees
10.1111/cgf.12734,18425,,"Recent trends, applications, and perspectives in 3D shape similarity assessment"
10.1364/oe.23.024547,18436,,Computational multi-focus imaging combining sparse model with color dependent phase mask
10.4108/eai.14-10-2015.2261657,18439,,Low-cost gaze and pulse analysis using realsense
10.4171/JEMS/548,1508,LaEr,Gap universality of generalized Wigner and β ensembles
10.2168/LMCS-11(1:20)2015,1832,ToHe,Aspect-oriented linearizability proofs
10.1007/978-3-662-47666-6_10,1610,"KrCh,ToHe",Edit distance for pushdown automata
10.1109/LICS.2015.32,1657,"KrCh,ToHe",Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.15479/AT:IST-2015-318-v2-1,5435,KrCh,Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.15479/AT:IST-2015-318-v1-1,5429,KrCh,Unifying two views on multiple mean-payoff objectives in Markov decision processes