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.
LibreCat: https://research-explorer.ista.ac.at/record/3429
DOI: 10.1038/ncb2154

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.
LibreCat: https://research-explorer.ista.ac.at/record/3505
DOI: 10.1007/978-1-61779-207-6_11

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.
LibreCat: https://research-explorer.ista.ac.at/record/3784
DOI: 10.1017/S0025315410000287

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.
LibreCat: https://research-explorer.ista.ac.at/record/3781

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.
LibreCat: https://research-explorer.ista.ac.at/record/3796
DOI: 10.1007/978-3-642-19391-0_2

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.
LibreCat: https://research-explorer.ista.ac.at/record/3381
DOI: 10.1142/S0129054111008441

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.
LibreCat: https://research-explorer.ista.ac.at/record/386
DOI: 10.1103/PhysRevB.84.041104
arXiv: 1003.2233

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.
LibreCat: https://research-explorer.ista.ac.at/record/3315
DOI: 10.2168/LMCS-7(4:8)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.
LibreCat: https://research-explorer.ista.ac.at/record/3965
DOI: 10.1145/1963190.1970375

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.
LibreCat: https://research-explorer.ista.ac.at/record/3086
DOI: 10.1242/dev.057745

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.
LibreCat: https://research-explorer.ista.ac.at/record/3087
DOI: 10.1105/tpc.111.083030

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.
LibreCat: https://research-explorer.ista.ac.at/record/3085
DOI: 10.1038/ncb2208

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.
LibreCat: https://research-explorer.ista.ac.at/record/3084
DOI: 10.1016/j.cub.2011.01.036

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.
LibreCat: https://research-explorer.ista.ac.at/record/3082
DOI: 10.1111/j.1365-313X.2010.04443.x

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.
LibreCat: https://research-explorer.ista.ac.at/record/3083
DOI: 10.1105/tpc.110.082099

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.
LibreCat: https://research-explorer.ista.ac.at/record/3101
DOI: 10.1038/cr.2011.99

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.
LibreCat: https://research-explorer.ista.ac.at/record/3098
DOI: 10.1038/msb.2011.72

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.
LibreCat: https://research-explorer.ista.ac.at/record/3100
DOI: 10.1038/emboj.2011.240

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.
LibreCat: https://research-explorer.ista.ac.at/record/3099
DOI: 10.1073/pnas.1108581108

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.
LibreCat: https://research-explorer.ista.ac.at/record/3095
DOI:  10.1111/j.1469-8137.2011.03757.x

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.
LibreCat: https://research-explorer.ista.ac.at/record/3097
DOI: 10.1016/j.devcel.2011.08.014

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.
LibreCat: https://research-explorer.ista.ac.at/record/3096
DOI: 10.1016/j.tplants.2011.05.002

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.
LibreCat: https://research-explorer.ista.ac.at/record/3138
DOI: 10.1523/JNEUROSCI.0294-11.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.
LibreCat: https://research-explorer.ista.ac.at/record/3145
DOI: 10.1073/pnas.1019507108

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.
LibreCat: https://research-explorer.ista.ac.at/record/3154
DOI: 10.1016/j.devcel.2010.12.007

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.
LibreCat: https://research-explorer.ista.ac.at/record/3239
DOI: 10.1007/978-3-642-22006-7_33

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.
LibreCat: https://research-explorer.ista.ac.at/record/3236
DOI: 10.1007/978-3-642-19571-6_5

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.
LibreCat: https://research-explorer.ista.ac.at/record/3276
DOI: 10.1371/journal.pone.0019884

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.
LibreCat: https://research-explorer.ista.ac.at/record/3271
DOI: 10.1007/978-3-642-23175-9_7

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.
LibreCat: https://research-explorer.ista.ac.at/record/3278
DOI: 10.1016/j.ympev.2011.05.016

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.
LibreCat: https://research-explorer.ista.ac.at/record/3270

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.
LibreCat: https://research-explorer.ista.ac.at/record/3298
DOI: 10.1145/2019406.2019411

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.
LibreCat: https://research-explorer.ista.ac.at/record/3297
DOI: 10.1145/2037636.2037644

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.
LibreCat: https://research-explorer.ista.ac.at/record/3290
DOI: 10.1534/genetics.111.129569

Y. Zheng, S. Gu, H. Edelsbrunner, C. Tomasi, and P. Benfey, Detailed reconstruction of 3D plant root shape. IEEE, 2011.
LibreCat: https://research-explorer.ista.ac.at/record/3312
DOI: 10.1109/ICCV.2011.6126475

C. Chen and H. Edelsbrunner, “Diffusion runs low on persistence fast,” in Proceedings of the IEEE International Conference on Computer Vision, Barcelona, Spain, 2011.
LibreCat: https://research-explorer.ista.ac.at/record/3313
DOI: 10.1109/ICCV.2011.6126271

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.
LibreCat: https://research-explorer.ista.ac.at/record/3311

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.
LibreCat: https://research-explorer.ista.ac.at/record/3326
DOI: 10.1007/978-3-642-24372-1_37

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.
LibreCat: https://research-explorer.ista.ac.at/record/3325
DOI: 10.1145/1926385.1926454

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.
LibreCat: https://research-explorer.ista.ac.at/record/3324
DOI: 10.1007/978-3-642-18275-4_26

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.
LibreCat: https://research-explorer.ista.ac.at/record/3327
DOI: 10.1007/978-3-642-19805-2_13

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.
LibreCat: https://research-explorer.ista.ac.at/record/3337
DOI: 10.1109/IROS.2011.6094892

K. Chatterjee, L. De Alfaro, and R. Pritam, “Magnifying lens abstraction for stochastic games with discounted and long-run average objectives,” arXiv. ArXiv, 2011.
LibreCat: https://research-explorer.ista.ac.at/record/3339
arXiv: 1107.2132

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.
LibreCat: https://research-explorer.ista.ac.at/record/3342
DOI: 10.1007/978-3-642-22110-1_21
arXiv: 1104.3348

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.
LibreCat: https://research-explorer.ista.ac.at/record/3347
DOI: 10.1007/978-3-642-21254-3_16
arXiv: 1101.1727

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.
LibreCat: https://research-explorer.ista.ac.at/record/3346
DOI: 10.1109/LICS.2011.10

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.
LibreCat: https://research-explorer.ista.ac.at/record/3348
DOI: 10.1145/1967701.1967734

K. Chatterjee, “Graph games with reachability objectives,” presented at the RP: Reachability Problems, Genoa, Italy, 2011, vol. 6945, pp. 1–1.
LibreCat: https://research-explorer.ista.ac.at/record/3344
DOI: 10.1007/978-3-642-24288-5_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.
LibreCat: https://research-explorer.ista.ac.at/record/3343
DOI: 10.1137/1.9781611973082.101

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.
LibreCat: https://research-explorer.ista.ac.at/record/3360
DOI: 10.4230/LIPIcs.CSL.2011.82