DOI,IST REx ID,Research Group,Title of publication
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.1007/978-3-642-39212-2_3,2517,ToHe,Formalizing and reasoning about quality
10.1007/978-3-642-39206-1_53,2518,VlKo,The power of linear programming for finite-valued CSPs: A constructive characterization
null,2520,ChLa,The supervised IBP: Neighbourhood preserving infinite latent feature models
10.4171/JEMS/416,2698,LaEr,Stability and semiclassics in self-generated fields
10.1145/2463372.2463568,2718,"NiBa,CaGu",Can quantitative and population genetics help us understand evolutionary computation?
10.1145/2463372.2463470,2719,"NiBa,CaGu",A variance decomposition approach to the analysis of genetic algorithms
10.1534/genetics.113.153536,2720,"NiBa,CaGu",Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila
10.1007/s10955-013-0807-8,2782,LaEr,Local eigenvalue density for general MANOVA matrices