V. Kuncak, R. Piskac, P. Suter, and T. Wies, “Building a calculus of data structures,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 26–44.

K. Jones, V. Konrad, and D. Nickovic, “Analog property checkers: a DD case study,” Formal Methods in System Design, vol. 36, no. 2. Springer, pp. 114–130, 2010.

T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “FlexPRICE: Flexible provisioning of resources in a cloud environment,” presented at the CLOUD: Cloud Computing, Miami, USA, 2010, pp. 83–90.

R. Guerraoui, T. A. Henzinger, M. Kapalka, and V. Singh, “Transactions in the jungle,” presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece, 2010, pp. 263–272.

T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “A marketplace for cloud resources,” presented at the EMSOFT: Embedded Software , Arizona, USA, 2010, pp. 1–8.

L. Doyen, T. A. Henzinger, A. Legay, and D. Nickovic, “Robustness of sequential circuits,” presented at the ACSD: Application of Concurrency to System Design, 2010, pp. 77–84.

P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Quantitative Simulation Games,” in Time For Verification: Essays in Memory of Amir Pnueli, vol. 6200, Z. Manna and D. Peled, Eds. Springer, 2010, pp. 42–60.

D. Beyer, T. A. Henzinger, G. Théoduloz, and D. Zufferey, “Shape refinement through explicit heap analysis,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 263–277.

S. Burckhardt, M. Musuvathi, and V. Singh, “Verifying local transformations on relaxed memory models,” presented at the CC: Compiler Construction, Pahos, Cyprus, 2010, vol. 6011, pp. 104–123.

K. Chatterjee, L. Doyen, and T. A. Henzinger, “Expressiveness and closure properties for quantitative languages,” Logical Methods in Computer Science, vol. 6, no. 3. International Federation of Computational Logic, pp. 1–23, 2010.

N. H. Barton, J. Kelleher, and A. Etheridge, “A new model for extinction and recolonization in two dimensions: Quantifying phylogeography,” Evolution, vol. 64, no. 9. Wiley-Blackwell, pp. 2701–2715, 2010.

R. Alur and P. Cerny, “Expressiveness of streaming string transducers,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India, 2010, vol. 8, pp. 1–12.

J. Cristau, C. David, and F. Horn, “How do we remember the past in randomised strategies? ,” in Proceedings of GandALF 2010, Minori, Amalfi Coast, Italy, 2010, vol. 25, pp. 30–39.

J. Hoenicke, K. Leino, A. Podelski, M. Schäf, and T. Wies, “Doomed program points,” Formal Methods in System Design, vol. 37, no. 2–3. Springer, pp. 171–199, 2010.

P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 235–268.

K. Chatterjee, P. Cerny, T. A. Henzinger, A. Radhakrishna, and R. Singh, Quantitative synthesis for concurrent programs. IST Austria, 2010.

P. Cerny, T. A. Henzinger, and A. Radhakrishna, Simulation distances. IST Austria, 2010.

P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, “Model checking of linearizability of concurrent list implementations,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 465–479.

K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, “GIST: A solver for probabilistic games,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 665–669.

P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, Model checking of linearizability of concurrent list implementations. IST Austria, 2010.

K. Chatterjee and N. Fijalkow, Topological, automata-theoretic and logical characterization of finitary languages. IST Austria, 2010.

K. Chatterjee and T. A. Henzinger, “Probabilistic Automata on infinite words: decidability and undecidability results,” presented at the ATVA: Automated Technology for Verification and Analysis, Singapore, Singapore, 2010, vol. 6252, pp. 1–16.

K. Chatterjee, L. Doyen, and T. A. Henzinger, “Qualitative analysis of partially-observable Markov Decision Processes,” presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic, 2010, vol. 6281, pp. 258–269.

G. Juhás, I. Kazlov, and A. Juhásová, “Instance Deadlock: A Mystery behind Frozen Programs,” in Applications and Theory of Petri Nets, Berlin, Heidelberg: Springer Berlin Heidelberg, 2010, pp. 1–17.

K. Meyer, S. Lin, C. Bernecky, Y. Gao, and D. Taatjes, “activates transcription by directing structural shifts in Mediator,” Nature Structural and Molecular Biology, vol. 17, no. 6. Nature Publishing Group, pp. 753–760, 2010.

K. P. Weber, S. De, I. Kozarewa, D. J. Turner, M. M. Babu, and M. de Bono, “Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans,” PLoS ONE, vol. 5, no. 11. Public Library of Science, 2010.

W. Zacharasiewicz and F. Kirsch, “‘This is a fundamentalist town’: The Prairie Town as a Site of Social and Cultural Conflict in Sinclair Ross’s As for Me and My House,” in Social and cultural interaction and literary landscapes in the Canadian Westf: impressions of an exploratory field trip and academic interaction in the Canadian Westf: Rapports interculturels et paysages littéraires dans l’Ouest canadien, Facultas.WUV, 2010, pp. 173–179.

L. Zhou et al., “Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95,” Nature Medicine, vol. 16, no. 12. Nature Publishing Group, pp. 1439–1443, 2010.

R. de la Bretèche and T. D. Browning, “Le problème des diviseurs pour des formes binaires de degré 4,” Crelles Journal, vol. 2010, no. 646. Walter de Gruyter GmbH, pp. 1–44, 2010.

E. K. H. Salje et al., “Tin telluride: A weakly co-elastic metal,” Physical Review B, vol. 82, no. 18. APS, 2010.

F. R. Drymiotis et al., “Structure formation and very low thermal conductivity in Pb:Te:Ag:Se mixtures,” Journal of Applied Physics, vol. 107, no. 3. AIP, 2010.

V. Giordani, S. A. Freunberger, P. G. Bruce, J.-M. Tarascon, and D. Larcher, “O2 decomposition reaction as selecting tool for catalysts in Li–O2 cells,” Electrochemical and Solid-State Letters, vol. 13, no. 12. The Electrochemical Society, 2010.

D.-A. Alistarh, H. Attiya, S. Gilbert, A. Giurgiu, and R. Guerraoui, “Fast randomized test-and-set and renaming,” presented at the DISC: Distributed Computing, 2010, vol. 6343 LNCS, pp. 94–108.

D.-A. Alistarh, S. Gilbert, R. Guerraoui, and M. Zadimoghaddam, “How efficient can gossip be? (On the cost of resilient information exchange),” presented at the ICALP: International Colloquium on Automota, Languages and Programming, 2010, vol. 6199 LNCS, no. PART 2, pp. 115–126.

D.-A. Alistarh, S. Gilbert, R. Guerraoui, d. Milosevi, and C. Newport, “Securing every bit: Authenticated broadcast in radio networks,” presented at the SPAA: Symposium on Parallelism in Algorithms and Architectures, 2010, pp. 50–59.

D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Brief announcement: New bounds for partially synchronous set agreement,” presented at the DISC: Distributed Computing, 2010, vol. 6343 LNCS, pp. 404–405.

I. Wright, A. P. Higginbotham, S. Baker, and T. Donnelly, “Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution,” ACS Applied Materials and Interfaces, vol. 2, no. 8. American Chemical Society, pp. 2360–2364, 2010.

H. Innan and F. Kondrashov, “The evolution of gene duplications: Classifying and distinguishing between models,” Nature Reviews Genetics, vol. 11, no. 2. Nature Publishing Group, pp. 97–108, 2010.

J. A. Palacci, B. Abécassis, C. Cottin-Bizonne, C. Ybert, and L. Bocquet, “Colloidal motility and pattern formation under rectified diffusiophoresis,” Physical Review Letters, vol. 104, no. 13. American Physical Society, 2010.

J. A. Palacci, C. Cottin-Bizonne, C. Ybert, and L. Bocquet, “Sedimentation and effective temperature of active colloidal suspensions,” Physical Review Letters, vol. 105, no. 8. American Physical Society , 2010.

M. Breen and F. Kondrashov, “Mitochondrial pathogenic mutations are population-specific,” Biology Direct, vol. 5. BioMed Central, 2010.

V. M. Canuto, A. M. Howard, Y. Cheng, C. J. Muller, A. Leboissetier, and S. R. Jayne, “Ocean turbulence, III: New GISS vertical mixing scheme,” Ocean Modelling, vol. 34, no. 3–4. Elsevier, pp. 70–91, 2010.

P. A. O’Gorman and C. J. Muller, “How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations?,” Environmental Research Letters, vol. 5, no. 2. IOP Publishing, 2010.

T. Angelini, E. B. Hannezo, X. Trepat, J. Fredberg, and D. Weitz, “Cell migration driven by cooperative substrate deformation patterns,” Physical Review Letters, vol. 104, no. 16. American Physical Society, 2010.

A. Zemach et al., “Local DNA hypomethylation activates genes in rice endosperm,” Proceedings of the National Academy of Sciences, vol. 107, no. 43. National Academy of Sciences, pp. 18729–18734, 2010.

A. Zemach and D. Zilberman, “Evolution of eukaryotic DNA methylation and the pursuit of safer sex,” Current Biology, vol. 20, no. 17. Elsevier, pp. 0–5, 2010.

A. Corazza et al., “Native-unlike long-lived intermediates along the folding pathway of the amyloidogenic protein ;22-Microglobulin revealed by real-time two-dimensional NMR,” Journal of Biological Chemistry, vol. 285, no. 8. American Society for Biochemistry &; Molecular Biology, pp. 5827–5835, 2010.

P. Schanda, B. H. Meier, and M. Ernst, “Quantitative analysis of protein backbone dynamics in microcrystalline ubiquitin by solid-state NMR spectroscopy,” Journal of the American Chemical Society, vol. 132, no. 45. American Chemical Society, pp. 15957–15967, 2010.

V. Kaloshin, K. ZHANG, and Y. ZHENG, “Almost dense orbit on energy surface,” in XVIth International Congress on Mathematical Physics, Prague, Czech Republic, 2010, pp. 314–322.

B. R. Hunt and V. Kaloshin, “Prevalence,” in Handbook of Dynamical Systems, vol. 3, Elsevier, 2010, pp. 43–87.

I. Povolotskaya and F. Kondrashov, “Sequence space and the ongoing expansion of the protein universe,” Nature, vol. 465, no. 7300. Nature Publishing Group, pp. 922–926, 2010.

M. Meer, A. Kondrashov, Y. Artzy Randrup, and F. Kondrashov, “Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness,” Nature, vol. 464, no. 7286. Nature Publishing Group, pp. 279–282, 2010.

F. Kondrashov and A. Kondrashov, “Measurements of spontaneous rates of mutations in the recent past and the near future,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1544. Royal Society, The, pp. 1169–1176, 2010.

A. Kondrashov, I. Povolotskaya, D. Ivankov, and F. Kondrashov, “Rate of sequence divergence under constant selection,” Biology Direct, vol. 5. BioMed Central, 2010.

A. Zemach, I. E. McDaniel, P. Silva, and D. Zilberman, “Genome-wide evolutionary analysis of eukaryotic DNA methylation,” Science, vol. 328, no. 5980. American Association for the Advancement of Science, pp. 916–919, 2010.

U. Rosas, N. H. Barton, L. Copsey, P. Barbier De Reuille, and E. Coen, “Cryptic variation between species and the basis of hybrid performance,” PLoS Biology, vol. 8, no. 7. Public Library of Science, 2010.

U. Rosas, N. H. Barton, L. Copsey, P. Barbier De Reuille, and E. Coen, “Heterosis and the drift load.” Public Library of Science, 2010.

X. Feng and H. G. Dickinson, “Tapetal cell fate, lineage and proliferation in the Arabidopsis anther,” Development, vol. 137, no. 14. The Company of Biologists, pp. 2409–2416, 2010.

X. Feng and H. G. Dickinson, “Cell–cell interactions during patterning of the Arabidopsis anther,” Biochemical Society Transactions, vol. 38, no. 2. Portland Press Ltd., pp. 571–576, 2010.

A. Coskun et al., “Molecular-mechanical switching at the nanoparticlesolvent interface: Practice and theory,” Journal of the American Chemical Society, vol. 132, no. 12. American Chemical Society, pp. 4310–4320, 2010.

R. Klajn, “Immobilized azobenzenes for the construction of photoresponsive materials,” Pure and Applied Chemistry, vol. 82, no. 12. De Gruyter, pp. 2247–2279, 2010.

R. Klajn, J. F. Stoddart, and B. A. Grzybowski, “Nanoparticles functionalised with reversible molecular and supramolecular switches,” Chemical Society Reviews, vol. 39, no. 6. Royal Society of Chemistry, pp. 2203–2237, 2010.

R. Klajn, K. P. Browne, S. Soh, and B. A. Grzybowski, “Nanoparticles that ‘remember’ temperature,” Small, vol. 6, no. 13. Wiley, pp. 1385–1387, 2010.

K. Chatterjee and R. Majumdar, “Discounting in games across time scales,” presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy, 2010, vol. 25, pp. 22–29.

H. Pflicke, “  Dendritic cell migration across basement membranes in the skin,” Institute of Science and Technology Austria, 2010.

T. Wies, D. Zufferey, and T. A. Henzinger, “Forward analysis of depth-bounded processes,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus, 2010, vol. 6014, pp. 94–108.

F. Palero, P. Abello, E. Macpherson, C. Matthee, and M. Pascual, “Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata),” Journal of Crustacean Biology, vol. 30, no. 4. Oxford University Press, pp. 658–663, 2010.

L. B. Sweeney and L. Luo, “‘Fore brain: A hint of the ancestral cortex,” Cell, vol. 142, no. 5. Elsevier, pp. 679–681, 2010.

A. Schlögl, C. Vidaurre, and K.-R. Müller, “Adaptive Methods in BCI Research - An Introductory Tutorial,” in Brain-Computer Interfaces, 1st ed., B. Graimann, G. Pfurtscheller, and B. Allison, Eds. Berlin, Heidelberg: Springer, 2010, pp. 331–355.