Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T. A., &; Jobstmann, B. (2010). Robustness in the presence of liveness. In T. Touili, B. Cook, &; P. Jackson (Eds.) (Vol. 6174, pp. 410–424). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer.https://doi.org/10.1007/978-3-642-14295-6_36 
LibreCat: https://research-explorer.ista.ac.at/record/3866
DOI: 10.1007/978-3-642-14295-6_36

Chatterjee, K., De Alfaro, L., Majumdar, R., &; Raman, V. (2010). Algorithms for game metrics. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.2168/LMCS-6(3:13)2010 
LibreCat: https://research-explorer.ista.ac.at/record/3868
DOI: 10.2168/LMCS-6(3:13)2010

Edelsbrunner, H., &; Harer, J. (2010). Computational Topology: An Introduction (Vol. 69). American Mathematical Society.https://doi.org/10.1090/mbk/069 
LibreCat: https://research-explorer.ista.ac.at/record/3899
DOI: 10.1090/mbk/069

Streinzer, M., Ellis, T., Paulus, H., &; Spaethe, J. (2010). Visual discrimination between two sexually deceptive Ophrys species by a bee pollinator. Arthropod-Plant Interactions. Springer.https://doi.org/10.1007/s11829-010-9093-4 
LibreCat: https://research-explorer.ista.ac.at/record/3963
DOI: 10.1007/s11829-010-9093-4

Schumann, K., Lämmermann, T., Bruckner, M., Legler, D., Polleux, J., Spatz, J.,https://doi.org/10.1016/j.immuni.2010.04.017__Sixt, M. K. (2010). Immobilized chemokine fields and soluble chemokine gradients cooperatively shape migration patterns of dendritic cells. Immunity. Cell Press.https://doi.org/10.1016/j.immuni.2010.04.017 
LibreCat: https://research-explorer.ista.ac.at/record/3959
DOI: 10.1016/j.immuni.2010.04.017

Mohan, H., Krumbholz, M., Sharma, R., Eisele, S., Junker, A., Sixt, M. K.,https://doi.org/10.1111/j.1750-3639.2010.00399.x__Meinl, E. (2010). Extracellular matrix in multiple sclerosis lesions: fibrillar collagens, biglycan and decorin are upregulated and associated with infiltrating immune cells. Brain Pathology. Wiley-Blackwell.https://doi.org/10.1111/j.1750-3639.2010.00399.x 
LibreCat: https://research-explorer.ista.ac.at/record/3958
DOI: 10.1111/j.1750-3639.2010.00399.x

Renkawitz, J., &; Sixt, M. K. (2010). Mechanisms of force generation and force transmission during interstitial leukocyte migration. EMBO Reports. Wiley-Blackwell.https://doi.org/10.1038/embor.2010.147 
LibreCat: https://research-explorer.ista.ac.at/record/3961
DOI: 10.1038/embor.2010.147

Weber, M., &; Sixt, M. K. (2010). MEK signalling tunes actin treadmilling for interstitial lymphocyte migration. EMBO Journal. Wiley-Blackwell.https://doi.org/10.1038/emboj.2010.183 
LibreCat: https://research-explorer.ista.ac.at/record/3960
DOI: 10.1038/emboj.2010.183

Cohen Steiner, D., Edelsbrunner, H., Harer, J., &; Mileyko, Y. (2010). Lipschitz functions have L_p-stable persistence. Foundations of Computational Mathematics. Springer.https://doi.org/10.1007/s10208-010-9060-6 
LibreCat: https://research-explorer.ista.ac.at/record/3964
DOI: 10.1007/s10208-010-9060-6

Riedl, J., Flynn, K., Raducanu, A., Gärtner, F. R., Beck, G., Bosl, M.,https://doi.org/10.1038/nmeth0310-168__Wedlich Söldner, R. (2010). Lifeact mice for studying F-actin dynamics. Nature Methods. Nature Publishing Group.https://doi.org/10.1038/nmeth0310-168 
LibreCat: https://research-explorer.ista.ac.at/record/3957
DOI: 10.1038/nmeth0310-168

Bridle, J., Polechova, J., Kawata, M., &; Butlin, R. (2010). Why is adaptation prevented at ecological margins? New insights from individual-based simulations. Ecology Letters. Wiley-Blackwell.https://doi.org/10.1111/j.1461-0248.2010.01442.x 
LibreCat: https://research-explorer.ista.ac.at/record/4134
DOI: 10.1111/j.1461-0248.2010.01442.x

Oteíza, P., Koeppen, M., Krieg, M., Pulgar, E., Farias, C., Melo, C.,https://doi.org/10.1242/dev.049981__Concha, M. (2010). Planar cell polarity signalling regulates cell adhesion properties in progenitors of the zebrafish laterality organ. Development. Company of Biologists.https://doi.org/10.1242/dev.049981 
LibreCat: https://research-explorer.ista.ac.at/record/4163
DOI: 10.1242/dev.049981

Barton, N. H., Etheridge, A., &; Véber, A. (2010). A new model for evolution in a spatial continuum. Electronic Journal of Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/EJP.v15-741 
LibreCat: https://research-explorer.ista.ac.at/record/4243
DOI: 10.1214/EJP.v15-741

Danowski, P. (2010). Open bibliographic data. European Library Automation Group (ELAG) 2010. Elsevier.
LibreCat: https://research-explorer.ista.ac.at/record/4340

Danowski, P., &; Bergmann, J. (Eds.). (2010). Handbuch Bibliothek 2.0 (Vol. 41). De Gruyter.https://doi.org/10.1515/9783110232103 
LibreCat: https://research-explorer.ista.ac.at/record/4346
DOI: 10.1515/9783110232103

Danowski, P. (2010). Step one: blow up the silo! - Open bibliographic data, the first step towards Linked Open Data. Presented at the WLIC: World Library and Information Congress, IFLA.
LibreCat: https://research-explorer.ista.ac.at/record/4341

Nickovic, D., &; Piterman, N. (2010). From MTL to deterministic timed automata. In T. A. Henzinger &; K. Chatterjee (Eds.) (Vol. 6246, pp. 152–167). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria: Springer.https://doi.org/10.1007/978-3-642-15297-9_13 
LibreCat: https://research-explorer.ista.ac.at/record/4369
DOI: 10.1007/978-3-642-15297-9_13

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 
LibreCat: https://research-explorer.ista.ac.at/record/4364
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3068
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3067
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3065
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3064
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3066
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3070
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3069
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3063
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3081
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3080
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/3153

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 
LibreCat: https://research-explorer.ista.ac.at/record/3201
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3237
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3235
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3234
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3233
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/2934

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 
LibreCat: https://research-explorer.ista.ac.at/record/3294
DOI: 10.1073/pnas.1003856107

Wojtan, C. (2010). Animating physical phenomena with embedded surface meshes. Georgia Institute of Technology.
LibreCat: https://research-explorer.ista.ac.at/record/3296

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 
LibreCat: https://research-explorer.ista.ac.at/record/3306
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3308
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3402
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3403
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/3430

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 
LibreCat: https://research-explorer.ista.ac.at/record/3498
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3592
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3676
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3697
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3713
DOI: 10.1109/CVPR.2010.5540107

Tkadik, G. (2010). From statistical mechanics to information theory: understanding biophysical information-processing systems. ArXiv. ArXiv.
LibreCat: https://research-explorer.ista.ac.at/record/3743

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 
LibreCat: https://research-explorer.ista.ac.at/record/3761
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3759
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3776
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3773
DOI: 10.1098/rstb.2010.0001
PMID: 20439284

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 
LibreCat: https://research-explorer.ista.ac.at/record/3777
DOI: 10.1098/rstb.2009.0320
PMID: 20308104

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 
LibreCat: https://research-explorer.ista.ac.at/record/3774
DOI: 10.1111/j.1365-2656.2009.01633.x
PMID: 20002231

Barton, N. H. (2010). Understanding adaptation in large populations. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1000987 
LibreCat: https://research-explorer.ista.ac.at/record/3772
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3790
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3793
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3789
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3787
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3788
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3786
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3792
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3834
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3840
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3839
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3838
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3853
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3849
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3854
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3851
DOI: 10.1007/978-3-642-14162-1_50
arXiv: 1001.5183

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 
LibreCat: https://research-explorer.ista.ac.at/record/385
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/3850

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 
LibreCat: https://research-explorer.ista.ac.at/record/3860
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3862
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3864
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3865
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3863
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3861
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3901
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3904
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3956
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4157
DOI: 10.1038/emboj.2010.182
PMID: 20717145

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 
LibreCat: https://research-explorer.ista.ac.at/record/4187
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4221
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4339
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4358
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4362
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4378
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4379
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4381
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4382
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4380
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4389
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4392
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4396
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4395
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3867
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/474
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/488
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/489
DOI: 10.4204/EPTCS.25.7