Podelski, A., &; Wies, T. (2010). Counterexample-guided focus (pp. 249–260). Presented at the POPL: Principles of Programming Languages, ACM.https://doi.org/10.1145/1707801.1706330 

Rfeidka, K., Strader, L., Bailly, A., Yang, H., Blakeslee, J., angowski, .,https://doi.org/10.1073/pnas.1005878107__Friml, J. (2010). Arabidopsis PI encodes the ABC transporter of auxinic compounds including the auxin precursor indole 3 butyric acid. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1005878107 

Jelínková, A., Malínská, K., Simon, S., Kleine Vehn, J., Paezová, M., Pejchar, P.,https://doi.org/10.1111/j.1365-313X.2009.04102.x__Petrásek, J. (2010). Probing plant membranes with FM dyes: Tracking dragging or blocking? Plant Journal. Wiley-Blackwell.https://doi.org/10.1111/j.1365-313X.2009.04102.x 

dádníková, P., Petrásek, J., Marhavý, P., Raz, V., Vandenbussche, F., Ding, Z.,https://doi.org/10.1242/dev.041277__Benková, E. (2010). Role of PIN-mediated auxin efflux in apical hook development of Arabidopsis thaliana. Development. Company of Biologists.https://doi.org/10.1242/dev.041277 

Zhang, J., Nodzyski, T., Pbndík, A., Roldík, J., &; Friml, J. (2010). PIN phosphorylation is sufficient to mediate PIN polarity and direct auxin transport. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.0909460107 

angowski, ., Rfeidka, K., Naramoto, S., Kleine Vehn, J., &; Friml, J. (2010). Trafficking to the outer polar domain defines the root soil interface. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2010.03.059 

Nawy, T., Bayer, M., Mravec, J., Friml, J., Birnbaum, K., &; Lukowitz, W. (2010). The GATA factor HANABA TARANU is required to position the proembryo boundary in the early Arabidopsis embryo. Developmental Cell. Cell Press.https://doi.org/10.1016/j.devcel.2010.06.004 

Ding, Z., &; Friml, J. (2010). Auxin regulates distal stem cell differentiation in Arabidopsis roots. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1000672107 

Friml, J. (2010). Subcellular trafficking of PIN auxin efflux carriers in auxin transport. European Journal of Cell Biology. Elsevier.https://doi.org/10.1016/j.ejcb.2009.11.003 

Naramoto, S., Kleine Vehn, J., Robert, S., Fujimoto, M., Dainobu, T., Paciorek, T.,https://doi.org/10.1073/pnas.1016260107__Friml, J. (2010). ADP ribosylation factor machinery mediates endocytosis in plant cells. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1016260107 

Kleine Vehn, J., Ding, Z., Jones, A., Tasaka, M., Morita, M., &; Friml, J. (2010). Gravity induced PIN transcytosis for polarization of auxin fluxes in gravity sensing root cells. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1013145107 

Siekhaus, D. E., Haesemeyer, M., Moffitt, O., &; Lehmann, R. (2010). RhoL controls invasion and Ra localization during immune cell transmigration in Drosophila. Nature Cell Biology. Nature Publishing Group.

Vicente, S., Kolmogorov, V., &; Rother, C. (2010). Cosegmentation revisited: Models and optimization (Vol. 6312, pp. 465–479). Presented at the ECCV: European Conference on Computer Vision, Springer.https://doi.org/10.1007/978-3-642-15552-9_34 

Kiltz, E., &; Pietrzak, K. Z. (2010). Leakage resilient ElGamal encryption (Vol. 6477, pp. 595–612). Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Springer.https://doi.org/10.1007/978-3-642-17373-8_34 

Dodis, Y., &; Pietrzak, K. Z. (2010). Leakage resilient pseudorandom functions and side channel attacks on feistel networks (Vol. 6223, pp. 21–40). Presented at the CRYPTO: International Cryptology Conference, Springer.https://doi.org/10.1007/978-3-642-14623-7_2 

Faust, S., Kiltz, E., Pietrzak, K. Z., &; Rothblum, G. (2010). Leakage resilient signatures (Vol. 5978, pp. 343–360). Presented at the TCC: Theory of Cryptography Conference, Springer.https://doi.org/10.1007/978-3-642-11799-2_21 

Håstad, J., Pass, R., Wikström, D., &; Pietrzak, K. Z. (2010). An efficient parallel repetition theorem (Vol. 5978, pp. 1–18). Presented at the TCC: Theory of Cryptography Conference, Springer.https://doi.org/10.1007/978-3-642-11799-2_1 

Kolmogorov, V. (2010). Generalized roof duality and bisubmodular functions. Presented at the Neural Information Processing Systems, Neural Information Processing Systems.

Iyengar, A., Chakraborty Tuhin, S., Goswami, S., Wu, C., &; Siddiqi, O. (2010). Post eclosion odor experience modifies olfactory receptor neuron coding in Drosophila. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1003856107 

Wojtan, C. (2010). Animating physical phenomena with embedded surface meshes. Georgia Institute of Technology.

Evans, S., Sturmfels, B., &; Uhler, C. (2010). Commuting birth and death processes. The Annals of Applied Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/09-AAP615 

Sturmfels, B., &; Uhler, C. (2010). Multivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry. Annals of the Institute of Statistical Mathematics. Springer.https://doi.org/10.1007/s10463-010-0295-4 

Guerraoui, R., Henzinger, T. A., &; Singh, V. (2010). Model checking transactional memories. Distributed Computing. Springer.https://doi.org/10.1007/s00446-009-0092-6 

Pleydell Bouverie, B., &; Csicsvari, J. L. (2010). Rate remapping: When the code goes beyond space (preview). Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2010.12.011 

Tkadik, G. (2010). Lecture notes for 2010 summer school on Quantitative Evolutionary and Comparative Genomics. Presented at the Summer School on Quantitative Evolutionary and Comparative Genomics, Elsevier.

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. Springer.https://doi.org/10.1007/s00167-010-1227-9 

Carvalho, L., &; Heisenberg, C.-P. J. (2010). Imaging zebrafish embryos by two-photon excitation time-lapse microscopy. Methods in Molecular Biology. Springer.https://doi.org/10.1007/978-1-60327-977-2_17 

Wanke, J., Ulges, A., Lampert, C., &; Breuel, T. (2010). Topic models for semantic video compression (pp. 275–284). Presented at the MIR: Multimedia Information Retrieval, ACM.https://doi.org/10.1145/1743384.1743433 

Tuytelaars, T., Lampert, C., Blaschko, M., &; Buntine, W. (2010). Unsupervised object discovery: A comparison. International Journal of Computer Vision. Springer.https://doi.org/10.1007/s11263-009-0271-8 

Lampert, C. (2010). An efficient divide-and-conquer cascade for nonlinear object detection (pp. 1022–1029). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE.https://doi.org/10.1109/CVPR.2010.5540107 

Tkadik, G. (2010). From statistical mechanics to information theory: understanding biophysical information-processing systems. ArXiv. ArXiv.

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. IEEE.https://doi.org/10.1109/TVCG.2009.66 

Wojtan, C., Thürey, N., Gross, M., &; Turk, G. (2010). Physics-inspired topology changes for thin fluid features. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/1778765.1778787 

Barton, N. H. (2010). Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society.https://doi.org/10.1098/rstb.2010.0106 

Barton, N. H. (2010). What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society.https://doi.org/10.1098/rstb.2010.0001 

Barton, N. H. (2010). Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society.https://doi.org/10.1098/rstb.2009.0320 

Senn, H., Swanson, G., Goodman, S., Barton, N. H., &; Pemberton, J. (2010). Phenotypic correlates of hybridisation between red and sika deer (genus Cervus). Journal of Animal Ecology. Wiley-Blackwell.https://doi.org/10.1111/j.1365-2656.2009.01633.x 

Barton, N. H. (2010). Understanding adaptation in large populations. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1000987 

Diz Muñoz, A., Krieg, M., Bergert, M., Ibarlucea Benitez, I., Müller, D., Paluch, E., &; Heisenberg, C.-P. J. (2010). Control of directed cell migration in vivo by membrane-to-cortex attachment. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.1000544 

Nowozin, S., Gehler, P., &; Lampert, C. (2010). On parameter learning in CRF-based approaches to object class image segmentation (Vol. 6316, pp. 98–111). Presented at the ECCV: European Conference on Computer Vision, Heraklion, Crete, Greece: Springer.https://doi.org/10.1007/978-3-642-15567-3_8 

Quesada-Hernández, E., Caneparo, L., Schneider, S., Winkler, S., Liebling, M., Fraser, S., &; Heisenberg, C.-P. J. (2010). Stereotypical cell division orientation controls neural rod midline formation in zebrafish. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2010.10.009 

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. Consejo Superior de Investigaciones Científicas.https://doi.org/10.3989/scimar.2010.74n3465 

Klopper, A., Krens, G., Grill, S., &; Heisenberg, C.-P. J. (2010). Finite-size corrections to scaling behavior in sorted cell aggregates. The European Physical Journal E: Soft Matter and Biological Physics. Springer.https://doi.org/10.1140/epje/i2010-10642-y 

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. Magnolia Press.https://doi.org/10.11646/zootaxa.2403.1.4 

Carvalho, L., &; Heisenberg, C.-P. J. (2010). The yolk syncytial layer in early, zebrafish development. Trends in Cell Biology. Cell Press.https://doi.org/10.1016/j.tcb.2010.06.009 

Wolf, V., Goel, R., Mateescu, M., &; Henzinger, T. A. (2010). Solving the chemical master equation using sliding windows. BMC Systems Biology. BioMed Central.https://doi.org/10.1186/1752-0509-4-42 

Henzinger, T. A. (2010). From boolean to quantitative notions of correctness (Vol. 45, pp. 157–158). Presented at the POPL: Principles of Programming Languages, Madrid, Spain: ACM.https://doi.org/10.1145/1706299.1706319 

Henzinger, T. A., Hottelier, T., Kovács, L., &; Voronkov, A. (2010). Invariant and type inference for matrices (Vol. 5944, pp. 163–179). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain: Springer.https://doi.org/10.1007/978-3-642-11319-2_14 

Henzinger, T. A., Mateescu, M., Mikeev, L., &; Wolf, V. (2010). Hybrid numerical solution of the chemical master equation (pp. 55–65). Presented at the CMSB: Computational Methods in Systems Biology, Trento, Italy: Springer.https://doi.org/10.1145/1839764.1839772 

Chatterjee, K., Doyen, L., Edelsbrunner, H., Henzinger, T. A., &; Rannou, P. (2010). Mean-payoff automaton expressions (Vol. 6269, pp. 269–283). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-642-15375-4_19 

Bendich, P., Edelsbrunner, H., Kerber, M., &; Patel, A. (2010). Persistent homology under non-uniform error (Vol. 6281, pp. 12–23). Presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic: Springer.https://doi.org/10.1007/978-3-642-15155-2_2 

Chatterjee, K., Horn, F., &; Löding, C. (2010). Obliging games (Vol. 6269, pp. 284–296). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-642-15375-4_20 

Chatterjee, K., &; Doyen, L. (2010). Energy parity games (Vol. 6199, pp. 599–610). Presented at thehttps://doi.org/10.1007/978-3-642-14162-1_50__ICALP: Automata, Languages and Programming, 37th International Colloquium, Bordeaux, France: Springer.https://doi.org/10.1007/978-3-642-14162-1_50 

Alpichshev, Z., Analytis, J., Chu, J., Fisher, I., Chen, Y., Shen, Z.,https://doi.org/10.1103/PhysRevLett.104.016401__Kapitulnik, A. (2010). STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.104.016401 

Berberich, E., Halperin, D., Kerber, M., &; Pogalnikova, R. (2010). Polygonal reconstruction from approximate offsets (pp. 12–23). Presented at the EuroCG: European Workshop on Computational Geometry, Dortmund, Germany: TU Dortmund.

Chatterjee, K., Doyen, L., Henzinger, T. A., &; Raskin, J. (2010). Generalized mean-payoff and energy games (Vol. 8, pp. 505–516). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505 

Chatterjee, K., Doyen, L., &; Henzinger, T. A. (2010). Quantitative languages. ACM Transactions on Computational Logic (TOCL). ACM.https://doi.org/10.1145/1805950.1805953 

Chatterjee, K., Henzinger, T. A., Jobstmann, B., &; Singh, R. (2010). Measuring and synthesizing systems in probabilistic environments (Vol. 6174, pp. 380–395). Presented at the CAV: Computer Aided Verification, Edinburgh, United Kingdom: Springer.https://doi.org/10.1007/978-3-642-14295-6_34 

Chatterjee, K., De Alfaro, L., Raman, V., &; Sánchez, C. (2010). Analyzing the impact of change in multi-threaded programs. In D. Rosenblum &; G. Taenzer (Eds.) (Vol. 6013, pp. 293–307). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer.https://doi.org/10.1007/978-3-642-12029-9_21 

Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., &; Henzinger, T. A. (2010). Strategy construction for parity games with imperfect information. Information and Computation. Elsevier.https://doi.org/10.1016/j.ic.2009.09.006 

Chatterjee, K., Henzinger, T. A., &; Piterman, N. (2010). Strategy logic. Information and Computation. Elsevier.https://doi.org/10.1016/j.ic.2009.07.004 

Bendich, P., Edelsbrunner, H., &; Kerber, M. (2010). Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics. IEEE.https://doi.org/10.1109/TVCG.2010.139 

Ugelvig, L. V., 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. Royal Society, The.https://doi.org/10.1098/rspb.2010.0644 

Nourshargh, S., Hordijk, P., &; Sixt, M. K. (2010). Breaching multiple barriers: leukocyte motility through venular walls and the interstitium. Nature Reviews Molecular Cell Biology. Nature Publishing Group.https://doi.org/10.1038/nrm2889 

Papusheva, E., &; Heisenberg, C.-P. J. (2010). Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. EMBO Journal. Wiley-Blackwell.https://doi.org/10.1038/emboj.2010.182 

Kardash, E., Reichman Fried, M., Maître, J., Boldajipour, B., Papusheva, E., Messerschmidt, E.,https://doi.org/10.1038/ncb2003__Raz, E. (2010). A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo. Nature Cell Biology. Nature Publishing Group.https://doi.org/10.1038/ncb2003 

Arboleda Estudillo, Y., Krieg, M., Stuehmer, J., Licata, N., Mueller, D., &; Heisenberg, C.-P. J. (2010). Movement directionality in collective migration of germ layer progenitors. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2009.11.036 

Bergmann, J., &; Danowski, P. (2010). Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In J. Bergmann &; P. Danowski (Eds.), Handbuch Bibliothek 2.0 (pp. 5–20). De Gruyter.https://doi.org/10.1515/9783110232103 

Guinane, C., Ben Zakour, N., Tormo Mas, M., Weinert, L., Lowder, B., Cartwright, R.,https://doi.org/10.1093/gbe/evq031__Fitzgerald, J. R. (2010). Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation. Genome Biology and Evolution. Oxford University Press.https://doi.org/10.1093/gbe/evq031 

Singh, V. (2010). Runtime verification for software transactional memories. In O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner,https://doi.org/10.1007/978-3-642-16612-9_32__G. Pace (Eds.) (Vol. 6418, pp. 421–435). Presented at the RV: International Conference on Runtime Verification, St. Julians, Malta: Springer.https://doi.org/10.1007/978-3-642-16612-9_32 

Kuncak, V., Piskac, R., Suter, P., &; Wies, T. (2010). Building a calculus of data structures. In G. Barthe &; M. Hermenegildo (Eds.) (Vol. 5944, pp. 26–44). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain: Springer.https://doi.org/10.1007/978-3-642-11319-2_6 

Jones, K., Konrad, V., &; Nickovic, D. (2010). Analog property checkers: a DD case study. Formal Methods in System Design. Springer.https://doi.org/10.1007/s10703-009-0085-x 

Henzinger, T. A., Tomar, A., Singh, V., Wies, T., &; Zufferey, D. (2010). FlexPRICE: Flexible provisioning of resources in a cloud environment (pp. 83–90). Presented at the CLOUD: Cloud Computing, Miami, USA: IEEE.https://doi.org/10.1109/CLOUD.2010.71 

Guerraoui, R., Henzinger, T. A., Kapalka, M., &; Singh, V. (2010). Transactions in the jungle (pp. 263–272). Presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece: ACM.https://doi.org/10.1145/1810479.1810529 

Henzinger, T. A., Tomar, A., Singh, V., Wies, T., &; Zufferey, D. (2010). A marketplace for cloud resources (pp. 1–8). Presented at the EMSOFT: Embedded Software , Arizona, USA: ACM.https://doi.org/10.1145/1879021.1879022 

Doyen, L., Henzinger, T. A., Legay, A., &; Nickovic, D. (2010). Robustness of sequential circuits (pp. 77–84). Presented at the ACSD: Application of Concurrency to System Design, IEEE.https://doi.org/10.1109/ACSD.2010.26 

Cerny, P., Henzinger, T. A., &; Radhakrishna, A. (2010). Quantitative Simulation Games. In Z. Manna &; D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli (Vol. 6200, pp. 42–60). Springer.https://doi.org/10.1007/978-3-642-13754-9_3 

Beyer, D., Henzinger, T. A., Théoduloz, G., &; Zufferey, D. (2010). Shape refinement through explicit heap analysis. In D. Rosenblum &; G. Taenzer (Eds.) (Vol. 6013, pp. 263–277). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer.https://doi.org/10.1007/978-3-642-12029-9_19 

Burckhardt, S., Musuvathi, M., &; Singh, V. (2010). Verifying local transformations on relaxed memory models. In R. Gupta (Ed.) (Vol. 6011, pp. 104–123). Presented at the CC: Compiler Construction, Pahos, Cyprus: Springer.https://doi.org/10.1007/978-3-642-11970-5_7 

Chatterjee, K., Doyen, L., &; Henzinger, T. A. (2010). Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.2168/LMCS-6(3:10)2010 

Barton, N. H., Kelleher, J., &; Etheridge, A. (2010). A new model for extinction and recolonization in two dimensions: Quantifying phylogeography. Evolution. Wiley-Blackwell.https://doi.org/10.1111/j.1558-5646.2010.01019.x 

Alur, R., &; Cerny, P. (2010). Expressiveness of streaming string transducers (Vol. 8, pp. 1–12). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1 

Cristau, J., David, C., &; Horn, F. (2010). How do we remember the past in randomised strategies? . In Proceedings of GandALF 2010 (Vol. 25, pp. 30–39). Minori, Amalfi Coast, Italy: Open Publishing Association.https://doi.org/10.4204/EPTCS.25.7 

Hoenicke, J., Leino, K., Podelski, A., Schäf, M., &; Wies, T. (2010). Doomed program points. Formal Methods in System Design. Springer.https://doi.org/10.1007/s10703-010-0102-0 

Cerny, P., Henzinger, T. A., &; Radhakrishna, A. (2010). Simulation distances (Vol. 6269, pp. 235–268). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-642-15375-4_18 

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