Weber, Michele, and Michael K Sixt. “MEK Signalling Tunes Actin Treadmilling for Interstitial Lymphocyte Migration.”https://doi.org/10.1038/emboj.2010.183__EMBO Journal. Wiley-Blackwell, 2010.https://doi.org/10.1038/emboj.2010.183 .

Cohen Steiner, David, Herbert Edelsbrunner, John Harer, and Yuriy Mileyko. “Lipschitz Functions Have L_p-Stable Persistence.”https://doi.org/10.1007/s10208-010-9060-6__Foundations of Computational Mathematics. Springer, 2010.https://doi.org/10.1007/s10208-010-9060-6 .

Riedl, Julia, Kevin Flynn, Aurelia Raducanu, Florian R Gärtner, Gisela Beck, Michael Bosl, Frank Bradke, et al. “Lifeact Mice for Studying F-Actin Dynamics.”https://doi.org/10.1038/nmeth0310-168__Nature Methods. Nature Publishing Group, 2010.https://doi.org/10.1038/nmeth0310-168 .

Bridle, Jon, Jitka Polechova, Masakado Kawata, and Roger Butlin. “Why Is Adaptation Prevented at Ecological Margins? New Insights from Individual-Based Simulations.”https://doi.org/10.1111/j.1461-0248.2010.01442.x__Ecology Letters. Wiley-Blackwell, 2010.https://doi.org/10.1111/j.1461-0248.2010.01442.x .

Oteíza, Pablo, Mathias Koeppen, Michael Krieg, Eduardo Pulgar, Cecilia Farias, Cristina Melo, Steffen Preibisch, et al. “Planar Cell Polarity Signalling Regulates Cell Adhesion Properties in Progenitors of the Zebrafish Laterality Organ.”https://doi.org/10.1242/dev.049981__Development. Company of Biologists, 2010.https://doi.org/10.1242/dev.049981 .

Barton, Nicholas H, Alison Etheridge, and Amandine Véber. “A New Model for Evolution in a Spatial Continuum.”https://doi.org/10.1214/EJP.v15-741__Electronic Journal of Probability. Institute of Mathematical Statistics, 2010.https://doi.org/10.1214/EJP.v15-741 .

Danowski, Patrick. Open Bibliographic Data. European Library Automation Group (ELAG) 2010. Elsevier, 2010.

Danowski, Patrick, and Julia Bergmann, eds. Handbuch Bibliothek 2.0. Vol. 41. Bibliothekspraxis. De Gruyter, 2010.https://doi.org/10.1515/9783110232103 .

Danowski, Patrick. “Step One: Blow up the Silo! - Open Bibliographic Data, the First Step towards Linked Open Data.” IFLA, 2010.

Nickovic, Dejan, and Nir Piterman. “From MTL to Deterministic Timed Automata.”https://doi.org/10.1007/978-3-642-15297-9_13__edited by Thomas A. Henzinger and Krishnendu Chatterjee, 6246:152–67. Springer, 2010.https://doi.org/10.1007/978-3-642-15297-9_13 .

Podelski, Andreas, and Thomas Wies. “Counterexample-Guided Focus,”https://doi.org/10.1145/1707801.1706330__249–60. ACM, 2010.https://doi.org/10.1145/1707801.1706330 .

Rfeidka, Kamil, Lucia Strader, Aurélien Bailly, Haibing Yang, Joshua Blakeslee, ukasz angowski, Eliska Nejedlá, et al. “Arabidopsis PI Encodes the ABC Transporter of Auxinic Compounds Including the Auxin Precursor Indole 3 Butyric Acid.”https://doi.org/10.1073/pnas.1005878107__PNAS. National Academy of Sciences, 2010.https://doi.org/10.1073/pnas.1005878107 .

Jelínková, Adriana, Kateina Malínská, Sibu Simon, Jürgen Kleine Vehn, Markéta Paezová, Pemysl Pejchar, Martin Kubes, et al. “Probing Plant Membranes with FM Dyes: Tracking Dragging or Blocking?”https://doi.org/10.1111/j.1365-313X.2009.04102.x__Plant Journal. Wiley-Blackwell, 2010.https://doi.org/10.1111/j.1365-313X.2009.04102.x .

dádníková, Petra, Jan Petrásek, Peter Marhavý, Vered Raz, Filip Vandenbussche, Zhaojun Ding, Kateina Schwarzerová, et al. “Role of PIN-Mediated Auxin Efflux in Apical Hook Development of Arabidopsis Thaliana.”https://doi.org/10.1242/dev.041277__Development. Company of Biologists, 2010.https://doi.org/10.1242/dev.041277 .

Zhang, Jing, Thomasz Nodzyski, Ales Pbndík, Jakub Roldík, and Jií Friml. “PIN Phosphorylation Is Sufficient to Mediate PIN Polarity and Direct Auxin Transport.”https://doi.org/10.1073/pnas.0909460107__PNAS. National Academy of Sciences, 2010.https://doi.org/10.1073/pnas.0909460107 .

angowski, ukasz, Kamil Rfeidka, Satoshi Naramoto, Jürgen Kleine Vehn, and Jií Friml. “Trafficking to the Outer Polar Domain Defines the Root Soil Interface.”https://doi.org/10.1016/j.cub.2010.03.059__Current Biology. Cell Press, 2010.https://doi.org/10.1016/j.cub.2010.03.059 .

Nawy, Tal, Martin Bayer, Jozef Mravec, Jií Friml, Kenneth Birnbaum, and Wolfgang Lukowitz. “The GATA Factor HANABA TARANU Is Required to Position the Proembryo Boundary in the Early Arabidopsis Embryo.”https://doi.org/10.1016/j.devcel.2010.06.004__Developmental Cell. Cell Press, 2010.https://doi.org/10.1016/j.devcel.2010.06.004 .

Ding, Zhaojun, and Jií Friml. “Auxin Regulates Distal Stem Cell Differentiation in Arabidopsis Roots.”https://doi.org/10.1073/pnas.1000672107__PNAS. National Academy of Sciences, 2010.https://doi.org/10.1073/pnas.1000672107 .

Friml, Jií. “Subcellular Trafficking of PIN Auxin Efflux Carriers in Auxin Transport.”https://doi.org/10.1016/j.ejcb.2009.11.003__European Journal of Cell Biology. Elsevier, 2010.https://doi.org/10.1016/j.ejcb.2009.11.003 .

Naramoto, Satoshi, Jürgen Kleine Vehn, Stéphanie Robert, Masaru Fujimoto, Tomoko Dainobu, Tomasz Paciorek, Takashi Ueda, et al. “ADP Ribosylation Factor Machinery Mediates Endocytosis in Plant Cells.”https://doi.org/10.1073/pnas.1016260107__PNAS. National Academy of Sciences, 2010.https://doi.org/10.1073/pnas.1016260107 .

Kleine Vehn, Jürgen, Zhaojun Ding, Angharad Jones, Masao Tasaka, Miyo Morita, and Jií Friml. “Gravity Induced PIN Transcytosis for Polarization of Auxin Fluxes in Gravity Sensing Root Cells.”https://doi.org/10.1073/pnas.1013145107__PNAS. National Academy of Sciences, 2010.https://doi.org/10.1073/pnas.1013145107 .

Siekhaus, Daria E, Martin Haesemeyer, Olivia Moffitt, and Ruth Lehmann. “RhoL Controls Invasion and Ra Localization during Immune Cell Transmigration in Drosophila.” Nature Cell Biology. Nature Publishing Group, 2010.

Vicente, Sara, Vladimir Kolmogorov, and Carsten Rother. “Cosegmentation Revisited: Models and Optimization,”https://doi.org/10.1007/978-3-642-15552-9_34__6312:465–79. Springer, 2010.https://doi.org/10.1007/978-3-642-15552-9_34 .

Kiltz, Eike, and Krzysztof Z Pietrzak. “Leakage Resilient ElGamal Encryption,”https://doi.org/10.1007/978-3-642-17373-8_34__6477:595–612. Springer, 2010.https://doi.org/10.1007/978-3-642-17373-8_34 .

Dodis, Yevgeniy, and Krzysztof Z Pietrzak. “Leakage Resilient Pseudorandom Functions and Side Channel Attacks on Feistel Networks,”https://doi.org/10.1007/978-3-642-14623-7_2__6223:21–40. Springer, 2010.https://doi.org/10.1007/978-3-642-14623-7_2 .

Faust, Sebastian, Eike Kiltz, Krzysztof Z Pietrzak, and Guy Rothblum. “Leakage Resilient Signatures,”https://doi.org/10.1007/978-3-642-11799-2_21__5978:343–60. Springer, 2010.https://doi.org/10.1007/978-3-642-11799-2_21 .

Håstad, Johan, Rafael Pass, Douglas Wikström, and Krzysztof Z Pietrzak. “An Efficient Parallel Repetition Theorem,”https://doi.org/10.1007/978-3-642-11799-2_1__5978:1–18. Springer, 2010.https://doi.org/10.1007/978-3-642-11799-2_1 .

Kolmogorov, Vladimir. “Generalized Roof Duality and Bisubmodular Functions.” Neural Information Processing Systems, 2010.

Iyengar, Atulya, Subhra Chakraborty Tuhin, Sarit Goswami, Chun Wu, and Obaid Siddiqi. “Post Eclosion Odor Experience Modifies Olfactory Receptor Neuron Coding in Drosophila.”https://doi.org/10.1073/pnas.1003856107__PNAS. National Academy of Sciences, 2010.https://doi.org/10.1073/pnas.1003856107 .

Wojtan, Chris. “Animating Physical Phenomena with Embedded Surface Meshes.” Georgia Institute of Technology, 2010.

Evans, Steven, Bernd Sturmfels, and Caroline Uhler. “Commuting Birth and Death Processes.”https://doi.org/10.1214/09-AAP615__The Annals of Applied Probability. Institute of Mathematical Statistics, 2010.https://doi.org/10.1214/09-AAP615 .

Sturmfels, Bernd, and Caroline Uhler. “Multivariate Gaussians, Semidefinite Matrix Completion, and Convex Algebraic Geometry.”https://doi.org/10.1007/s10463-010-0295-4__Annals of the Institute of Statistical Mathematics. Springer, 2010.https://doi.org/10.1007/s10463-010-0295-4 .

Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Model Checking Transactional Memories.”https://doi.org/10.1007/s00446-009-0092-6__Distributed Computing. Springer, 2010.https://doi.org/10.1007/s00446-009-0092-6 .

Pleydell Bouverie, Barty, and Jozsef L Csicsvari. “Rate Remapping: When the Code Goes beyond Space (Preview).”https://doi.org/10.1016/j.neuron.2010.12.011__Neuron. Elsevier, 2010.https://doi.org/10.1016/j.neuron.2010.12.011 .

Tkadik, Gasper. “Lecture Notes for 2010 Summer School on Quantitative Evolutionary and Comparative Genomics.” Elsevier, 2010.

Sabeti Aschraf, M., C. Gonano, E. Nemecek, Lisa Cichocki, and C. Schueller Weidekamm. “Intra-Operative Ultrasound Facilitates the Localization of the Calcific Deposit during Arthroscopic Treatment of Calcifying Tendinitis.”https://doi.org/10.1007/s00167-010-1227-9__Knee Surgery, Sports Traumatology, Arthroscopy. Springer, 2010.https://doi.org/10.1007/s00167-010-1227-9 .

Carvalho, Lara, and Carl-Philipp J Heisenberg. “Imaging Zebrafish Embryos by Two-Photon Excitation Time-Lapse Microscopy.”https://doi.org/10.1007/978-1-60327-977-2_17__Methods in Molecular Biology. Springer, 2010.https://doi.org/10.1007/978-1-60327-977-2_17 .

Wanke, Jörn, Adrian Ulges, Christoph Lampert, and Thomas Breuel. “Topic Models for Semantic Video Compression,”https://doi.org/10.1145/1743384.1743433__275–84. ACM, 2010.https://doi.org/10.1145/1743384.1743433 .

Tuytelaars, Tinne, Christoph Lampert, Matthew Blaschko, and Wray Buntine. “Unsupervised Object Discovery: A Comparison.”https://doi.org/10.1007/s11263-009-0271-8__International Journal of Computer Vision. Springer, 2010.https://doi.org/10.1007/s11263-009-0271-8 .

Lampert, Christoph. “An Efficient Divide-and-Conquer Cascade for Nonlinear Object Detection,”https://doi.org/10.1109/CVPR.2010.5540107__1022–29. IEEE, 2010.https://doi.org/10.1109/CVPR.2010.5540107 .

Tkadik, Gasper. “From Statistical Mechanics to Information Theory: Understanding Biophysical Information-Processing Systems.” ArXiv. ArXiv, 2010.

Kwatra, Nipun, Chris Wojtan, Mark Carlson, Irfan Essa, Peter Mucha, and Greg Turk. “Fluid Simulation with Articulated Bodies.”https://doi.org/10.1109/TVCG.2009.66__IEEE Transactions on Visualization and Computer Graphics. IEEE, 2010.https://doi.org/10.1109/TVCG.2009.66 .

Wojtan, Chris, Nils Thürey, Markus Gross, and Greg Turk. “Physics-Inspired Topology Changes for Thin Fluid Features.”https://doi.org/10.1145/1778765.1778787__ACM Transactions on Graphics. ACM, 2010.https://doi.org/10.1145/1778765.1778787 .

Barton, Nicholas H. “Genetic Linkage and Natural Selection.”https://doi.org/10.1098/rstb.2010.0106__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010.https://doi.org/10.1098/rstb.2010.0106 .

Barton, Nicholas H. “What Role Does Natural Selection Play in Speciation?”https://doi.org/10.1098/rstb.2010.0001__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010.https://doi.org/10.1098/rstb.2010.0001 .

Barton, Nicholas H. “Mutation and the Evolution of Recombination.”https://doi.org/10.1098/rstb.2009.0320__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010.https://doi.org/10.1098/rstb.2009.0320 .

Senn, Helen, Graeme Swanson, Simon Goodman, Nicholas H Barton, and Josephine Pemberton. “Phenotypic Correlates of Hybridisation between Red and Sika Deer (Genus Cervus).”https://doi.org/10.1111/j.1365-2656.2009.01633.x__Journal of Animal Ecology. Wiley-Blackwell, 2010.https://doi.org/10.1111/j.1365-2656.2009.01633.x .

Barton, Nicholas H. “Understanding Adaptation in Large Populations.”https://doi.org/10.1371/journal.pgen.1000987__PLoS Genetics. Public Library of Science, 2010.https://doi.org/10.1371/journal.pgen.1000987 .

Diz Muñoz, Alba, Michael Krieg, Martin Bergert, Itziar Ibarlucea Benitez, Daniel Müller, Ewa Paluch, and Carl-Philipp J Heisenberg. “Control of Directed Cell Migration in Vivo by Membrane-to-Cortex Attachment.”https://doi.org/10.1371/journal.pbio.1000544__PLoS Biology. Public Library of Science, 2010.https://doi.org/10.1371/journal.pbio.1000544 .

Nowozin, Sebastian, Peter Gehler, and Christoph Lampert. “On Parameter Learning in CRF-Based Approaches to Object Class Image Segmentation,”https://doi.org/10.1007/978-3-642-15567-3_8__6316:98–111. Springer, 2010.https://doi.org/10.1007/978-3-642-15567-3_8 .

Quesada-Hernández, Elena, Luca Caneparo, Sylvia Schneider, Sylke Winkler, Michael Liebling, Scott Fraser, and Carl-Philipp J Heisenberg. “Stereotypical Cell Division Orientation Controls Neural Rod Midline Formation in Zebrafish.”https://doi.org/10.1016/j.cub.2010.10.009__Current Biology. Cell Press, 2010.https://doi.org/10.1016/j.cub.2010.10.009 .

Palero, Ferran, Sally Hall, Paul Clark, David Johnston, Jackie Mackenzie Dodds, and Sven Thatje. “DNA Extraction from Formalin-Fixed Tissue: New Light from the Deep Sea.”https://doi.org/10.3989/scimar.2010.74n3465__Scientia Marina. Consejo Superior de Investigaciones Científicas, 2010.https://doi.org/10.3989/scimar.2010.74n3465 .

Klopper, Abigail, Gabriel Krens, Stephan Grill, and Carl-Philipp J Heisenberg. “Finite-Size Corrections to Scaling Behavior in Sorted Cell Aggregates.”https://doi.org/10.1140/epje/i2010-10642-y__The European Physical Journal E: Soft Matter and Biological Physics. Springer, 2010.https://doi.org/10.1140/epje/i2010-10642-y .

Palero, Ferran, Guillermo Guerao, Paul Clark, and Pere Abello. “Final-Stage Phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The First Complete Description.”https://doi.org/10.11646/zootaxa.2403.1.4__Zootaxa. Magnolia Press, 2010.https://doi.org/10.11646/zootaxa.2403.1.4 .

Carvalho, Lara, and Carl-Philipp J Heisenberg. “The Yolk Syncytial Layer in Early, Zebrafish Development.”https://doi.org/10.1016/j.tcb.2010.06.009__Trends in Cell Biology. Cell Press, 2010.https://doi.org/10.1016/j.tcb.2010.06.009 .

Wolf, Verena, Rushil Goel, Maria Mateescu, and Thomas A Henzinger. “Solving the Chemical Master Equation Using Sliding Windows.”https://doi.org/10.1186/1752-0509-4-42__BMC Systems Biology. BioMed Central, 2010.https://doi.org/10.1186/1752-0509-4-42 .

Henzinger, Thomas A. “From Boolean to Quantitative Notions of Correctness,”https://doi.org/10.1145/1706299.1706319__45:157–58. ACM, 2010.https://doi.org/10.1145/1706299.1706319 .

Henzinger, Thomas A, Thibaud Hottelier, Laura Kovács, and Andrei Voronkov. “Invariant and Type Inference for Matrices,”https://doi.org/10.1007/978-3-642-11319-2_14__5944:163–79. Springer, 2010.https://doi.org/10.1007/978-3-642-11319-2_14 .

Henzinger, Thomas A, Maria Mateescu, Linar Mikeev, and Verena Wolf. “Hybrid Numerical Solution of the Chemical Master Equation,”https://doi.org/10.1145/1839764.1839772__55–65. Springer, 2010.https://doi.org/10.1145/1839764.1839772 .

Chatterjee, Krishnendu, Laurent Doyen, Herbert Edelsbrunner, Thomas A Henzinger, and Philippe Rannou. “Mean-Payoff Automaton Expressions,”https://doi.org/10.1007/978-3-642-15375-4_19__6269:269–83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.1007/978-3-642-15375-4_19 .

Bendich, Paul, Herbert Edelsbrunner, Michael Kerber, and Amit Patel. “Persistent Homology under Non-Uniform Error,”https://doi.org/10.1007/978-3-642-15155-2_2__6281:12–23. Springer, 2010.https://doi.org/10.1007/978-3-642-15155-2_2 .

Chatterjee, Krishnendu, Florian Horn, and Christof Löding. “Obliging Games,”https://doi.org/10.1007/978-3-642-15375-4_20__6269:284–96. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.1007/978-3-642-15375-4_20 .

Chatterjee, Krishnendu, and Laurent Doyen. “Energy Parity Games,”https://doi.org/10.1007/978-3-642-14162-1_50__6199:599–610. Springer, 2010.https://doi.org/10.1007/978-3-642-14162-1_50 .

Alpichshev, Zhanybek, James Analytis, Jiunhaw Chu, Ian Fisher, Yulin Chen, Zhixun Shen, Aiping Fang, and Aharon Kapitulnik. “STM Imaging of Electronic Waves on the Surface of Bi2Te3 Topologically Protected Surface States and Hexagonal Warping Effects.”https://doi.org/10.1103/PhysRevLett.104.016401__Physical Review Letters. American Physical Society, 2010.https://doi.org/10.1103/PhysRevLett.104.016401 .

Berberich, Eric, Dan Halperin, Michael Kerber, and Roza Pogalnikova. “Polygonal Reconstruction from Approximate Offsets,” 12–23. TU Dortmund, 2010.

Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Generalized Mean-Payoff and Energy Games,”https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505__8:505–16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Quantitative Languages.”https://doi.org/10.1145/1805950.1805953__ACM Transactions on Computational Logic (TOCL). ACM, 2010.https://doi.org/10.1145/1805950.1805953 .

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “Measuring and Synthesizing Systems in Probabilistic Environments,”https://doi.org/10.1007/978-3-642-14295-6_34__6174:380–95. Springer, 2010.https://doi.org/10.1007/978-3-642-14295-6_34 .

Chatterjee, Krishnendu, Luca De Alfaro, Vishwanath Raman, and César Sánchez. “Analyzing the Impact of Change in Multi-Threaded Programs.”https://doi.org/10.1007/978-3-642-12029-9_21__edited by David Rosenblum and Gabriele Taenzer, 6013:293–307. Springer, 2010.https://doi.org/10.1007/978-3-642-12029-9_21 .

Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Strategy Construction for Parity Games with Imperfect Information.”https://doi.org/10.1016/j.ic.2009.09.006__Information and Computation. Elsevier, 2010.https://doi.org/10.1016/j.ic.2009.09.006 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Strategy Logic.”https://doi.org/10.1016/j.ic.2009.07.004__Information and Computation. Elsevier, 2010.https://doi.org/10.1016/j.ic.2009.07.004 .

Bendich, Paul, Herbert Edelsbrunner, and Michael Kerber. “Computing Robustness and Persistence for Images.”https://doi.org/10.1109/TVCG.2010.139__IEEE Transactions of Visualization and Computer Graphics. IEEE, 2010.https://doi.org/10.1109/TVCG.2010.139 .

Ugelvig, Line V, Daniel Kronauer, Alexandra Schrempf, Jürgen Heinze, and Sylvia Cremer. “Rapid Anti-Pathogen Response in Ant Societies Relies on High Genetic Diversity.”https://doi.org/10.1098/rspb.2010.0644__Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2010.https://doi.org/10.1098/rspb.2010.0644 .

Nourshargh, Sussan, Peter Hordijk, and Michael K Sixt. “Breaching Multiple Barriers: Leukocyte Motility through Venular Walls and the Interstitium.”https://doi.org/10.1038/nrm2889__Nature Reviews Molecular Cell Biology. Nature Publishing Group, 2010.https://doi.org/10.1038/nrm2889 .

Papusheva, Ekaterina, and Carl-Philipp J Heisenberg. “Spatial Organization of Adhesion: Force-Dependent Regulation and Function in Tissue Morphogenesis.”https://doi.org/10.1038/emboj.2010.182__EMBO Journal. Wiley-Blackwell, 2010.https://doi.org/10.1038/emboj.2010.182 .

Kardash, Elena, Michal Reichman Fried, Jean Maître, Bijan Boldajipour, Ekaterina Papusheva, Esther Messerschmidt, Carl Heisenberg, and Erez Raz. “A Role for Rho GTPases and Cell-Cell Adhesion in Single-Cell Motility in Vivo.”https://doi.org/10.1038/ncb2003__Nature Cell Biology. Nature Publishing Group, 2010.https://doi.org/10.1038/ncb2003 .

Arboleda Estudillo, Yohanna, Michael Krieg, Jan Stuehmer, Nicholas Licata, Daniel Mueller, and Carl-Philipp J Heisenberg. “Movement Directionality in Collective Migration of Germ Layer Progenitors.”https://doi.org/10.1016/j.cub.2009.11.036__Current Biology. Cell Press, 2010.https://doi.org/10.1016/j.cub.2009.11.036 .

Bergmann, Julia, and Patrick Danowski. “Ist Bibliothek 2.0 Überhaupt Noch Relevant? – Eine Einleitung in Das Handbuch.”https://doi.org/10.1515/9783110232103__In Handbuch Bibliothek 2.0, edited by Julia Bergmann and Patrick Danowski, 5–20. Bibliotheks- Und Informationspraxis 41. De Gruyter, 2010.https://doi.org/10.1515/9783110232103 .

Guinane, Caitriona, Nouri Ben Zakour, Maria Tormo Mas, Lucy Weinert, Bethan Lowder, Robyn Cartwright, Davida Smyth, et al. “Evolutionary Genomics of Staphylococcus Aureus Reveals Insights into the Origin and Molecular Basis of Ruminant Host Adaptation.”https://doi.org/10.1093/gbe/evq031__Genome Biology and Evolution. Oxford University Press, 2010.https://doi.org/10.1093/gbe/evq031 .

Singh, Vasu. “Runtime Verification for Software Transactional Memories.”https://doi.org/10.1007/978-3-642-16612-9_32__edited by Oleg Sokolsky, Grigore Rosu, Nikolai Tilmann, Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, and Gordon Pace, 6418:421–35. Springer, 2010.https://doi.org/10.1007/978-3-642-16612-9_32 .

Kuncak, Viktor, Ruzica Piskac, Philippe Suter, and Thomas Wies. “Building a Calculus of Data Structures.”https://doi.org/10.1007/978-3-642-11319-2_6__edited by Gilles Barthe and Manuel Hermenegildo, 5944:26–44. Springer, 2010.https://doi.org/10.1007/978-3-642-11319-2_6 .

Jones, Kevin, Victor Konrad, and Dejan Nickovic. “Analog Property Checkers: A DD Case Study.”https://doi.org/10.1007/s10703-009-0085-x__Formal Methods in System Design. Springer, 2010.https://doi.org/10.1007/s10703-009-0085-x .

Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment,”https://doi.org/10.1109/CLOUD.2010.71__83–90. IEEE, 2010.https://doi.org/10.1109/CLOUD.2010.71 .

Guerraoui, Rachid, Thomas A Henzinger, Michal Kapalka, and Vasu Singh. “Transactions in the Jungle,”https://doi.org/10.1145/1810479.1810529__263–72. ACM, 2010.https://doi.org/10.1145/1810479.1810529 .

Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “A Marketplace for Cloud Resources,”https://doi.org/10.1145/1879021.1879022__1–8. ACM, 2010.https://doi.org/10.1145/1879021.1879022 .

Doyen, Laurent, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Robustness of Sequential Circuits,”https://doi.org/10.1109/ACSD.2010.26__77–84. IEEE, 2010.https://doi.org/10.1109/ACSD.2010.26 .

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Simulation Games.”https://doi.org/10.1007/978-3-642-13754-9_3__In Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, 6200:42–60. Essays in Memory of Amir Pnueli. Springer, 2010.https://doi.org/10.1007/978-3-642-13754-9_3 .

Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.”https://doi.org/10.1007/978-3-642-12029-9_19__edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010.https://doi.org/10.1007/978-3-642-12029-9_19 .

Burckhardt, Sebastian, Madanlal Musuvathi, and Vasu Singh. “Verifying Local Transformations on Relaxed Memory Models.”https://doi.org/10.1007/978-3-642-11970-5_7__edited by Rajiv Gupta, 6011:104–23. Springer, 2010.https://doi.org/10.1007/978-3-642-11970-5_7 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages.”https://doi.org/10.2168/LMCS-6(3:10)2010__Logical Methods in Computer Science. International Federation of Computational Logic, 2010.https://doi.org/10.2168/LMCS-6(3:10)2010 .

Barton, Nicholas H, Jerome Kelleher, and Alison Etheridge. “A New Model for Extinction and Recolonization in Two Dimensions: Quantifying Phylogeography.”https://doi.org/10.1111/j.1558-5646.2010.01019.x__Evolution. Wiley-Blackwell, 2010.https://doi.org/10.1111/j.1558-5646.2010.01019.x .

Alur, Rajeev, and Pavol Cerny. “Expressiveness of Streaming String Transducers,”https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1__8:1–12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1 .

Cristau, Julien, Claire David, and Florian Horn. “How Do We Remember the Past in Randomised Strategies? .”https://doi.org/10.4204/EPTCS.25.7__In Proceedings of GandALF 2010, 25:30–39. Open Publishing Association, 2010.https://doi.org/10.4204/EPTCS.25.7 .

Hoenicke, Jochen, Kari Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “Doomed Program Points.”https://doi.org/10.1007/s10703-010-0102-0__Formal Methods in System Design. Springer, 2010.https://doi.org/10.1007/s10703-010-0102-0 .

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances,”https://doi.org/10.1007/978-3-642-15375-4_18__6269:235–68. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.1007/978-3-642-15375-4_18 .

Chatterjee, Krishnendu, Pavol Cerny, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010.https://doi.org/10.15479/AT:IST-2010-0004 .

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. Simulation Distances. IST Austria, 2010.https://doi.org/10.15479/AT:IST-2010-0003 .

Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. “Model Checking of Linearizability of Concurrent List Implementations,”https://doi.org/10.1007/978-3-642-14295-6_41__6174:465–79. Springer, 2010.https://doi.org/10.1007/978-3-642-14295-6_41 .

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. “GIST: A Solver for Probabilistic Games,”https://doi.org/10.1007/978-3-642-14295-6_57__6174:665–69. Springer, 2010.https://doi.org/10.1007/978-3-642-14295-6_57 .

Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. Model Checking of Linearizability of Concurrent List Implementations. IST Austria, 2010.https://doi.org/10.15479/AT:IST-2010-0001 .