DOI,IST REx ID,Title of publication
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,From model checking to model measuring
10.1007/978-3-642-40184-8_18,2328,Aspect-oriented linearizability proofs
10.1007/978-3-642-40184-8_35,2329,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
10.1007/s00220-013-1736-8,2408,The excitation spectrum for weakly interacting Bosons in a trap
10.1128/genomeA.00216-13,2410,Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis
10.1186/1471-2148-13-54,2412,Probabilistic models for CRISPR spacer content evolution 
10.1002/9783527671632.ch08,2413,Neuronal oscillations scale up and scale down the brain dynamics 
10.1111/nph.12437,2443,Defining the selectivity of processes along the auxin response chain: A study using auxin analogues
10.1007/978-3-642-39799-8_36,2444,Faster algorithms for Markov decision processes with low treewidth
10.1007/978-3-642-39799-8_37,2446,Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis
10.1007/978-3-642-39799-8_54,2447,Automating separation logic using SMT
10.4161/psb.25688,2448,ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip
10.1093/mp/sst044,2449,Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis
10.1515/crelle.2012.039,245,Inhomogeneous cubic congruences and rational points on del Pezzo surfaces
10.3389/fpls.2013.00075,2450,Interaction of PLS and PIN and hormonal crosstalk in Arabidopsis root development