Pleydell Bouverie B, Csicsvari JL. 2010. Rate remapping: When the code goes beyond space (preview). Neuron. 68(6), 1015–1016.

Tkadik G. 2010. Lecture notes for 2010 summer school on Quantitative Evolutionary and Comparative Genomics. Summer School on Quantitative Evolutionary and Comparative Genomics.

Sabeti Aschraf M, Gonano C, Nemecek E, Cichocki L, Schueller Weidekamm C. 2010. Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis. Knee Surgery, Sports Traumatology, Arthroscopy. 18(12), 1792–1794.

Carvalho L, Heisenberg C-PJ. 2010. Imaging zebrafish embryos by two-photon excitation time-lapse microscopy. Methods in Molecular Biology. 546(Part 5), 273–287.

Wanke J, Ulges A, Lampert C, Breuel T. 2010. Topic models for semantic video compression. MIR: Multimedia Information Retrieval, 275–284.

Tuytelaars T, Lampert C, Blaschko M, Buntine W. 2010. Unsupervised object discovery: A comparison. International Journal of Computer Vision. 88(2), 284–302.

Lampert C. 2010. An efficient divide-and-conquer cascade for nonlinear object detection. CVPR: Computer Vision and Pattern Recognition, 1022–1029.

Tkadik G. 2010. From statistical mechanics to information theory: understanding biophysical information-processing systems. ArXiv, q-MN, 1–52, .

Kwatra N, Wojtan C, Carlson M, Essa I, Mucha P, Turk G. 2010. Fluid simulation with articulated bodies. IEEE Transactions on Visualization and Computer Graphics. 16(1), 70–80.

Wojtan C, Thürey N, Gross M, Turk G. 2010. Physics-inspired topology changes for thin fluid features. ACM Transactions on Graphics. 29(4).

Barton NH. 2010. Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1552), 2559–2569.

Barton NH. 2010. What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1547), 1825–1840.

Barton NH. 2010. Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1544), 1281–1294.

Senn H, Swanson G, Goodman S, Barton NH, Pemberton J. 2010. Phenotypic correlates of hybridisation between red and sika deer (genus Cervus). Journal of Animal Ecology. 79(2), 414–425.

Barton NH. 2010. Understanding adaptation in large populations. PLoS Genetics. 6(6), e1000987.

Diz Muñoz A, Krieg M, Bergert M, Ibarlucea Benitez I, Müller D, Paluch E, Heisenberg C-PJ. 2010. Control of directed cell migration in vivo by membrane-to-cortex attachment. PLoS Biology. 8(11), e1000544.

Nowozin S, Gehler P, Lampert C. 2010. On parameter learning in CRF-based approaches to object class image segmentation. ECCV: European Conference on Computer Vision, LNCS, vol. 6316, 98–111.

Quesada-Hernández E, Caneparo L, Schneider S, Winkler S, Liebling M, Fraser S, Heisenberg C-PJ. 2010. Stereotypical cell division orientation controls neural rod midline formation in zebrafish. Current Biology. 20(21), 1966–1972.

Palero F, Hall S, Clark P, Johnston D, Mackenzie Dodds J, Thatje S. 2010. DNA extraction from formalin-fixed tissue: new light from the deep sea. Scientia Marina. 74(3), 465–470.

Klopper A, Krens G, Grill S, Heisenberg C-PJ. 2010. Finite-size corrections to scaling behavior in sorted cell aggregates. The European Physical Journal E: Soft Matter and Biological Physics. 33(2), 99–103.

Palero F, Guerao G, Clark P, Abello P. 2010. Final-stage phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The first complete description. Zootaxa. 2403(1), 42–58.

Carvalho L, Heisenberg C-PJ. 2010. The yolk syncytial layer in early, zebrafish development. Trends in Cell Biology. 20(10), 586–592.

Wolf V, Goel R, Mateescu M, Henzinger TA. 2010. Solving the chemical master equation using sliding windows. BMC Systems Biology. 4(42), 1–19.

Henzinger TA. 2010. From boolean to quantitative notions of correctness. POPL: Principles of Programming Languages vol. 45, 157–158.

Henzinger TA, Hottelier T, Kovács L, Voronkov A. 2010. Invariant and type inference for matrices. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 163–179.

Henzinger TA, Mateescu M, Mikeev L, Wolf V. 2010. Hybrid numerical solution of the chemical master equation. CMSB: Computational Methods in Systems Biology, 55–65.

Chatterjee K, Doyen L, Edelsbrunner H, Henzinger TA, Rannou P. 2010. Mean-payoff automaton expressions. CONCUR: Concurrency Theory, LNCS, vol. 6269, 269–283.

Bendich P, Edelsbrunner H, Kerber M, Patel A. 2010. Persistent homology under non-uniform error. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6281, 12–23.

Chatterjee K, Horn F, Löding C. 2010. Obliging games. CONCUR: Concurrency Theory, LNCS, vol. 6269, 284–296.

Chatterjee K, Doyen L. 2010. Energy parity games.  ICALP: Automata, Languages and Programming, 37th International Colloquium, LNCS, vol. 6199, 599–610.

Alpichshev Z, Analytis J, Chu J, Fisher I, Chen Y, Shen Z, Fang A, Kapitulnik A. 2010. STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects. Physical Review Letters. 104(1).

Berberich E, Halperin D, Kerber M, Pogalnikova R. 2010. Polygonal reconstruction from approximate offsets. EuroCG: European Workshop on Computational Geometry, 12–23.

Chatterjee K, Doyen L, Henzinger TA, Raskin J. 2010. Generalized mean-payoff and energy games. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 8, 505–516.

Chatterjee K, Doyen L, Henzinger TA. 2010. Quantitative languages. ACM Transactions on Computational Logic (TOCL). 11(4), 23.

Chatterjee K, Henzinger TA, Jobstmann B, Singh R. 2010. Measuring and synthesizing systems in probabilistic environments. CAV: Computer Aided Verification, LNCS, vol. 6174, 380–395.

Chatterjee K, De Alfaro L, Raman V, Sánchez C. 2010. Analyzing the impact of change in multi-threaded programs. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013, 293–307.

Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. 2010. Strategy construction for parity games with imperfect information. Information and Computation. 208(10), 1206–1220.

Chatterjee K, Henzinger TA, Piterman N. 2010. Strategy logic. Information and Computation. 208(6), 677–693.

Bendich P, Edelsbrunner H, Kerber M. 2010. Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics. 16(6), 1251–1260.

Ugelvig LV, Kronauer D, Schrempf A, Heinze J, Cremer S. 2010. Rapid anti-pathogen response in ant societies relies on high genetic diversity. Proceedings of the Royal Society of London Series B Biological Sciences. 277(1695), 2821–2828.

Nourshargh S, Hordijk P, Sixt MK. 2010. Breaching multiple barriers: leukocyte motility through venular walls and the interstitium. Nature Reviews Molecular Cell Biology. 11(5), 366–378.

Papusheva E, Heisenberg C-PJ. 2010. Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. EMBO Journal. 29(16), 2753–2768.

Kardash E, Reichman Fried M, Maître J, Boldajipour B, Papusheva E, Messerschmidt E, Heisenberg C, Raz E. 2010. A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo. Nature Cell Biology. 12(1), 47–53.

Arboleda Estudillo Y, Krieg M, Stuehmer J, Licata N, Mueller D, Heisenberg C-PJ. 2010. Movement directionality in collective migration of germ layer progenitors. Current Biology. 20(2), 161–169.

Bergmann J, Danowski P. 2010.Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In: Handbuch Bibliothek 2.0. , 5–20.

Guinane C, Ben Zakour N, Tormo Mas M, Weinert L, Lowder B, Cartwright R, Smyth D, Smyth C, Lindsay J, Gould K, Witney A, Hinds J, Bollback JP, Rambaut A, Penades J, Fitzgerald JR. 2010. Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation. Genome Biology and Evolution. 2, 454–466.

Singh V. 2010. Runtime verification for software transactional memories. RV: International Conference on Runtime Verification, LNCS, vol. 6418, 421–435.

Kuncak V, Piskac R, Suter P, Wies T. 2010. Building a calculus of data structures. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 26–44.

Jones K, Konrad V, Nickovic D. 2010. Analog property checkers: a DD case study. Formal Methods in System Design. 36(2), 114–130.

Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. FlexPRICE: Flexible provisioning of resources in a cloud environment. CLOUD: Cloud Computing, 83–90.

Guerraoui R, Henzinger TA, Kapalka M, Singh V. 2010. Transactions in the jungle. SPAA: ACM Symposium on Parallel Algorithms and Architectures, 263–272.

Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. A marketplace for cloud resources. EMSOFT: Embedded Software , 1–8.

Doyen L, Henzinger TA, Legay A, Nickovic D. 2010. Robustness of sequential circuits. ACSD: Application of Concurrency to System Design, 77–84.

Cerny P, Henzinger TA, Radhakrishna A. 2010.Quantitative Simulation Games. In: Time For Verification: Essays in Memory of Amir Pnueli. LNCS, vol. 6200, 42–60.

Beyer D, Henzinger TA, Théoduloz G, Zufferey D. 2010. Shape refinement through explicit heap analysis. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013, 263–277.

Burckhardt S, Musuvathi M, Singh V. 2010. Verifying local transformations on relaxed memory models. CC: Compiler Construction, LNCS, vol. 6011, 104–123.

Chatterjee K, Doyen L, Henzinger TA. 2010. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. 6(3), 1–23.

Barton NH, Kelleher J, Etheridge A. 2010. A new model for extinction and recolonization in two dimensions: Quantifying phylogeography. Evolution. 64(9), 2701–2715.

Alur R, Cerny P. 2010. Expressiveness of streaming string transducers. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 8, 1–12.

Cristau J, David C, Horn F. 2010. How do we remember the past in randomised strategies? . Proceedings of GandALF 2010. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 30–39.

Hoenicke J, Leino K, Podelski A, Schäf M, Wies T. 2010. Doomed program points. Formal Methods in System Design. 37(2–3), 171–199.

Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances. CONCUR: Concurrency Theory, LNCS, vol. 6269, 235–268.

Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. 2010. Quantitative synthesis for concurrent programs, IST Austria, 17p.

Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances, IST Austria, 24p.

Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations. CAV: Computer Aided Verification, LNCS, vol. 6174, 465–479.

Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2010. GIST: A solver for probabilistic games. CAV: Computer Aided Verification, LNCS, vol. 6174, 665–669.

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

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

Chatterjee K, Henzinger TA. 2010. Probabilistic Automata on infinite words: decidability and undecidability results. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 6252, 1–16.

Chatterjee K, Doyen L, Henzinger TA. 2010. Qualitative analysis of partially-observable Markov Decision Processes. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6281, 258–269.

Juhás G, Kazlov I, Juhásová A. 2010.Instance Deadlock: A Mystery behind Frozen Programs. In: Applications and Theory of Petri Nets. , 1–17.

Meyer K, Lin S, Bernecky C, Gao Y, Taatjes D. 2010.  activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. 17(6), 753–760.

Weber KP, De S, Kozarewa I, Turner DJ, Babu MM, de Bono M. 2010. Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. 5(11), e13922.

Zacharasiewicz W, Kirsch F. 2010.“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. , 173–179.

Zhou L, Li F, Xu H, Luo C, Wu H, Zhu M, Lu W, Ji X, Zhou Q, Zhu D. 2010. Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95. Nature Medicine. 16(12), 1439–1443.

Bretèche R de la, Browning TD. 2010. Le problème des diviseurs pour des formes binaires de degré 4. Crelles Journal. 2010(646), 1–44.

Salje EKH, Safarik DJ, Modic KA, Gubernatis JE, Cooley JC, Taylor RD, Mihaila B, Saxena A, Lookman T, Smith JL, Fisher RA, Pasternak M, Opeil CP, Siegrist T, Littlewood PB, Lashley JC. 2010. Tin telluride: A weakly co-elastic metal. Physical Review B. 82(18), 184112.

Drymiotis FR, Drye TB, Wang Y, He J, Rhodes D, Modic KA, Cawthorne S, Zhang QR. 2010. Structure formation and very low thermal conductivity in Pb:Te:Ag:Se mixtures. Journal of Applied Physics. 107(3), 033519.

Giordani V, Freunberger SA, Bruce PG, Tarascon J-M, Larcher D. 2010. O2 decomposition reaction as selecting tool for catalysts in Li–O2 cells. Electrochemical and Solid-State Letters. 13(12), 0.

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

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

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

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

Wright I, Higginbotham AP, Baker S, Donnelly T. 2010. Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution. ACS Applied Materials and Interfaces. 2(8), 2360–2364.

Innan H, Kondrashov F. 2010. The evolution of gene duplications: Classifying and distinguishing between models. Nature Reviews Genetics. 11(2), 97–108.

Palacci JA, Abécassis B, Cottin-Bizonne C, Ybert C, Bocquet L. 2010. Colloidal motility and pattern formation under rectified diffusiophoresis. Physical Review Letters. 104(13), 138302.

Palacci JA, Cottin-Bizonne C, Ybert C, Bocquet L. 2010. Sedimentation and effective temperature of active colloidal suspensions. Physical Review Letters. 105(8), 088304.

Breen M, Kondrashov F. 2010. Mitochondrial pathogenic mutations are population-specific. Biology Direct. 5.

Canuto VM, Howard AM, Cheng Y, Muller CJ, Leboissetier A, Jayne SR. 2010. Ocean turbulence, III: New GISS vertical mixing scheme. Ocean Modelling. 34(3–4), 70–91.

O’Gorman PA, Muller CJ. 2010. How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. 5(2), 025207.

Angelini T, Hannezo EB, Trepat X, Fredberg J, Weitz D. 2010. Cell migration driven by cooperative substrate deformation patterns. Physical Review Letters. 104(16).

Zemach A, Kim MY, Silva P, Rodrigues JA, Dotson B, Brooks MD, Zilberman D. 2010. Local DNA hypomethylation activates genes in rice endosperm. Proceedings of the National Academy of Sciences. 107(43), 18729–18734.

Zemach A, Zilberman D. 2010. Evolution of eukaryotic DNA methylation and the pursuit of safer sex. Current Biology. 20(17), 0–5.

Corazza A, Rennella E, Schanda P, Mimmi MC, Cutuil T, Raimondi S, Giorgetti S, Fogolari F, Viglino P, Frydman L, Gal M, Bellotti V, Brutscher B, Esposito G. 2010. 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. 285(8), 5827–5835.

Schanda P, Meier BH, Ernst M. 2010. Quantitative analysis of protein backbone dynamics in microcrystalline ubiquitin by solid-state NMR spectroscopy. Journal of the American Chemical Society. 132(45), 15957–15967.

Kaloshin V, ZHANG K, ZHENG Y. 2010. Almost dense orbit on energy surface. XVIth International Congress on Mathematical Physics. International Congress on Mathematical Physics, 314–322.

Hunt BR, Kaloshin V. 2010.Prevalence. In: Handbook of Dynamical Systems. vol. 3, 43–87.

Povolotskaya I, Kondrashov F. 2010. Sequence space and the ongoing expansion of the protein universe. Nature. 465(7300), 922–926.

Meer M, Kondrashov A, Artzy Randrup Y, Kondrashov F. 2010. Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness. Nature. 464(7286), 279–282.

Kondrashov F, Kondrashov A. 2010. 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. 365(1544), 1169–1176.