DOI,IST REx ID,Research Group,Title of publication
10.1007/s00450-013-0251-7,2289,ToHe,Quantitative reactive modeling and verification
10.1073/pnas.1309057110,2290,JiFr,ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation
10.1109/CSF.2013.15,2291,KrPi,Cryptographically enforced RBAC
10.1007/978-3-642-40313-2,2292,KrCh,Mathematical Foundations of Computer Science 2013
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