DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-40184-8_20,2327,ToHe,From model checking to model measuring
10.1007/978-3-642-40184-8_35,2329,KrCh,Hyperplane separation technique for multidimensional mean-payoff games
10.1128/genomeA.00216-13,2410,"JoBo,LifeSc",Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis
10.1186/1471-2148-13-54,2412,JoBo,Probabilistic models for CRISPR spacer content evolution 
10.1002/9783527671632.ch08,2413,GaTk,Neuronal oscillations scale up and scale down the brain dynamics 
10.1007/978-3-642-39799-8_36,2444,KrCh,Faster algorithms for Markov decision processes with low treewidth
10.1007/978-3-642-39799-8_68,2445,ToHe,Efficient synthesis for concurrency by semantics-preserving transformations
10.1007/978-3-642-39799-8_37,2446,KrCh,Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis
10.1007/978-3-642-39799-8_54,2447,ToHe,Automating separation logic using SMT
10.4161/psb.25688,2448,JiFr,ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip
10.1093/mp/sst044,2449,JiFr,Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis
10.1145/2461912.2461982,2466,ChWo,Highly adaptive liquid simulations on tetrahedral meshes
10.1145/2461912.2462027,2467,ChWo,Putting holes in holey geometry: Topology change for arbitrary surfaces
10.1145/2461912.2461991,2468,ChWo,Liquid surface tracking with error compensation
10.1016/j.cub.2013.06.019,2469,CaHe,Three functions of cadherins in cell adhesion
10.1371/journal.pone.0070050,2470,JiFr,Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells
10.1371/journal.pone.0070013,2471,HaJa,Mechanism of protein kinetic stabilization by engineered disulfide crosslinks
10.1371/journal.pone.0070069,2472,"JiFr,EvBe",Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development
10.1016/j.tpb.2012.12.001,2473,NiBa,Genetic hitch-hiking in spatially extended populations
10.1109/TPAMI.2013.140,2516,ChLa,Attribute-based classification for zero-shot learning of object categories