G. Krens, S. Möllmert, and C.-P. J. Heisenberg, “Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants,” PNAS, vol. 108, no. 3. National Academy of Sciences, pp. –, 2011.

A. Kupczok, “Consequences of different null models on the tree shape bias of supertree methods,” Systematic Biology, vol. 60, no. 2. Oxford University Press, pp. 218–225, 2011.

A. Pernia-Andrade and P. M. Jonas, “The multiple faces of RIM,” Neuron, vol. 69, no. 2. Elsevier, pp. 185–187, 2011.

P. Stockinger, C.-P. J. Heisenberg, and J.-L. Maître, “Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube,” Development, vol. 138, no. 21. Company of Biologists, pp. 4673–4683, 2011.

J. Polechova and N. H. Barton, “Genetic drift widens the expected cline but narrows the expected cline width,” Genetics, vol. 189, no. 1. Genetics Society of America, pp. 227–235, 2011.

N. H. Barton and A. Etheridge, “The relation between reproductive value and genetic contribution,” Genetics, vol. 188, no. 4. Genetics Society of America, pp. 953–973, 2011.

H. de Vladar and N. H. Barton, “The contribution of statistical physics to evolutionary biology,” Trends in Ecology and Evolution, vol. 26, no. 8. Cell Press, pp. 424–432, 2011.

J.-L. Maître and C.-P. J. Heisenberg, “The role of adhesion energy in controlling cell-cell contacts,” Current Opinion in Cell Biology, vol. 23, no. 5. Elsevier, pp. 508–514, 2011.

H. L. Janovjak, G. Sandoz, and E. Isacoff, “Modern ionotropic glutamate receptor with a K+ selectivity signature sequence,” Nature Communications, vol. 2, no. 232. Nature Publishing Group, pp. 1–6, 2011.

W. Li et al., “Morphology evolution of Cu2xS nanoparticles: from spheres to dodecahedrons,” Chemical Communications, vol. 47, no. 37. Royal Society of Chemistry (RSC) , pp. 10332–10334, 2011.

N. Plachta, M. T. Bollenbach, S. Pease, S. Fraser, and P. Pantazis, “Oct4 kinetics predict cell lineage patterning in the early mammalian embryo,” Nature Cell Biology, vol. 13, no. 2. Nature Publishing Group, pp. 117–123, 2011.

M. K. Sixt and T. Lämmermann, “In vitro analysis of chemotactic leukocyte migration in 3D environments,” Cell Migration, vol. 769. Springer, pp. 149–165, 2011.

F. Palero, G. Guerao, P. Clark, and P. Abello, “Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description,” Journal of the Marine Biological Association of the United Kingdom, vol. 91, no. 2. Cambridge University Press, pp. 485–492, 2011.

B. T. Fasy, “The difference in length of curves in R^n,” Acta Sci. Math. (Szeged), vol. 77, no. 1–2. Szegedi Tudományegyetem, pp. 359–367, 2011.

H. Edelsbrunner and M. Kerber, “Covering and packing with spheres by diagonal distortion in R^n,” in Rainbow of Computer Science, vol. 6570, C. Calude, G. Rozenberg, and A. Salomaa, Eds. Springer, 2011, pp. 20–35.

T. A. Henzinger, B. Jobstmann, and V. Wolf, “Formalisms for specifying Markovian population models,” IJFCS: International Journal of Foundations of Computer Science, vol. 22, no. 4. World Scientific Publishing, pp. 823–841, 2011.

Z. Alpichshev, J. G. Analytis, J. H. Chu, I. R. Fisher, and A. Kapitulnik, “STM imaging of a bound state along a step on the surface of the topological insulator Bi2Te3,” Physical Review B - Condensed Matter and Materials Physics, vol. 84, no. 4. American Physical Society, 2011.

K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Timed parity games: Complexity and robustness,” Logical Methods in Computer Science, vol. 7, no. 4. International Federation of Computational Logic, 2011.

B. Wang, H. Edelsbrunner, and D. Morozov, “Computing elevation maxima by searching the Gauss sphere,” Journal of Experimental Algorithmics, vol. 16, no. 2.2. ACM, pp. 1–13, 2011.

M. Furutani et al., “Polar localized NP-like proteins regulate polarity and endocytosis of PIN-FORMED auxin efflux carriers,” Development, vol. 138, no. 10. Company of Biologists, pp. 2069–2078, 2011.

S. Kitakura et al., “Clathrin mediates endocytosis and polar distribution of PIN auxin transporters in Arabidopsis,” Plant Cell, vol. 23, no. 5. American Society of Plant Biologists, pp. 1920–1931, 2011.

Z. Ding et al., “Light-mediated polarization of the PIN3 auxin transporter for the phototropic response in Arabidopsis,” Nature Cell Biology, vol. 13, no. 4. Nature Publishing Group, pp. 447–453, 2011.

E. Feraru et al., “PIN polarity maintenance by the cell wall in Arabidopsis,” Current Biology, vol. 21, no. 4. Cell Press, pp. 338–343, 2011.

J. Balla, P. Kalousek, V. Reinöhl, J. Friml, and S. Procházka, “Competitive canalization of PIN dependent auxin flow from axillary buds controls pea bud outgrowth,” Plant Journal, vol. 65, no. 4. Wiley-Blackwell, pp. 571–577, 2011.

D. Robinson, D. Scheuring, S. Naramoto, and J. Friml, “AR localizes to the golgi and the trans Golgi network,” Plant Cell, vol. 23, no. 3. American Society of Plant Biologists, pp. 846–849, 2011.

M. Zwiewka et al., “The AP 3 adaptor complex is required for vacuolar function in Arabidopsis,” Cell Research, vol. 21, no. 12. Nature Publishing Group, pp. 1711–1722, 2011.

J. Kleine Vehn et al., “Recycling, clustering and endocytosis jointly maintain PIN auxin carrier polarity at the plasma membrane,” Molecular Systems Biology, vol. 7. Nature Publishing Group, 2011.

S. Vanneste et al., “Developmental regulation of CYCs contributes to tissue-specific proliferation in Arabidopsis ,” EMBO Journal, vol. 30, no. 16. Wiley-Blackwell, pp. 3430–3441, 2011.

G. Drakakaki et al., “Clusters of bioactive compounds target dynamic endomembrane networks in vivo,” PNAS, vol. 108, no. 43. National Academy of Sciences, pp. 17850–17855, 2011.

J. Dubrovsky et al., “Auxin minimum defines a developmental window for lateral root initiation,” New Phytologist, vol. 191, no. 4. Wiley-Blackwell, pp. 970–983, 2011.

P. Marhavý et al., “Cytokinin modulates endocytic trafficking of PIN1 auxin efflux carrier to control plant organogenesis,” Developmental Cell, vol. 21, no. 4. Cell Press, pp. 796–804, 2011.

K. T. Wabnik, J. Kleine Vehn, W. Govaerts, and J. Friml, “Prototype cell-to-cell auxin transport mechanism by intracellular auxin compartmentalization,” Trends in Plant Science, vol. 16, no. 9. Cell Press, pp. 468–475, 2011.

D. Sullivan, J. L. Csicsvari, K. Mizuseki, S. Montgomery, K. Diba, and G. Buzsáki, “Relationships between hippocampal sharp waves ripples and fast gamma oscillation Influence of dentate and entorhinal cortical activity,” Journal of Neuroscience, vol. 31, no. 23. Society for Neuroscience, pp. 8605–8616, 2011.

B. Tasic et al., “Site specific integrase mediated transgenesis in mice via pronuclear injection,” PNAS, vol. 108, no. 19. National Academy of Sciences, pp. 7902–7907, 2011.

M. Degennaro, T. Hurd, D. E. Siekhaus, B. Biteau, H. Jasper, and R. Lehmann, “Peroxiredoxin stabilization of DE-cadherin promotes primordial germ cell adhesion,” Developmental Cell, vol. 20, no. 2. Cell Press, pp. 233–243, 2011.

S. Faust, K. Z. Pietrzak, and D. Venturi, “Tamper proof circuits How to trade leakage for tamper resilience,” presented at the ICALP: Automata, Languages and Programming, 2011, vol. 6755, no. Part 1, pp. 391–402.

A. Jain and K. Z. Pietrzak, “Parallel repetition for leakage resilience amplification revisited,” presented at the TCC: Theory of Cryptography Conference, 2011, vol. 6597, pp. 58–69.

J. Prentice, J. Homann, K. Simmons, G. Tkadik, V. Balasubramanian, and P. Nelson, “Fast, scalable, Bayesian spike identification for multi-electrode arrays,” PLoS One, vol. 6, no. 7. Public Library of Science, 2011.

H. Wagner, C. Chen, and E. Vuçini, “Efficient computation of persistent homology for cubical data,” in Topological Methods in Data Analysis and Visualization II, R. Peikert, H. Hauser, H. Carr, and R. Fuchs, Eds. Springer, 2011, pp. 91–106.

R. Vila, N. Pierce, D. Nash, and L. V. Ugelvig, “A phylogenetic revision of the Glaucopsyche section (Lepidoptera: Lycaenidae), with special focus on the Phengaris-Maculinea clade,” Molecular Phylogenetics and Evolution, vol. 61, no. 1. Elsevier, pp. 237–243, 2011.

C. Chen and M. Kerber, “Persistent homology computation with a twist,” presented at the EuroCG: European Workshop on Computational Geometry, Morschach, Switzerland, 2011, pp. 197–200.

K. Raveendran, C. Wojtan, and G. Turk, “Hybrid smoothed particle hydrodynamics,” presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, Vancouver, Canada, 2011, pp. 33–42.

C. Wojtan, M. Müller Fischer, and T. Brochu, “Liquid simulation with mesh-based surface tracking,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Vancouver, BC, Canada, 2011.

K. Lohse, R. Harrison, and N. H. Barton, “A general method for calculating likelihoods under the coalescent process,” Genetics, vol. 189, no. 3. Genetics Society of America, pp. 977–987, 2011.

Y. Zheng, S. Gu, H. Edelsbrunner, C. Tomasi, and P. Benfey, Detailed reconstruction of 3D plant root shape. IEEE, 2011.

C. Chen and H. Edelsbrunner, “Diffusion runs low on persistence fast,” in Proceedings of the IEEE International Conference on Computer Vision, Barcelona, Spain, 2011.

H. Edelsbrunner, “Alpha shapes - a survey,” in Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings, R. van de Weygaert, G. Vegter, J. Ritzerveld, and V. Icke, Eds. Springer.

S. Almagor, U. Boker, and O. Kupferman, “What’s decidable about weighted automata ,” presented at the ATVA: Automated Technology for Verification and Analysis, Taipei, Taiwan, 2011, vol. 6996, pp. 482–491.

R. Alur and P. Cerny, “Streaming transducers for algorithmic verification of single pass list processing programs,” presented at the POPL: Principles of Programming Languages, Texas, USA, 2011, vol. 46, no. 1, pp. 599–610.

R. Piskac and T. Wies, “Decision procedures for automating termination proofs,” presented at the VMCAI: Verification Model Checking and Abstract Interpretation, Texas, USA, 2011, vol. 6538, pp. 371–386.

U. Boker and O. Kupferman, “Co-Büching them all,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Saarbrücken, Germany, 2011, vol. 6604, pp. 184–198.

Z. Wang, C. Lampert, K. Mülling, B. Schölkopf, and J. Peters, “Learning anticipation policies for robot table tennis,” presented at the IROS: RSJ International Conference on Intelligent Robots and Systems, San Francisco, USA, 2011, pp. 332–337.

K. Chatterjee, L. De Alfaro, and R. Pritam, “Magnifying lens abstraction for stochastic games with discounted and long-run average objectives,” arXiv. ArXiv, 2011.

K. Chatterjee, M. H. Henzinger, M. Joglekar, and S. Nisarg, “Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives,” presented at the CAV: Computer Aided Verification, Snowbird, USA, 2011, vol. 6806, pp. 260–276.

K. Chatterjee and N. Fijalkow, “Finitary languages,” presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain, 2011, vol. 6638, pp. 216–226.

T. Brázdil, V. Broeek, K. Chatterjee, V. Forejt, and A. Kudera, “Two views on multiple mean payoff objectives in Markov Decision Processes,” presented at the LICS: Logic in Computer Science, Toronto, Canada, 2011.

K. Chatterjee and V. Prabhu, “Synthesis of memory efficient real time controllers for safety objectives,” presented at the HSCC: Hybrid Systems - Computation and Control, Chicago, USA, 2011, pp. 221–230.

K. Chatterjee, “Graph games with reachability objectives,” presented at the RP: Reachability Problems, Genoa, Italy, 2011, vol. 6945, pp. 1–1.

K. Chatterjee and M. H. Henzinger, “Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification,” presented at the SODA: Symposium on Discrete Algorithms, San Francisco, SA, United States, 2011, pp. 1318–1336.

U. Boker and T. A. Henzinger, “Determinizing discounted-sum automata,” presented at the CSL: Computer Science Logic, Bergen, Norway, 2011, vol. 12, pp. 82–96.

P. Cerny, K. Chatterjee, and T. A. Henzinger, “The complexity of quantitative information flow problems,” presented at the CSF: Computer Security Foundations, Cernay-la-Ville, France, 2011, pp. 205–217.

T. A. Henzinger, V. Singh, T. Wies, and D. Zufferey, “Scheduling large jobs by abstraction refinement,” presented at the EuroSys, Salzburg, Austria, 2011, pp. 329–342.

P. Cerny and T. A. Henzinger, “From boolean to quantitative synthesis,” presented at the EMSOFT: Embedded Software , Taipei; Taiwan, 2011, pp. 149–154.

K. Chatterjee, T. A. Henzinger, and F. Horn, “The complexity of request-response games,” presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain, 2011, vol. 6638, pp. 227–237.

M. Ibáñez et al., “Growth kinetics of asymmetric Bi2 nanocrystals: Size distribution focusing in nanorods,” Journal of Physical Chemistry C, vol. 115, no. 16. American Chemical Society, pp. 7947–7955, 2011.

R. Row, J.-L. Maître, B. Martin, P. Stockinger, C.-P. J. Heisenberg, and D. Kimelman, “Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail,” Developmental Biology, vol. 354, no. 1. Elsevier, pp. 102–110, 2011.

M. T. Bollenbach and R. Kishony, “Resolution of gene regulatory conflicts caused by combinations of antibiotics,” Molecular Cell, vol. 42, no. 4. Cell Press, pp. 413–425, 2011.

S. Logeswaran and N. H. Barton, “Mapping Mendelian traits in asexual progeny using changes in marker allele frequency,” Genetical Research, vol. 93, no. 3. Cambridge University Press, pp. 221–232, 2011.

H. Edelsbrunner, D. Morozov, and A. Patel, “Quantifying transversality by measuring the robustness of intersections,” Foundations of Computational Mathematics, vol. 11, no. 3. Springer, pp. 345–361, 2011.

P. Bendich and J. Harer, “Persistent intersection homology,” Foundations of Computational Mathematics, vol. 11, no. 3. Springer, pp. 305–336, 2011.

L. V. Ugelvig, P. Nielsen, J. Boomsma, and D. Nash, “Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion,” BMC Evolutionary Biology, vol. 11, no. 201. BioMed Central, 2011.

G. Tkadik et al., “Natural images from the birthplace of the human eye,” PLoS One, vol. 6, no. 6. Public Library of Science, 2011.

A. Kupczok, “Split based computation of majority rule supertrees,” BMC Evolutionary Biology, vol. 11, no. 205. BioMed Central, 2011.

M. Blaschko, J. Shelton, A. Bartels, C. Lampert, and A. Gretton, “Semi supervised kernel canonical correlation analysis with application to human fMRI,” Pattern Recognition Letters, vol. 32, no. 11. Elsevier, pp. 1572–1583, 2011.

O. Kroemer, C. Lampert, and J. Peters, “Learning dynamic tactile sensing with robust vision based training,” IEEE Transactions on Robotics, vol. 27, no. 3. IEEE, pp. 545–557, 2011.

A. Schrempf, S. Cremer, and J. Heinze, “Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies,” Journal of Evolutionary Biology, vol. 24, no. 7. Wiley-Blackwell, pp. 1455–1461, 2011.

M. K. Sixt, “Interstitial locomotion of leukocytes,” Immunology Letters, vol. 138, no. 1. Elsevier, pp. 32–34, 2011.

C.-P. J. Heisenberg, “Invited Lectures  Symposia Area,” FEBS Journal, vol. 278, no. . Wiley-Blackwell, pp. 24–24, 2011.

S. Cremer, A. Schrempf, and J. Heinze, “Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior,” PLoS One, vol. 6, no. 3. Public Library of Science, 2011.

S. Little, G. Tkadik, T. Kneeland, E. Wieschaus, and T. Gregor, “The formation of the Bicoid morphogen gradient requires protein movement from anteriorly localized source,” PLoS Biology, vol. 9, no. 3. Public Library of Science, 2011.

H. L. Janovjak and E. Isacoff, “Structure-based design of light-controlled proteins,” in Photosensitive Molecules for the Control of Biological Function, vol. 55, Springer, 2011, pp. 233–266.

C. Hollatz, S. Vilaça, R. A. Fernandes Redondo, M. Marmontel, C. Baker, and F. Santos, “The Amazon River system as an ecological barrier driving genetic differentiation of the pink dolphin (Inia geoffrensis),” Biological Journal of the Linnean Society, vol. 102, no. 4. Wiley, pp. 812–827, 2011.

A. Pavan, F. Martins, F. Santos, A. Ditchfield, and R. A. Fernandes Redondo, “Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests.,” Biological Journal of the Linnean Society, vol. 102, no. 3. Wiley-Blackwell, pp. 527–539, 2011.

N. H. Barton, “Estimating linkage disequilibria,” Heredity, vol. 106, no. 2. Nature Publishing Group, pp. 205–206, 2011.

G. Krens and C.-P. J. Heisenberg, “Cell sorting in development,” in Forces and Tension in Development, vol. 95, M. Labouesse, Ed. Elsevier, 2011, pp. 189–213.

F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Approximation of event probabilities in noisy cellular processes,” Theoretical Computer Science, vol. 412, no. 21. Elsevier, pp. 2128–2141, 2011.

N. Vyleta and S. Smith, “Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor,” European Journal of Neuroscience, vol. 31, no. 12. Wiley-Blackwell, pp. 4593–4606, 2011.

A. Schlögl, C. Vidaurre, and T. Sander, “BioSig: The free and open source software library for biomedical signal processing,” Computational Intelligence and Neuroscience, vol. 2011. Hindawi Publishing Corporation, 2011.

A. Eichner and M. K. Sixt, “Setting the clock for recirculating lymphocytes,” Science Signaling, vol. 4, no. 198. American Association for the Advancement of Science, 2011.

D. Schraivogel et al., “CAMT is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells,” EMBO Journal, vol. 30, no. 20. Wiley-Blackwell, pp. 4309–4322, 2011.

R. Guerraoui, T. A. Henzinger, and V. Singh, “Verification of STM on relaxed memory models,” Formal Methods in System Design, vol. 39, no. 3. Springer, pp. 297–331, 2011.

K. Chatterjee and M. H. Henzinger, An O(n2) time algorithm for alternating Büchi games. IST Austria, 2011.

K. Chatterjee and L. Doyen, Partial-observation stochastic games: How to win when belief fails. IST Austria, 2011.

K. Chatterjee, Bounded rationality in concurrent parity games. IST Austria, 2011.

K. Chatterjee, Robustness of structurally equivalent concurrent parity games. IST Austria, 2011.

K. Chatterjee, “Bounded rationality in concurrent parity games,” arXiv. ArXiv, pp. 1–51, 2011.

U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, “Temporal specifications with accumulative values,” presented at the LICS: Logic in Computer Science, Toronto, Canada, 2011.

U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, Temporal specifications with accumulative values. IST Austria, 2011.

C. Chen, D. Freedman, and C. Lampert, Enforcing topological constraints in random field image segmentation. IST Austria, 2011.

T. Wies, M. Muñiz, and V. Kuncak, On an efficient decision procedure for imperative tree data structures. IST Austria, 2011.