DOI,IST REx ID,Research Group,Title of publication
10.1109/ICCV.2013.107,2293,ChLa,Learning to rank using privileged information
10.1109/ICCV.2013.139,2294,ChLa,Drosophila Embryo Stage Annotation using Label Propagation
10.4230/LIPIcs.CSL.2013.165,2295,KrCh,What is decidable about partially observable Markov decision processes with omega-regular objectives
10.1007/s11537-013-1264-5,2297,RoSe,Hot topics in cold gases: A mathematical physics perspective
10.1007/978-3-642-38856-9_10,2298,ToHe,Local shape analysis for overlaid data structures
10.1007/s10009-011-0207-9,2299,"KrCh,ToHe",Synthesis of AMBA AHB from formal specification: A case study
10.1103/PhysRevB.88.064401,2300,RoSe,Realization of stripes and slabs in two and three dimensions
10.1145/2491956.2462184,2301,ToHe,P: Safe asynchronous event-driven programming
10.1007/s11515-013-1279-6,2303,SiHi,Dissection of gene function at clonal level using mosaic analysis with double markers
10.1016/j.endm.2013.07.008,2304,HeEd,Van der Corput sequences and linear permutations
10.1109/LICS.2013.39,2305,KrCh,Trading performance for stability in Markov decision processes
10.1515/9783110278736,2306,E-Lib,(Open) Linked Data in Bibliotheken
10.1142/9789814449243_0063,2315,,Disordered Bose-Einstein condensates with interaction
10.1007/978-3-0348-0531-5_3,2319,, Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction
10.1007/978-3-642-40184-8_20,2327,ToHe,From model checking to model measuring
10.1007/978-3-642-40184-8_18,2328,ToHe,Aspect-oriented linearizability proofs
10.1007/978-3-642-40184-8_35,2329,KrCh,Hyperplane separation technique for multidimensional mean-payoff games
10.1215/00127094-2019477,2404,,A positive density analogue of the Lieb-Thirring inequality
10.1007/s00220-012-1604-y,2405,,Symmetry of bipolaron bound states for small Coulomb repulsion
10.1140/epjst/e2013-01759-5,2406,,Condensation of interacting bosons in a random potential