Simon S, Kubes M, Baster P, Robert S, Dobrev P, Friml J, Petrásek J, Zaeímalová E. 2013. Defining the selectivity of processes along the auxin response chain: A study using auxin analogues. New Phytologist. 200(4), 1034–1048.

Chatterjee K, Gaiser A, Kretinsky J. 2013. Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis. 8044, 559–575.

Chatterjee K, aCki J. 2013. Faster algorithms for Markov decision processes with low treewidth. 8044, 543–558.

Baier S, Browning TD. 2013. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. (680), 69–151.

Sanchez-Romero I, Ariza A, Wilson K, Skjøt M, Vind J, De Maria L, Skov L, Sánchez Ruiz J. 2013. Mechanism of protein kinetic stabilization by engineered disulfide crosslinks. PLoS One. 8(7), e70013.

Cazzonelli C, Vanstraelen M, Simon S, Yin K, Carron Arthur A, Nisar N, Tarle G, Cuttriss A, Searle I, Benková E, Mathesius U, Masle J, Friml J, Pogson B. 2013. Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development. PLoS One. 8(7), e70069.

covanová M, Sauer M, Rychtá J, Friml J, Petrásek J, Zaeímalová E. 2013. Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells. PLoS One. 8(7), e70050.

Ando R, Thuerey N, Wojtan C. 2013. Highly adaptive liquid simulations on tetrahedral meshes. ACM Transactions on Graphics. 32(4), 103.

Bernstein G, Wojtan C. 2013. Putting holes in holey geometry: Topology change for arbitrary surfaces. ACM Transactions on Graphics. 32(4), 34.

Bojsen-Hansen M, Wojtan C. 2013. Liquid surface tracking with error compensation. ACM Transactions on Graphics. 32(4), 68.

Maître J-L, Heisenberg C-PJ. 2013. Three functions of cadherins in cell adhesion. Current Biology. 23(14), 6–3.

Barton NH, Etheridge A, Kelleher J, Véber A. 2013. Genetic hitch-hiking in spatially extended populations. Theoretical Population Biology. 87(8), 75–89.

De La Bretèche R, Browning TD. 2013. Density of Châtelet surfaces failing the Hasse principle. Proceedings of the London Mathematical Society. 108(4), 1030–1078.

Almagor S, Boker U, Kupferman O. 2013. Formalizing and reasoning about quality. 7966(Part 2), 15–27.

Kolmogorov V. 2013. The power of linear programming for finite-valued CSPs: A constructive characterization. ICALP: Automata, Languages and Programming, LNCS, vol. 7965, 625–636.

Quadrianto N, Sharmanska V, Knowles D, Ghahramani Z. 2013. The supervised IBP: Neighbourhood preserving infinite latent feature models. Proceedings of the 29th conference uncertainty in Artificial Intelligence. UAI: Uncertainty in Artificial Intelligence, 527–536.

Erdös L, Fournais S, Solovej J. 2013. Stability and semiclassics in self-generated fields. Journal of the European Mathematical Society. 15(6), 2093–2113.

Erdös L, Knowles A, Yau H, Yin J. 2013. Delocalization and diffusion profile for random band matrices. Communications in Mathematical Physics. 323(1), 367–416.

Barton NH, Paixao T. 2013. Can quantitative and population genetics help us understand evolutionary computation? Proceedings of the 15th annual conference on Genetic and evolutionary computation. GECCO: Genetic and evolutionary computation conference, 1573–1580.

Long H, Paixao T, Azevedo R, Zufall R. 2013. Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila. Genetics. 195(2), 527–540.

Erdös L, Farrell B. 2013. Local eigenvalue density for general MANOVA matrices. Journal of Statistical Physics. 152(6), 1003–1032.

Erdös L, Knowles A, Yau H, Yin J. 2013. Spectral statistics of Erds-Rényi graphs I: Local semicircle law. Annals of Probability. 41(3 B), 2279–2375.

Erdös L, Knowles A, Yau H. 2013. Averaging fluctuations in resolvents of random band matrices. Annales Henri Poincare. 14(8), 1837–1926.

cadek M, Krcál M, Matousek J, Vokínek L, Wagner U. 2013. Extending continuous maps: Polynomiality and undecidability. 45th Annual ACM Symposium on theory of computing. STOC: Symposium on the Theory of Computing, 595–604.

Landberg K, Pederson E, Viaene T, Bozorg B, Friml J, Jönsson H, Thelander M, Sundberg E. 2013. 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. 162(3), 1406–1419.

de Vos M, Poelwijk F, Battich N, Ndika J, Tans S. 2013. Environmental dependence of genetic constraint. PLoS Genetics. 9(6), e1003580.

Chatterjee K, Alfaro L, Majumdar R. 2013. The complexity of coverage. International Journal of Foundations of Computer Science. 24(2), 165–185.

Avila M, Hof B. 2013. Nature of laminar-turbulence intermittency in shear flows. Physical Review E. 87(6), 063012.

Samanta D, Dubief Y, Holzner M, Schäfer C, Morozov A, Wagner C, Hof B. 2013. Elasto-inertial turbulence. PNAS. 110(26), 10557–10562.

Attali D, Bauer U, Devillers O, Glisse M, Lieutier A. 2013. Homological reconstruction and simplification in . Proceedings of the 29th annual symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, 117–125.

Novak S, Chatterjee K, Nowak M. 2013. Density games. Journal of Theoretical Biology. 334, 26–34.

Chatterjee K, Prabhu V. 2013. Quantitative timed simulation functions and refinement metrics for real-time systems. Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control vol. 1, 273–282.

Rajan K, Marre O, Tkadik G. 2013. Learning quadratic receptive fields from neural responses to natural stimuli. Neural Computation. 25(7), 1661–1692.

Tran Viet K, Powell C, Barathi V, Klemm T, Maurer Stroh S, Limviphuvadh V, Soler V, Ho C, Yanovitch T, Schneider G, Li Y, Nading E, Metlapally R, Saw S, Goh L, Rozen S, Young T. 2013. Mutations in SCO2 are associated with autosomal-dominant high-grade myopia. American Journal of Human Genetics. 92(5), 820–826.

Topp C, Iyer Pascuzzi A, Anderson J, Lee C, Zurek P, Symonova O, Zheng Y, Bucksch A, Mileyko Y, Galkovskyi T, Moore B, Harer J, Edelsbrunner H, Mitchell Olds T, Weitz J, Benfey P. 2013. 3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture. PNAS. 110(18), 95–04.

Remy E, Cabrito T, Baster P, Batista R, Teixeira M, Friml J, Sá Correia I, Duque P. 2013. A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis. Plant Cell. 25(3), 901–926.

Du Y, Tejos R, Beck M, Himschoot E, Li H, Robatzek S, Vanneste S, Friml J. 2013. Salicylic acid interferes with clathrin-mediated endocytic protein trafficking. PNAS. 110(19), 7946–7951.

Tanaka H, Kitakura S, Rakusová H, Uemura T, Feraru M, De Rycke R, Robert S, Kakimoto T, Friml J. 2013. Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana. PLoS Genetics. 9(5), e1003540.

Kolmogorov V, divný S. 2013. The complexity of conservative valued CSPs. Journal of the ACM. 60(2), 10.

Shi L, Avila M, Hof B. 2013. Scale invariance at the onset of turbulence in couette flow. Physical Review Letters. 110(20), 204502.

Avila M, Mellibovsky F, Roland N, Hof B. 2013. Streamwise-localized solutions at the onset of turbulence in pipe flow. Physical Review Letters. 110(22), 224502.

Barton NH, Etheridge A, Kelleher J, Véber A. 2013. Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks. Theoretical Population Biology. 87(1), 105–119.

Arquè Fuste G, Casanovas A, Dierssen M. 2013. Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome. PLoS One. 8(1), e54285.

Weber M, Hauschild R, Schwarz J, Moussion C, de Vries I, Legler D, Luther S, Bollenbach MT, Sixt MK. 2013. Interstitial dendritic cell guidance by haptotactic chemokine gradients. Science. 339(6117), 328–332.

Erdös L, Knowles A, Yau H, Yin J. 2013. The local semicircle law for a general class of random matrices. Electronic Journal of Probability. 18(59), 1–58.

Yu H, Karampelias M, Robert S, Peer W, Swarup R, Ye S, Ge L, Cohen J, Murphy A, Friml J, Estelle M. 2013. Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis. Plant Physiology. 162(2), 965–976.

Chatterjee K, Raman V. 2013. Assume-guarantee synthesis for digital contract signing. Formal Aspects of Computing. 26(4), 825–859.

El Masri L, Schulte R, Timmermeyer N, Thanisch S, Crummenerl L, Jansen G, Michiels N, Schulenburg H. 2013. Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution. Ecology Letters. 16(4), 461–468.

Chatterjee K, De Alfaro L, Henzinger TA. 2013. Strategy improvement for concurrent reachability and turn based stochastic safety games. Journal of Computer and System Sciences. 79(5), 640–657.

Tkadik G, Marre O, Mora T, Amodei D, Berry M, Bialek W. 2013. The simplest maximum entropy model for collective behavior in a neural network. Journal of Statistical Mechanics Theory and Experiment. 2013(3), 011.

Szobota S, Mckenzie C, Janovjak HL. 2013. Optical control of ligand-gated ion channels. Methods in Molecular Biology. 998, 417–435.

Dupret D, O’Neill J, Csicsvari JL. 2013. Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning. Neuron. 78(1), 166–180.

Hippenmeyer S, Johnson R, Luo L. 2013. Mosaic analysis with double markers reveals cell type specific paternal growth dominance. Cell Reports. 3(3), 960–967.

Levitz J, Pantoja C, Gaub B, Janovjak HL, Reiner A, Hoagland A, Schoppik D, Kane B, Stawski P, Schier A, Trauner D, Isacoff E. 2013. Optical control of metabotropic glutamate receptors. Nature Neuroscience. 16, 507–516.

Bendich P, Edelsbrunner H, Morozov D, Patel A. 2013. Homology and robustness of level and interlevel sets. Homology, Homotopy and Applications. 15(1), 51–72.

Granot Atedgi E, Tkadik G, Segev R, Schneidman E. 2013. Stimulus-dependent maximum entropy models of neural population codes. PLoS Computational Biology. 9(3), e1002922.

Tay H, Schulze S, Compagnon J, Foley F, Heisenberg C-PJ, Yost HJ, Abdelilah Seyfried S, Amack J. 2013. Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle. Development. 140(7), 1550–1559.

Wang B, Bailly A, Zwiewk M, Henrichs S, Azzarello E, Mancuso S, Maeshima M, Friml J, Schulz A, Geisler M. 2013. Arabidopsis TWISTED DWAR functionally interacts with auxin exporter ABC on the root plasma membrane. Plant Cell. 25(1), 202–214.

Marhavý P, Vanstraelen M, De Rybel B, Zhaojun D, Bennett M, Beeckman T, Benková E. 2013. Auxin reflux between the endodermis and pericycle promotes lateral root initiation. EMBO Journal. 32(1), 149–158.

Löfke C, Zwiewka M, Heilmann I, Van Montagu M, Teichmann T, Friml J. 2013. Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism. PNAS. 110(9), 3627–3632.

Li H, Xu T, Lin D, Wen M, Xie M, Duclercq J, Bielach A, Kim J, Reddy GV, Zuo J, Benková E, Friml J, Guo H, Yang Z. 2013. Cytokinin signaling regulates pavement cell morphogenesis in Arabidopsis. Cell Research. 23(2), 290–299.

Chmelik M, ehák V. 2013. Controllable-choice message sequence graphs. 7721, 118–130.

Fang S, Clark R, Zheng Y, Iyer Pascuzzi A, Weitz J, Kochian L, Edelsbrunner H, Liao H, Benfey P. 2013. Genotypic recognition and spatial responses by rice roots. PNAS. 110(7), 2670–2675.

Chen C, Kolmogorov V, Yan Z, Metaxas D, Lampert C. 2013. Computing the M most probable modes of a graphical model.  AISTATS: Conference on Uncertainty in Artificial Intelligence,  JMLR: W&;CP, vol. 31, 161–169.

Kerber M, Edelsbrunner H. 2013. 3D kinetic alpha complexes and their implementation. 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments. ALENEX: Algorithm Engineering and Experiments, ALENEX, , 70–77.

Kelleher J, Barton NH, Etheridge A. 2013. Coalescent simulation in continuous space. Bioinformatics. 29(7), 955–956.

Barton NH, Etheridge A, Véber A. 2013. Modelling evolution in a spatial continuum. Journal of Statistical Mechanics Theory and Experiment. 2013(1).

Barton NH. 2013. Does hybridisation influence speciation?  . Journal of Evolutionary Biology. 26(2), 267–269.

Barton NH. 2013.Recombination and sex. In: The Princeton Guide to Evolution. , 328–333.

Tkadik G, Granot Atedgi E, Segev R, Schneidman E. 2013. Retinal metric: a stimulus distance measure derived from population neural responses. Physical Review Letters. 110(5), 058104.

Baster P, Robert S, Kleine Vehn J, Vanneste S, Kania U, Grunewald W, De Rybel B, Beeckman T, Friml J. 2013. SCF^TI AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism. EMBO Journal. 32(2), 260–274.

Compagnon J, Heisenberg C-PJ. 2013. Neurulation coordinating cell polarisation and lumen formation. EMBO Journal. 32(1), 1–3.

Krenn S, Pietrzak KZ, Wadia A. 2013. A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it. TCC: Theory of Cryptography Conference, LNCS, vol. 7785, 23–39.

Tommasi T, Quadrianto N, Caputo B, Lampert C. 2013. Beyond dataset bias: Multi-task unaligned shared knowledge transfer. 7724, 1–15.

Bangerter E, Barzan S, Krenn S, Sadeghi A, Schneider T, Tsay J. 2013. Bringing Zero-Knowledge Proofs of Knowledge to Practice. SPW: Security Protocols Workshop, LNCS, vol. 7028, 51–62.

Edelsbrunner H, Fasy BT, Rote G. 2013. Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions. Discrete &; Computational Geometry. 49(4), 797–822.

Ibáñez M, Cadavid D, Anselmi Tamburini U, Zamani R, Gorsse S, Li W, López A, Morante J, Arbiol J, Cabot A. 2013. Colloidal synthesis and thermoelectric properties of Cu 2SnSe3 nanocrystals. Journal of Materials Chemistry A. 1(4), 1421–1426.

Dubuis J, Tkadik G, Wieschaus E, Gregor T, Bialek W. 2013. Positional information, in bits. PNAS. 110(41), 16301–16308.

Chatterjee K, Henzinger MH, Joglekar M, Shah N. 2013. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Formal Methods in System Design. 42(3), 301–327.

Pickup M, Field D, Rowell D, Young A. 2013. Source population characteristics affect heterosis following genetic rescue of fragmented plant populations. Proceedings of the Royal Society of London Series B Biological Sciences. 280(1750), 2058.

Dickerson D, Bilkey D. 2013. Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions. Frontiers in Behavioral Neuroscience. 7(DEC).

Ward M, Lycett S, Avila D, Bollback JP, Leigh Brown A. 2013. Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza. BMC Evolutionary Biology. 13(1), 222.

Cozzuol M, Clozato C, Holanda E, Rodrigues F, Nienow S, De Thoisy B, Fernandes Redondo RA, Santos F. 2013. A new species of tapir from the Amazon. Journal of Mammalogy. 94(6), 1331–1345.

Tarazona Santos E, Machado M, Magalhães W, Chen R, Lyon F, Burdett L, Crenshaw A, Fabbri C, Pereira L, Pinto L, Fernandes Redondo RA, Sestanovich B, Yeager M, Chanock S. 2013. Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NC, and NC: Functional implications. Molecular Biology and Evolution. 30(9), 2157–2167.

Di Rubbo S, Irani N, Kim S, Xu Z, Gadeyne A, Dejonghe W, Vanhoutte I, Persiau G, Eeckhout D, Simon S, Song K, Kleine Vehn J, Friml J, De Jaeger G, Van Damme D, Hwang I, Russinova E. 2013. The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIV in arabidopsis. Plant Cell. 25(8), 2986–2997.

Kim S, Xu Z, Song K, Kim D, Kang H, Reichardt I, Sohn E, Friml J, Juergens G, Hwang I. 2013. Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis. Plant Cell. 25(8), 2970–2985.

Pbndík A, Simonovik B, Petersson S, Henyková E, Simon S, Greenham K, Zhang Y, Kowalczyk M, Estelle M, Zaeímalová E, Novák O, Sandberg G, Ljung K. 2013. Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid. Plant Cell. 25(10), 3858–3870.

Bargmann B, Vanneste S, Krouk G, Nawy T, Efroni I, Shani E, Choe G, Friml J, Bergmann D, Estelle M, Birnbaum K. 2013. A map of cell typespecific auxin responses. Molecular Systems Biology. 9(1), 688.

Chatterjee K, Doyen L, Randour M, Raskin J. 2013. Looking at mean-payoff and total-payoff through windows. 8172, 118–132.

Reiter J, Bozic I, Chatterjee K, Nowak M. 2013. TTP: Tool for Tumor Progression, IST Austria, 17p.

Chatterjee K, Chmelik M, Tracol M. 2013. What is decidable about partially observable Markov decision processes with omega-regular objectives. 23, 165–180.

Chatterjee K, Ibsen-Jensen R. 2013. Qualitative analysis of concurrent mean-payoff games, IST Austria, 33p.

Henzinger TA, Sezgin A. 2013. How free is your linearizable concurrent data structure?, IST Austria, 16p.

Chatterjee K, Chmelik M, Tracol M. 2013. What is decidable about partially observable Markov decision processes with <9-regular objectives, IST Austria, 41p.

Chatterjee K, Ibsen-Jensen R. 2013. The complexity of ergodic games, IST Austria, 29p.

Porsche J. 2013. Initiatives and projects related to RD, IST Austria,p.

Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. 2013. Perfect-information stochastic mean-payoff parity games, IST Austria, 22p.

Chatterjee K, Ibsen-Jensen R, Majumdar R. 2013. Edit distance for timed automata, IST Austria, 12p.

Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL Fragments, IST Austria, 11p.

Chatterjee K, Doyen L, Nain S, Vardi M. 2013. The complexity of partial-observation stochastic parity games with finite-memory strategies, IST Austria, 17p.