DOI,IST REx ID,Research Group,Title of publication
10.2168/LMCS-11(1:20)2015,1832,ToHe,Aspect-oriented linearizability proofs
10.1007/978-1-4939-0790-8_57,18326,,Manifold Intrinsic Similarity
10.1007/978-3-319-20188-7_16,18327,,Supervised non-negative matrix factorization for audio source separation
10.1177/1759091415575845,1834,PeJo,Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats
10.1007/978-3-662-46681-0_47,1835,"ToHe,CaGu,NiBa",Model checking gene regulatory networks
10.1007/978-3-662-46669-8_5,1836,ToHe,Segment abstraction for worst-case execution time analysis
10.1016/j.celrep.2015.08.025,18365,,"Cross-talk between carbon cetabolism and the DNA camage response in S. cerevisiae"
10.1017/jfm.2015.184,1837,BjHo,Subcritical versus supercritical transition to turbulence in curved pipes
10.1073/pnas.1401651112,18371,,On convex relaxation of graph isomorphism
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