DOI,IST REx ID,Title of publication
10.1073/pnas.1401651112,18371,On convex relaxation of graph isomorphism
10.1007/978-3-662-46681-0_50,1838,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,Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
10.1109/TAC.2014.2364971,1840,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,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,Gap universality of generalized Wigner and β ensembles
10.2168/LMCS-11(1:20)2015,1832,Aspect-oriented linearizability proofs
10.1007/978-3-662-47666-6_10,1610,Edit distance for pushdown automata
10.1109/LICS.2015.32,1657,Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.15479/AT:IST-2015-318-v2-1,5435,Unifying two views on multiple mean-payoff objectives in Markov decision processes