Chatterjee, K., Cerny, P., Henzinger, T. A., Radhakrishna, A., &; Singh, R. (2010). Quantitative synthesis for concurrent programs. IST Austria.https://doi.org/10.15479/AT:IST-2010-0004 

Cerny, P., Henzinger, T. A., &; Radhakrishna, A. (2010). Simulation distances. IST Austria.https://doi.org/10.15479/AT:IST-2010-0003 

Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., &; Alur, R. (2010). Model checking of linearizability of concurrent list implementations (Vol. 6174, pp. 465–479). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer.https://doi.org/10.1007/978-3-642-14295-6_41 

Chatterjee, K., Henzinger, T. A., Jobstmann, B., &; Radhakrishna, A. (2010). GIST: A solver for probabilistic games (Vol. 6174, pp. 665–669). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer.https://doi.org/10.1007/978-3-642-14295-6_57 

Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., &; Alur, R. (2010). Model checking of linearizability of concurrent list implementations. IST Austria.https://doi.org/10.15479/AT:IST-2010-0001 

Chatterjee, K., &; Fijalkow, N. (2010). Topological, automata-theoretic and logical characterization of finitary languages. IST Austria.https://doi.org/10.15479/AT:IST-2010-0002 

Chatterjee, K., &; Henzinger, T. A. (2010). Probabilistic Automata on infinite words: decidability and undecidability results (Vol. 6252, pp. 1–16). Presented at the ATVA: Automated Technology for Verification and Analysis, Singapore, Singapore: Springer.https://doi.org/10.1007/978-3-642-15643-4_1 

Chatterjee, K., Doyen, L., &; Henzinger, T. A. (2010). Qualitative analysis of partially-observable Markov Decision Processes (Vol. 6281, pp. 258–269). Presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic: Springer.https://doi.org/10.1007/978-3-642-15155-2_24 

Juhás, G., Kazlov, I., &; Juhásová, A. (2010). Instance Deadlock: A Mystery behind Frozen Programs. In Applications and Theory of Petri Nets (pp. 1–17). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-642-13675-7_1 

Meyer, K., Lin, S., Bernecky, C., Gao, Y., &; Taatjes, D. (2010).https://doi.org/10.1038/nsmb.1816__activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. Nature Publishing Group.https://doi.org/10.1038/nsmb.1816 

Weber, K. P., De, S., Kozarewa, I., Turner, D. J., Babu, M. M., &; de Bono, M. (2010). Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. Public Library of Science.https://doi.org/10.1371/journal.pone.0013922 

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 (pp. 173–179). Facultas.WUV.

Zhou, L., Li, F., Xu, H., Luo, C., Wu, H., Zhu, M.,https://doi.org/10.1038/nm.2245__Zhu, D. (2010). Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95. Nature Medicine. Nature Publishing Group.https://doi.org/10.1038/nm.2245 

Bretèche, R. de la, &; Browning, T. D. (2010). Le problème des diviseurs pour des formes binaires de degré 4. Crelles Journal. Walter de Gruyter GmbH.https://doi.org/10.1515/crelle.2010.064 

Salje, E. K. H., Safarik, D. J., Modic, K. A., Gubernatis, J. E., Cooley, J. C., Taylor, R. D.,https://doi.org/10.1103/physrevb.82.184112__Lashley, J. C. (2010). Tin telluride: A weakly co-elastic metal. Physical Review B. APS.https://doi.org/10.1103/physrevb.82.184112 

Drymiotis, F. R., Drye, T. B., Wang, Y., He, J., Rhodes, D., Modic, K. A.,https://doi.org/10.1063/1.3284946__Zhang, Q. R. (2010). Structure formation and very low thermal conductivity in Pb:Te:Ag:Se mixtures. Journal of Applied Physics. AIP.https://doi.org/10.1063/1.3284946 

Giordani, V., Freunberger, S. A., Bruce, P. G., Tarascon, J.-M., &; Larcher, D. (2010). O2 decomposition reaction as selecting tool for catalysts in Li–O2 cells. Electrochemical and Solid-State Letters. The Electrochemical Society.https://doi.org/10.1149/1.3494045 

Alistarh, D.-A., Attiya, H., Gilbert, S., Giurgiu, A., &; Guerraoui, R. (2010). Fast randomized test-and-set and renaming (Vol. 6343 LNCS, pp. 94–108). Presented at the DISC: Distributed Computing, Springer.https://doi.org/10.1007/978-3-642-15763-9_9 

Alistarh, D.-A., Gilbert, S., Guerraoui, R., &; Zadimoghaddam, M. (2010). How efficient can gossip be? (On the cost of resilient information exchange) (Vol. 6199 LNCS, pp. 115–126). Presented at the ICALP: International Colloquium on Automota, Languages and Programming, Springer.https://doi.org/10.1007/978-3-642-14162-1_10 

Alistarh, D.-A., Gilbert, S., Guerraoui, R., Milosevi, d., &; Newport, C. (2010). Securing every bit: Authenticated broadcast in radio networks (pp. 50–59). Presented at the SPAA: Symposium on Parallelism in Algorithms and Architectures, ACM.https://doi.org/10.1145/1810479.1810489 

Alistarh, D.-A., Gilbert, S., Guerraoui, R., &; Travers, C. (2010). Brief announcement: New bounds for partially synchronous set agreement (Vol. 6343 LNCS, pp. 404–405). Presented at the DISC: Distributed Computing, Springer.https://doi.org/10.1007/978-3-642-15763-9_40 

Wright, I., Higginbotham, A. P., Baker, S., &; Donnelly, T. (2010). Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution. ACS Applied Materials and Interfaces. American Chemical Society.https://doi.org/10.1021/am100375w 

Innan, H., &; Kondrashov, F. (2010). The evolution of gene duplications: Classifying and distinguishing between models. Nature Reviews Genetics. Nature Publishing Group.https://doi.org/10.1038/nrg2689 

Palacci, J. A., Abécassis, B., Cottin-Bizonne, C., Ybert, C., &; Bocquet, L. (2010). Colloidal motility and pattern formation under rectified diffusiophoresis. Physical Review Letters. American Physical Society.https://doi.org/10.1103/physrevlett.104.138302 

Palacci, J. A., Cottin-Bizonne, C., Ybert, C., &; Bocquet, L. (2010). Sedimentation and effective temperature of active colloidal suspensions. Physical Review Letters. American Physical Society .https://doi.org/10.1103/physrevlett.105.088304 

Breen, M., &; Kondrashov, F. (2010). Mitochondrial pathogenic mutations are population-specific. Biology Direct. BioMed Central.https://doi.org/10.1186/1745-6150-5-68 

Canuto, V. M., Howard, A. M., Cheng, Y., Muller, C. J., Leboissetier, A., &; Jayne, S. R. (2010). Ocean turbulence, III: New GISS vertical mixing scheme. Ocean Modelling. Elsevier.https://doi.org/10.1016/j.ocemod.2010.04.006 

O’Gorman, P. A., &; Muller, C. J. (2010). How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. IOP Publishing.https://doi.org/10.1088/1748-9326/5/2/025207 

Angelini, T., Hannezo, E. B., Trepat, X., Fredberg, J., &; Weitz, D. (2010). Cell migration driven by cooperative substrate deformation patterns. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.104.168104 

Zemach, A., Kim, M. Y., Silva, P., Rodrigues, J. A., Dotson, B., Brooks, M. D., &; Zilberman, D. (2010). Local DNA hypomethylation activates genes in rice endosperm. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1009695107 

Zemach, A., &; Zilberman, D. (2010). Evolution of eukaryotic DNA methylation and the pursuit of safer sex. Current Biology. Elsevier.https://doi.org/10.1016/j.cub.2010.07.007 

Corazza, A., Rennella, E., Schanda, P., Mimmi, M. C., Cutuil, T., Raimondi, S.,https://doi.org/10.1074/jbc.m109.061168__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. American Society for Biochemistry &; Molecular Biology.https://doi.org/10.1074/jbc.m109.061168 

Schanda, P., Meier, B. H., &; Ernst, M. (2010). Quantitative analysis of protein backbone dynamics in microcrystalline ubiquitin by solid-state NMR spectroscopy. Journal of the American Chemical Society. American Chemical Society.https://doi.org/10.1021/ja100726a 

Kaloshin, V., ZHANG, K., &; ZHENG, Y. (2010). Almost dense orbit on energy surface. In XVIth International Congress on Mathematical Physics (pp. 314–322). Prague, Czech Republic: World Scientific.https://doi.org/10.1142/9789814304634_0017 

Hunt, B. R., &; Kaloshin, V. (2010). Prevalence. In Handbook of Dynamical Systems (Vol. 3, pp. 43–87). Elsevier.https://doi.org/10.1016/s1874-575x(10)00310-3 

Povolotskaya, I., &; Kondrashov, F. (2010). Sequence space and the ongoing expansion of the protein universe. Nature. Nature Publishing Group.https://doi.org/10.1038/nature09105 

Meer, M., Kondrashov, A., Artzy Randrup, Y., &; Kondrashov, F. (2010). Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness. Nature. Nature Publishing Group.https://doi.org/10.1038/nature08691 

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. Royal Society, The.https://doi.org/10.1098/rstb.2009.0286 

Kondrashov, A., Povolotskaya, I., Ivankov, D., &; Kondrashov, F. (2010). Rate of sequence divergence under constant selection. Biology Direct. BioMed Central.https://doi.org/10.1186/1745-6150-5-5 

Zemach, A., McDaniel, I. E., Silva, P., &; Zilberman, D. (2010). Genome-wide evolutionary analysis of eukaryotic DNA methylation. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1186366 

Rosas, U., Barton, N. H., Copsey, L., Barbier De Reuille, P., &; Coen, E. (2010). Cryptic variation between species and the basis of hybrid performance. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.1000429 

Rosas, U., Barton, N. H., Copsey, L., Barbier De Reuille, P., &; Coen, E. (2010). Heterosis and the drift load. Public Library of Science.https://doi.org/10.1371/journal.pbio.1000429.s003 

Feng, X., &; Dickinson, H. G. (2010). Tapetal cell fate, lineage and proliferation in the Arabidopsis anther. Development. The Company of Biologists.https://doi.org/10.1242/dev.049320 

Feng, X., &; Dickinson, H. G. (2010). Cell–cell interactions during patterning of the Arabidopsis anther. Biochemical Society Transactions. Portland Press Ltd.https://doi.org/10.1042/bst0380571 

Coskun, A., Wesson, P. J., Klajn, R., Trabolsi, A., Fang, L., Olson, M. A.,https://doi.org/10.1021/ja9102327__Stoddart, J. F. (2010). Molecular-mechanical switching at the nanoparticlesolvent interface: Practice and theory. Journal of the American Chemical Society. American Chemical Society.https://doi.org/10.1021/ja9102327 

Klajn, R. (2010). Immobilized azobenzenes for the construction of photoresponsive materials. Pure and Applied Chemistry. De Gruyter.https://doi.org/10.1351/pac-con-10-09-04 

Klajn, R., Stoddart, J. F., &; Grzybowski, B. A. (2010). Nanoparticles functionalised with reversible molecular and supramolecular switches. Chemical Society Reviews. Royal Society of Chemistry.https://doi.org/10.1039/b920377j 

Klajn, R., Browne, K. P., Soh, S., &; Grzybowski, B. A. (2010). Nanoparticles that member”https://doi.org/10.1002/smll.200902272__temperature. Small. Wiley.https://doi.org/10.1002/smll.200902272 

Chatterjee, K., &; Majumdar, R. (2010). Discounting in games across time scales (Vol. 25, pp. 22–29). Presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy: EPTCS.https://doi.org/10.4204/EPTCS.25.6 

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

Wies, T., Zufferey, D., &; Henzinger, T. A. (2010). Forward analysis of depth-bounded processes. In L. Ong (Ed.) (Vol. 6014, pp. 94–108). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus: Springer.https://doi.org/10.1007/978-3-642-12032-9_8 

Palero, F., Abello, P., Macpherson, E., Matthee, C., &; Pascual, M. (2010). Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata). Journal of Crustacean Biology. Oxford University Press.https://doi.org/10.1651/09-3192.1 

Sweeney, L. B., &; Luo, L. (2010). ‘Fore brain: A hint of the ancestral cortex. Cell. Elsevier.https://doi.org/10.1016/j.cell.2010.08.024 

Schlögl, A., Vidaurre, C., &; Müller, K.-R. (2010). Adaptive Methods in BCI Research - An Introductory Tutorial. In B. Graimann, G. Pfurtscheller, &; B. Allison (Eds.), Brain-Computer Interfaces (1st ed., pp. 331–355). Berlin, Heidelberg: Springer.https://doi.org/10.1007/978-3-642-02091-9_18