Boutté Y, Jonsson K, Mcfarlane H, et al. ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation. PNAS. 2013;110(40):16259-16264. doi:10.1073/pnas.1309057110
LibreCat: https://research-explorer.ista.ac.at/record/2290
DOI: 10.1073/pnas.1309057110
PMID: 24043780

Kazmar T, Kvon E, Stark A, Lampert C. Drosophila Embryo Stage Annotation using Label Propagation. In: IEEE; 2013. doi:10.1109/ICCV.2013.139
LibreCat: https://research-explorer.ista.ac.at/record/2294
DOI: 10.1109/ICCV.2013.139

Chatterjee K, Sgall J, eds. Mathematical Foundations of Computer Science 2013. Vol 8087. Springer; 2013:VI-854. doi:10.1007/978-3-642-40313-2
LibreCat: https://research-explorer.ista.ac.at/record/2292
DOI: 10.1007/978-3-642-40313-2

Sharmanska V, Quadrianto N, Lampert C. Learning to rank using privileged information. In: IEEE; 2013:825-832. doi:10.1109/ICCV.2013.107
LibreCat: https://research-explorer.ista.ac.at/record/2293
DOI: 10.1109/ICCV.2013.107

Ferrara A, Fuchsbauer G, Warinschi B. Cryptographically enforced RBAC. In: IEEE; 2013:115-129. doi:10.1109/CSF.2013.15
LibreCat: https://research-explorer.ista.ac.at/record/2291
DOI: 10.1109/CSF.2013.15

Gupta A, Henzinger TA, eds. Computational Methods in Systems Biology. Vol 8130. Springer; 2013. doi:10.1007/978-3-642-40708-6
LibreCat: https://research-explorer.ista.ac.at/record/2288
DOI: 10.1007/978-3-642-40708-6

Dragoi C, Enea C, Sighireanu M. Local shape analysis for overlaid data structures. In: Vol 7935. Springer; 2013:150-171. doi:10.1007/978-3-642-38856-9_10
LibreCat: https://research-explorer.ista.ac.at/record/2298
DOI: 10.1007/978-3-642-38856-9_10

Godhal Y, Chatterjee K, Henzinger TA. Synthesis of AMBA AHB from formal specification: A case study. International Journal on Software Tools for Technology Transfer. 2013;15(5-6):585-601. doi:10.1007/s10009-011-0207-9
LibreCat: https://research-explorer.ista.ac.at/record/2299
DOI: 10.1007/s10009-011-0207-9

Seiringer R. Hot topics in cold gases: A mathematical physics perspective. Japanese Journal of Mathematics. 2013;8(2):185-232. doi:10.1007/s11537-013-1264-5
LibreCat: https://research-explorer.ista.ac.at/record/2297
DOI: 10.1007/s11537-013-1264-5
arXiv: 0908.3686

Danowski P, Pohl A. (Open) Linked Data in Bibliotheken. Vol 50. De Gruyter; 2013. doi:10.1515/9783110278736
LibreCat: https://research-explorer.ista.ac.at/record/2306
DOI: 10.1515/9783110278736

Desai A, Gupta V, Jackson E, Qadeer S, Rajamani S, Zufferey D. P: Safe asynchronous event-driven programming. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM; 2013:321-331. doi:10.1145/2491956.2462184
LibreCat: https://research-explorer.ista.ac.at/record/2301
DOI: 10.1145/2491956.2462184

Giuliani A, Lieb É, Seiringer R. Realization of stripes and slabs in two and three dimensions. Physical Review B. 2013;88(6). doi:10.1103/PhysRevB.88.064401
LibreCat: https://research-explorer.ista.ac.at/record/2300
DOI: 10.1103/PhysRevB.88.064401
arXiv: 1305.5323

Hippenmeyer S. Dissection of gene function at clonal level using mosaic analysis with double markers. Frontiers in Biology. 2013;8(6):557-568. doi:10.1007/s11515-013-1279-6
LibreCat: https://research-explorer.ista.ac.at/record/2303
DOI: 10.1007/s11515-013-1279-6

Pausinger F. Van der Corput sequences and linear permutations. Electronic Notes in Discrete Mathematics. 2013;43:43-50. doi:10.1016/j.endm.2013.07.008
LibreCat: https://research-explorer.ista.ac.at/record/2304
DOI: 10.1016/j.endm.2013.07.008

Seiringer R, Yngvason J, Zagrebnov V. Disordered Bose-Einstein condensates with interaction. In: World Scientific Publishing; 2013:610-619. doi:10.1142/9789814449243_0063
LibreCat: https://research-explorer.ista.ac.at/record/2315
DOI: 10.1142/9789814449243_0063
arXiv: 1209.4046

Frank R, Hainzl C, Seiringer R, Solovej J.10.1007/978-3-0348-0531-5_3__Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction. In: Springer; 2013:57-88. doi:10.1007/978-3-0348-0531-5_3
LibreCat: https://research-explorer.ista.ac.at/record/2319
DOI: 10.1007/978-3-0348-0531-5_3

Henzinger TA, Sezgin A, Vafeiadis V. Aspect-oriented linearizability proofs. 2013;8052:242-256. doi:10.1007/978-3-642-40184-8_18
LibreCat: https://research-explorer.ista.ac.at/record/2328
DOI: 10.1007/978-3-642-40184-8_18

Frank R, Lewin M, Lieb É, Seiringer R. A positive density analogue of the Lieb-Thirring inequality. Duke Mathematical Journal. 2013;162(3):435-495. doi:10.1215/00127094-2019477
LibreCat: https://research-explorer.ista.ac.at/record/2404
DOI: 10.1215/00127094-2019477

Seiringer R, Yngvason J, Zagrebnov V. Condensation of interacting bosons in a random potential. European Physical Journal: Special Topics. 2013;217(1):103-107. doi:10.1140/epjst/e2013-01759-5
LibreCat: https://research-explorer.ista.ac.at/record/2406
DOI: 10.1140/epjst/e2013-01759-5

Frank R, Lieb É, Seiringer R. Symmetry of bipolaron bound states for small Coulomb repulsion. Communications in Mathematical Physics. 2013;319(2):557-573. doi:10.1007/s00220-012-1604-y
LibreCat: https://research-explorer.ista.ac.at/record/2405
DOI: 10.1007/s00220-012-1604-y

Grech P, Seiringer R. The excitation spectrum for weakly interacting Bosons in a trap. Communications in Mathematical Physics. 2013;322(2):559-591. doi:10.1007/s00220-013-1736-8
LibreCat: https://research-explorer.ista.ac.at/record/2408
DOI: 10.1007/s00220-013-1736-8

Kupczok A, Bollback JP. Probabilistic models for CRISPR spacer content evolution . BMC Evolutionary Biology. 2013;13(1):54-54. doi:10.1186/1471-2148-13-54
LibreCat: https://research-explorer.ista.ac.at/record/2412
DOI: 10.1186/1471-2148-13-54

Valderrama M, Botella Soler V, Le Van Quyen M. Neuronal oscillations scale up and scale down the brain dynamics . In: Meyer M, Pesenson Z, eds. Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain. Wiley-VCH; 2013. doi:10.1002/9783527671632.ch08
LibreCat: https://research-explorer.ista.ac.at/record/2413
DOI: 10.1002/9783527671632.ch08

Fernandes Redondo RA, Kupczok A, Stift G, Bollback JP. Complete genome sequence of the novel phage MG- infecting bacillus weihenstephanensis. Genome Announcements. 2013;1(3). doi:10.1128/genomeA.00216-13
LibreCat: https://research-explorer.ista.ac.at/record/2410
DOI: 10.1128/genomeA.00216-13

Piskac R, Wies T, Zufferey D. Automating separation logic using SMT. 2013;8044:773-789. doi:10.1007/978-3-642-39799-8_54
LibreCat: https://research-explorer.ista.ac.at/record/2447
DOI: 10.1007/978-3-642-39799-8_54

Simon S, Kubes M, Baster P, et al. Defining the selectivity of processes along the auxin response chain: A study using auxin analogues. New Phytologist. 2013;200(4):1034-1048. doi:10.1111/nph.12437
LibreCat: https://research-explorer.ista.ac.at/record/2443
DOI: 10.1111/nph.12437

Chatterjee K, Gaiser A, Kretinsky J. Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis. 2013;8044:559-575. doi:10.1007/978-3-642-39799-8_37
LibreCat: https://research-explorer.ista.ac.at/record/2446
DOI: 10.1007/978-3-642-39799-8_37
arXiv: 1304.5281

Chatterjee K, aCki J. Faster algorithms for Markov decision processes with low treewidth. 2013;8044:543-558. doi:10.1007/978-3-642-39799-8_36
LibreCat: https://research-explorer.ista.ac.at/record/2444
DOI: 10.1007/978-3-642-39799-8_36
arXiv: 1304.0084

Nodzyski T, Feraru M, Hirsch S, et al. Retromer subunits VPA and VP mediate prevacuolar compartment (PVC) function in Arabidopsis. Molecular Plant. 2013;6(6):1849-1862. doi:10.1093/mp/sst044
LibreCat: https://research-explorer.ista.ac.at/record/2449
DOI: 10.1093/mp/sst044

Barbez E, Laková M, Paezová M, et al. Single-cell-based system to monitor carrier driven cellular auxin homeostasis. BMC Plant Biology. 2013;13(1). doi:10.1186/1471-2229-13-20
LibreCat: https://research-explorer.ista.ac.at/record/2452
DOI: 10.1186/1471-2229-13-20

Liu J, Menhi S, Topping J, Friml J, Lindsey K. Interaction of PLS and PIN and hormonal crosstalk in Arabidopsis root development. Frontiers in Plant Science. 2013;4(75). doi:10.3389/fpls.2013.00075
LibreCat: https://research-explorer.ista.ac.at/record/2450
DOI: 10.3389/fpls.2013.00075

Baier S, Browning TD. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2013;(680):69-151. doi:10.1515/crelle.2012.039
LibreCat: https://research-explorer.ista.ac.at/record/245
DOI: 10.1515/crelle.2012.039

Viaene T, Delwiche C, Rensing S, Friml J. Origin and evolution of PIN auxin transporters in the green lineage. Trends in Plant Science. 2013;18(1):5-10. doi:10.1016/j.tplants.2012.08.009
LibreCat: https://research-explorer.ista.ac.at/record/2457
DOI: 10.1016/j.tplants.2012.08.009

Browning TD, Munshi R. Rational points on singular intersections of quadrics. Compositio Mathematica. 2013;149(9):1457-1494. doi:10.1112/S0010437X13007185
LibreCat: https://research-explorer.ista.ac.at/record/246
DOI: 10.1112/S0010437X13007185

Sanchez-Romero I, Ariza A, Wilson K, et al. Mechanism of protein kinetic stabilization by engineered disulfide crosslinks. PLoS One. 2013;8(7). doi:10.1371/journal.pone.0070013
LibreCat: https://research-explorer.ista.ac.at/record/2471
DOI: 10.1371/journal.pone.0070013

Cazzonelli C, Vanstraelen M, Simon S, et al. Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development. PLoS One. 2013;8(7). doi:10.1371/journal.pone.0070069
LibreCat: https://research-explorer.ista.ac.at/record/2472
DOI: 10.1371/journal.pone.0070069

covanová M, Sauer M, Rychtá J, Friml J, Petrásek J, Zaeímalová E. Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells. PLoS One. 2013;8(7). doi:10.1371/journal.pone.0070050
LibreCat: https://research-explorer.ista.ac.at/record/2470
DOI: 10.1371/journal.pone.0070050

Ando R, Thuerey N, Wojtan C. Highly adaptive liquid simulations on tetrahedral meshes. ACM Transactions on Graphics. 2013;32(4). doi:10.1145/2461912.2461982
LibreCat: https://research-explorer.ista.ac.at/record/2466
DOI: 10.1145/2461912.2461982

Bernstein G, Wojtan C. Putting holes in holey geometry: Topology change for arbitrary surfaces. ACM Transactions on Graphics. 2013;32(4). doi:10.1145/2461912.2462027
LibreCat: https://research-explorer.ista.ac.at/record/2467
DOI: 10.1145/2461912.2462027

Bojsen-Hansen M, Wojtan C. Liquid surface tracking with error compensation. ACM Transactions on Graphics. 2013;32(4). doi:10.1145/2461912.2461991
LibreCat: https://research-explorer.ista.ac.at/record/2468
DOI: 10.1145/2461912.2461991

Maître J-L, Heisenberg C-PJ. Three functions of cadherins in cell adhesion. Current Biology. 2013;23(14):6-3. doi:10.1016/j.cub.2013.06.019
LibreCat: https://research-explorer.ista.ac.at/record/2469
DOI: 10.1016/j.cub.2013.06.019
PMID: 23885883

Browning TD. The Lang-Weil estimate for cubic hypersurfaces. Canadian Mathematical Bulletin. 2013;56(3):500-502. doi:10.4153/CMB-2011-177-4
LibreCat: https://research-explorer.ista.ac.at/record/247
DOI: 10.4153/CMB-2011-177-4

Barton NH, Etheridge A, Kelleher J, Véber A. Genetic hitch-hiking in spatially extended populations. Theoretical Population Biology. 2013;87(8):75-89. doi:10.1016/j.tpb.2012.12.001
LibreCat: https://research-explorer.ista.ac.at/record/2473
DOI: 10.1016/j.tpb.2012.12.001

Budreck E, Kwon O, Jung J, et al. Neuroligin-1 controls synaptic abundance of NMDA-type glutamate receptors through extracellular coupling. PNAS. 2013;110(2):725-730. doi:10.1073/pnas.1214718110
LibreCat: https://research-explorer.ista.ac.at/record/2478
DOI: 10.1073/pnas.1214718110

De La Bretèche R, Browning TD. Density of Châtelet surfaces failing the Hasse principle. Proceedings of the London Mathematical Society. 2013;108(4):1030-1078. doi:10.1112/plms/pdt060
LibreCat: https://research-explorer.ista.ac.at/record/250
DOI: 10.1112/plms/pdt060

De La Bretèche R, Browning TD. Counter examples to the Hasse principle among certain coflasque tori. Journal de Theorie des Nombres de Bordeaux. 2013;26(1):25-44. doi:10.5802/jtnb.857
LibreCat: https://research-explorer.ista.ac.at/record/251
DOI: 10.5802/jtnb.857

Almagor S, Boker U, Kupferman O. Formalizing and reasoning about quality. 2013;7966(Part 2):15-27. doi:10.1007/978-3-642-39212-2_3
LibreCat: https://research-explorer.ista.ac.at/record/2517
DOI: 10.1007/978-3-642-39212-2_3

Kolmogorov V. The power of linear programming for finite-valued CSPs: A constructive characterization. In: Vol 7965. Springer; 2013:625-636. doi:10.1007/978-3-642-39206-1_53
LibreCat: https://research-explorer.ista.ac.at/record/2518
DOI: 10.1007/978-3-642-39206-1_53
arXiv: 1207.7213

Lampert C, Nickisch H, Harmeling S. Attribute-based classification for zero-shot learning of object categories. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2013;36(3):453-465. doi:10.1109/TPAMI.2013.140
LibreCat: https://research-explorer.ista.ac.at/record/2516
DOI: 10.1109/TPAMI.2013.140

Quadrianto N, Sharmanska V, Knowles D, Ghahramani Z. The supervised IBP: Neighbourhood preserving infinite latent feature models. In: Proceedings of the 29th Conference Uncertainty in Artificial Intelligence. AUAI Press; 2013:527-536.
LibreCat: https://research-explorer.ista.ac.at/record/2520

Browning TD. Counting rational points on cubic hypersurfaces: Corrigendum. Mathematika. 2013;60(1):101-107. doi:10.1112/S0025579313000132
LibreCat: https://research-explorer.ista.ac.at/record/253
DOI: 10.1112/S0025579313000132

Dobi A, Sartori S, Busti D, et al. Neural substrates for the distinct effects of presynaptic group III metabotropic glutamate receptors on extinction of contextual fear conditioning in mice. Neuropharmacology. 2013;66:274-289. doi:10.1016/j.neuropharm.2012.05.025
LibreCat: https://research-explorer.ista.ac.at/record/2692
DOI: 10.1016/j.neuropharm.2012.05.025

Indriati D, Kamasawa N, Matsui K, Meredith A, Watanabe M, Shigemoto R. Quantitative localization of Ca.1 (P/Q-Type) voltage-dependent calcium channels in Purkinje cells: Somatodendritic gradient and distinct somatic coclustering with calcium-activated potassium channels. Journal of Neuroscience. 2013;33(8):3668-3678. doi:10.1523/JNEUROSCI.2921-12.2013
LibreCat: https://research-explorer.ista.ac.at/record/2691
DOI: 10.1523/JNEUROSCI.2921-12.2013

Budisantoso T, Harada H, Kamasawa N, Fukazawa Y, Shigemoto R, Matsui K. Evaluation of glutamate concentration transient in the synaptic cleft of the rat calyx of Held. Journal of Physiology. 2013;591(1):219-239. doi:10.1113/jphysiol.2012.241398
LibreCat: https://research-explorer.ista.ac.at/record/2690
DOI: 10.1113/jphysiol.2012.241398

Booker S, Gross A, Althof D, et al. Differential GABAB-receptor-mediated effects in perisomatic- and dendrite-targeting parvalbumin interneurons. Journal of Neuroscience. 2013;33(18):7961-7974. doi:10.1523/JNEUROSCI.1186-12.2013
LibreCat: https://research-explorer.ista.ac.at/record/2693
DOI: 10.1523/JNEUROSCI.1186-12.2013

Erdös L, Fournais S, Solovej J. Stability and semiclassics in self-generated fields. Journal of the European Mathematical Society. 2013;15(6):2093-2113. doi:10.4171/JEMS/416
LibreCat: https://research-explorer.ista.ac.at/record/2698
DOI: 10.4171/JEMS/416
arXiv: 1105.0506

Erdös L, Knowles A, Yau H, Yin J. Delocalization and diffusion profile for random band matrices. Communications in Mathematical Physics. 2013;323(1):367-416. doi:10.1007/s00220-013-1773-3
LibreCat: https://research-explorer.ista.ac.at/record/2697
DOI: 10.1007/s00220-013-1773-3

Barton NH, Paixao T. Can quantitative and population genetics help us understand evolutionary computation? In: Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation. ACM; 2013:1573-1580. doi:10.1145/2463372.2463568
LibreCat: https://research-explorer.ista.ac.at/record/2718
DOI: 10.1145/2463372.2463568

Long H, Paixao T, Azevedo R, Zufall R. Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila. Genetics. 2013;195(2):527-540. doi:10.1534/genetics.113.153536
LibreCat: https://research-explorer.ista.ac.at/record/2720
DOI: 10.1534/genetics.113.153536
PMID: 23934880

Paixao T, Barton NH. A variance decomposition approach to the analysis of genetic algorithms. In: Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation. ACM; 2013:845-852. doi:10.1145/2463372.2463470
LibreCat: https://research-explorer.ista.ac.at/record/2719
DOI: 10.1145/2463372.2463470

Erdös L, Farrell B. Local eigenvalue density for general MANOVA matrices. Journal of Statistical Physics. 2013;152(6):1003-1032. doi:10.1007/s10955-013-0807-8
LibreCat: https://research-explorer.ista.ac.at/record/2782
DOI: 10.1007/s10955-013-0807-8
arXiv: 1207.0031

Erdös L, Knowles A, Yau H, Yin J. Spectral statistics of Erds-Rényi graphs I: Local semicircle law. Annals of Probability. 2013;41(3 B):2279-2375. doi:10.1214/11-AOP734
LibreCat: https://research-explorer.ista.ac.at/record/2781
DOI: 10.1214/11-AOP734

Erdös L, Knowles A, Yau H. Averaging fluctuations in resolvents of random band matrices. Annales Henri Poincare. 2013;14(8):1837-1926. doi:10.1007/s00023-013-0235-y
LibreCat: https://research-explorer.ista.ac.at/record/2780
DOI: 10.1007/s00023-013-0235-y

cadek M, Krcál M, Matousek J, Vokínek L, Wagner U. Extending continuous maps: Polynomiality and undecidability. In: 45th Annual ACM Symposium on Theory of Computing. ACM; 2013:595-604. doi:10.1145/2488608.2488683
LibreCat: https://research-explorer.ista.ac.at/record/2807
DOI: 10.1145/2488608.2488683

Landberg K, Pederson E, Viaene T, et al. The moss physcomitrella patens reproductive organ development is highly organized, affected by the two SHI/STY genes and by the level of active auxin in the SHI/STY expression domain. Plant Physiology. 2013;162(3):1406-1419. doi:10.1104/pp.113.214023
LibreCat: https://research-explorer.ista.ac.at/record/2808
DOI: 10.1104/pp.113.214023
PMID: 23669745

Avila K, Hof B. High-precision Taylor-Couette experiment to study subcritical transitions and the role of boundary conditions and size effects. Review of Scientific Instruments. 2013;84(6). doi:10.1063/1.4807704
LibreCat: https://research-explorer.ista.ac.at/record/2806
DOI: 10.1063/1.4807704

Holzner M, Song B, Avila M, Hof B. Lagrangian approach to laminar-turbulent interfaces in transitional pipe flow. Journal of Fluid Mechanics. 2013;723:140-162. doi:10.1017/jfm.2013.127
LibreCat: https://research-explorer.ista.ac.at/record/2805
DOI: 10.1017/jfm.2013.127

de Vos M, Poelwijk F, Battich N, Ndika J, Tans S. Environmental dependence of genetic constraint. PLoS Genetics. 2013;9(6). doi:10.1371/journal.pgen.1003580
LibreCat: https://research-explorer.ista.ac.at/record/2810
DOI: 10.1371/journal.pgen.1003580

Chatterjee K, Alfaro L, Majumdar R. The complexity of coverage. International Journal of Foundations of Computer Science. 2013;24(2):165-185. doi:10.1142/S0129054113400066
LibreCat: https://research-explorer.ista.ac.at/record/2814
DOI: 10.1142/S0129054113400066
arXiv: 0804.4525

Avila M, Hof B. Nature of laminar-turbulence intermittency in shear flows. Physical Review E. 2013;87(6). doi:10.1103/PhysRevE.87.063012
LibreCat: https://research-explorer.ista.ac.at/record/2811
DOI: 10.1103/PhysRevE.87.063012
arXiv: 1306.5890

Samanta D, Dubief Y, Holzner M, et al. Elasto-inertial turbulence. PNAS. 2013;110(26):10557-10562. doi:10.1073/pnas.1219666110
LibreCat: https://research-explorer.ista.ac.at/record/2813
DOI: 10.1073/pnas.1219666110
PMID: 23757498

Attali D, Bauer U, Devillers O, Glisse M, Lieutier A. Homological reconstruction and simplification in . In: Proceedings of the 29th Annual Symposium on Computational Geometry. ACM; 2013:117-125. doi:10.1145/2462356.2462373
LibreCat: https://research-explorer.ista.ac.at/record/2812
DOI: 10.1145/2462356.2462373

Novak S, Chatterjee K, Nowak M. Density games. Journal of Theoretical Biology. 2013;334:26-34. doi:10.1016/j.jtbi.2013.05.029
LibreCat: https://research-explorer.ista.ac.at/record/2817
DOI: 10.1016/j.jtbi.2013.05.029

Chatterjee K, Prabhu V. Quantitative timed simulation functions and refinement metrics for real-time systems. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control. Vol 1. Springer; 2013:273-282. doi:10.1145/2461328.2461370
LibreCat: https://research-explorer.ista.ac.at/record/2819
DOI: 10.1145/2461328.2461370

Rajan K, Marre O, Tkadik G. Learning quadratic receptive fields from neural responses to natural stimuli. Neural Computation. 2013;25(7):1661-1692. doi:10.1162/NECO_a_00463
LibreCat: https://research-explorer.ista.ac.at/record/2818
DOI: 10.1162/NECO_a_00463
arXiv: 1209.0121

Tran Viet K, Powell C, Barathi V, et al. Mutations in SCO2 are associated with autosomal-dominant high-grade myopia. American Journal of Human Genetics. 2013;92(5):820-826. doi:10.1016/j.ajhg.2013.04.005
LibreCat: https://research-explorer.ista.ac.at/record/2826
DOI: 10.1016/j.ajhg.2013.04.005
PMID: 23643385

Topp C, Iyer Pascuzzi A, Anderson J, et al. 3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture. PNAS. 2013;110(18):95-04. doi:10.1073/pnas.1304354110
LibreCat: https://research-explorer.ista.ac.at/record/2822
DOI: 10.1073/pnas.1304354110
PMID: 25673779

Remy E, Cabrito T, Baster P, et al. A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis. Plant Cell. 2013;25(3):901-926. doi:10.1105/tpc.113.110353
LibreCat: https://research-explorer.ista.ac.at/record/2821
DOI: 10.1105/tpc.113.110353
PMID: 23524662

Du Y, Tejos R, Beck M, et al. Salicylic acid interferes with clathrin-mediated endocytic protein trafficking. PNAS. 2013;110(19):7946-7951. doi:10.1073/pnas.1220205110
LibreCat: https://research-explorer.ista.ac.at/record/2827
DOI: 10.1073/pnas.1220205110
PMID: 23613581

Pickup M, Wilson S, Freudenberger D, et al. Post-fire recovery of revegetated woodland communities in south-eastern Australia. Austral Ecology. 2013;38(3):300-312. doi:10.1111/j.1442-9993.2012.02404.x
LibreCat: https://research-explorer.ista.ac.at/record/2823
DOI: 10.1111/j.1442-9993.2012.02404.x

Chatterjee K, Prabhu V. Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems. Information and Computation. 2013;228-229:83-119. doi:10.1016/j.ic.2013.04.003
LibreCat: https://research-explorer.ista.ac.at/record/2824
DOI: 10.1016/j.ic.2013.04.003

Tanaka H, Kitakura S, Rakusová H, et al. Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana. PLoS Genetics. 2013;9(5). doi:10.1371/journal.pgen.1003540
LibreCat: https://research-explorer.ista.ac.at/record/2832
DOI: 10.1371/journal.pgen.1003540

Kolmogorov V, divný S. The complexity of conservative valued CSPs. Journal of the ACM. 2013;60(2). doi:10.1145/2450142.2450146
LibreCat: https://research-explorer.ista.ac.at/record/2828
DOI: 10.1145/2450142.2450146
arXiv: 1110.2809

Shi L, Avila M, Hof B. Scale invariance at the onset of turbulence in couette flow. Physical Review Letters. 2013;110(20). doi:10.1103/PhysRevLett.110.204502
LibreCat: https://research-explorer.ista.ac.at/record/2829
DOI: 10.1103/PhysRevLett.110.204502
arXiv: 1304.5446

Avila M, Mellibovsky F, Roland N, Hof B. Streamwise-localized solutions at the onset of turbulence in pipe flow. Physical Review Letters. 2013;110(22). doi:10.1103/PhysRevLett.110.224502
LibreCat: https://research-explorer.ista.ac.at/record/2834
DOI: 10.1103/PhysRevLett.110.224502
arXiv: 1212.0230

Heisenberg C-PJ, Bellaïche Y. Forces in tissue morphogenesis and patterning. Cell. 2013;153(5):948-962. doi:10.1016/j.cell.2013.05.008
LibreCat: https://research-explorer.ista.ac.at/record/2833
DOI: 10.1016/j.cell.2013.05.008

Moussion C, Sixt MK. A conduit to amplify innate immunity. Immunity. 2013;38(5):853-854. doi:10.1016/j.immuni.2013.05.005
LibreCat: https://research-explorer.ista.ac.at/record/2830
DOI: 10.1016/j.immuni.2013.05.005

Barton NH, Etheridge A, Kelleher J, Véber A. Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks. Theoretical Population Biology. 2013;87(1):105-119. doi:10.1016/j.tpb.2013.03.001
LibreCat: https://research-explorer.ista.ac.at/record/2842
DOI: 10.1016/j.tpb.2013.03.001

Arquè Fuste G, Casanovas A, Dierssen M. Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome. PLoS One. 2013;8(1). doi:10.1371/journal.pone.0054285
LibreCat: https://research-explorer.ista.ac.at/record/2838
DOI: 10.1371/journal.pone.0054285

Weber M, Hauschild R, Schwarz J, et al. Interstitial dendritic cell guidance by haptotactic chemokine gradients. Science. 2013;339(6117):328-332. doi:10.1126/science.1228456
LibreCat: https://research-explorer.ista.ac.at/record/2839
DOI: 10.1126/science.1228456

Erdös L, Knowles A, Yau H, Yin J. The local semicircle law for a general class of random matrices. Electronic Journal of Probability. 2013;18(59):1-58. doi:10.1214/EJP.v18-2473
LibreCat: https://research-explorer.ista.ac.at/record/2837
DOI: 10.1214/EJP.v18-2473

Yu H, Karampelias M, Robert S, et al. Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis. Plant Physiology. 2013;162(2):965-976. doi:10.1104/pp.113.217018
LibreCat: https://research-explorer.ista.ac.at/record/2835
DOI: 10.1104/pp.113.217018
PMID: 23580592

Chatterjee K, Raman V. Assume-guarantee synthesis for digital contract signing. Formal Aspects of Computing. 2013;26(4):825-859. doi:10.1007/s00165-013-0283-6
LibreCat: https://research-explorer.ista.ac.at/record/2836
DOI: 10.1007/s00165-013-0283-6
arXiv: 1004.2697

Van Cauter T, Camon J, Alvernhe A, Elduayen C, Sargolini F, Save É. Distinct roles of medial and lateral entorhinal cortex in spatial cognition. Cerebral Cortex. 2013;23(2):451-459. doi:10.1093/cercor/bhs033
LibreCat: https://research-explorer.ista.ac.at/record/2840
DOI: 10.1093/cercor/bhs033

Morita H, Heisenberg C-PJ. Holding on and letting go: Cadherin turnover in cell intercalation. Developmental Cell. 2013;24(6):567-569. doi:10.1016/j.devcel.2013.03.007
LibreCat: https://research-explorer.ista.ac.at/record/2841
DOI: 10.1016/j.devcel.2013.03.007

El Masri L, Schulte R, Timmermeyer N, et al. Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution. Ecology Letters. 2013;16(4):461-468. doi:10.1111/ele.12068
LibreCat: https://research-explorer.ista.ac.at/record/2846
DOI: 10.1111/ele.12068

Rosquete M, von Wangenheim D, Marhavý P, et al. An auxin transport mechanism restricts positive orthogravitropism in lateral roots. Current Biology. 2013;23(9):817-822. doi:10.1016/j.cub.2013.03.064
LibreCat: https://research-explorer.ista.ac.at/record/2844
DOI: 10.1016/j.cub.2013.03.064

Edelsbrunner H, Pausinger F. Stable length estimates of tube-like shapes. In: 17th IAPR International Conference on Discrete Geometry for Computer Imagery. Vol 7749. Springer; 2013:XV-XIX. doi:10.1007/978-3-642-37067-0
LibreCat: https://research-explorer.ista.ac.at/record/2843
DOI: 10.1007/978-3-642-37067-0

Rose T, Schönenberger P, Jezek K, Oertner T. Developmental refinement of vesicle cycling at Schaffer collateral synapses. Neuron. 2013;77(6):1109-1121. doi:10.1016/j.neuron.2013.01.021
LibreCat: https://research-explorer.ista.ac.at/record/2845
DOI: 10.1016/j.neuron.2013.01.021

Chatterjee K, De Alfaro L, Henzinger TA. Strategy improvement for concurrent reachability and turn based stochastic safety games. Journal of Computer and System Sciences. 2013;79(5):640-657. doi:10.1016/j.jcss.2012.12.001
LibreCat: https://research-explorer.ista.ac.at/record/2854
DOI: 10.1016/j.jcss.2012.12.001