M. Weber and M. K. Sixt, “MEK signalling tunes actin treadmilling for interstitial lymphocyte migration,” EMBO Journal, vol. 29, no. 17. Wiley-Blackwell, pp. 2861–2863, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3960
DOI: 10.1038/emboj.2010.183

D. Cohen Steiner, H. Edelsbrunner, J. Harer, and Y. Mileyko, “Lipschitz functions have L_p-stable persistence,” Foundations of Computational Mathematics, vol. 10, no. 2. Springer, pp. 127–139, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3964
DOI: 10.1007/s10208-010-9060-6

J. Riedl et al., “Lifeact mice for studying F-actin dynamics,” Nature Methods, vol. 7, no. 3. Nature Publishing Group, pp. 168–169, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3957
DOI: 10.1038/nmeth0310-168

J. Bridle, J. Polechova, M. Kawata, and R. Butlin, “Why is adaptation prevented at ecological margins? New insights from individual-based simulations,” Ecology Letters, vol. 13, no. 4. Wiley-Blackwell, pp. 485–494, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/4134
DOI: 10.1111/j.1461-0248.2010.01442.x

P. Oteíza et al., “Planar cell polarity signalling regulates cell adhesion properties in progenitors of the zebrafish laterality organ,” Development, vol. 137, no. 20. Company of Biologists, pp. 3459–3468, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/4163
DOI: 10.1242/dev.049981

N. H. Barton, A. Etheridge, and A. Véber, “A new model for evolution in a spatial continuum,” Electronic Journal of Probability, vol. 15, no. 7. Institute of Mathematical Statistics, pp. 162–216, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/4243
DOI: 10.1214/EJP.v15-741

P. Danowski, Open bibliographic data. Elsevier, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/4340

P. Danowski and J. Bergmann, Eds., Handbuch Bibliothek 2.0, vol. 41. De Gruyter, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/4346
DOI: 10.1515/9783110232103

P. Danowski, “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, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/4341

D. Nickovic and N. Piterman, “From MTL to deterministic timed automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria, 2010, vol. 6246, pp. 152–167.
LibreCat: https://research-explorer.ista.ac.at/record/4369
DOI: 10.1007/978-3-642-15297-9_13

A. Podelski and T. Wies, “Counterexample-guided focus,” presented at the POPL: Principles of Programming Languages, 2010, pp. 249–260.
LibreCat: https://research-explorer.ista.ac.at/record/4364
DOI: 10.1145/1707801.1706330

K. Rfeidka et al., “Arabidopsis PI encodes the ABC transporter of auxinic compounds including the auxin precursor indole 3 butyric acid,” PNAS, vol. 107, no. 23. National Academy of Sciences, pp. 10749–10753, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3068
DOI: 10.1073/pnas.1005878107

A. Jelínková et al., “Probing plant membranes with FM dyes: Tracking dragging or blocking?,” Plant Journal, vol. 61, no. 5. Wiley-Blackwell, pp. 883–892, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3067
DOI: 10.1111/j.1365-313X.2009.04102.x

P. dádníková et al., “Role of PIN-mediated auxin efflux in apical hook development of Arabidopsis thaliana,” Development, vol. 137, no. 4. Company of Biologists, pp. 607–617, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3065
DOI: 10.1242/dev.041277

J. Zhang, T. Nodzyski, A. Pbndík, J. Roldík, and J. Friml, “PIN phosphorylation is sufficient to mediate PIN polarity and direct auxin transport,” PNAS, vol. 107, no. 2. National Academy of Sciences, pp. 918–922, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3064
DOI: 10.1073/pnas.0909460107

. angowski, K. Rfeidka, S. Naramoto, J. Kleine Vehn, and J. Friml, “Trafficking to the outer polar domain defines the root soil interface,” Current Biology, vol. 20, no. 10. Cell Press, pp. 904–908, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3066
DOI: 10.1016/j.cub.2010.03.059

T. Nawy, M. Bayer, J. Mravec, J. Friml, K. Birnbaum, and W. Lukowitz, “The GATA factor HANABA TARANU is required to position the proembryo boundary in the early Arabidopsis embryo,” Developmental Cell, vol. 19, no. 1. Cell Press, pp. 103–113, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3070
DOI: 10.1016/j.devcel.2010.06.004

Z. Ding and J. Friml, “Auxin regulates distal stem cell differentiation in Arabidopsis roots,” PNAS, vol. 107, no. 26. National Academy of Sciences, pp. 12046–12051, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3069
DOI: 10.1073/pnas.1000672107

J. Friml, “Subcellular trafficking of PIN auxin efflux carriers in auxin transport,” European Journal of Cell Biology, vol. 89, no. 2–3. Elsevier, pp. 231–235, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3063
DOI: 10.1016/j.ejcb.2009.11.003

S. Naramoto et al., “ADP ribosylation factor machinery mediates endocytosis in plant cells,” PNAS, vol. 107, no. 50. National Academy of Sciences, pp. 21890–21895, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3081
DOI: 10.1073/pnas.1016260107

J. Kleine Vehn, Z. Ding, A. Jones, M. Tasaka, M. Morita, and J. Friml, “Gravity induced PIN transcytosis for polarization of auxin fluxes in gravity sensing root cells,” PNAS, vol. 107, no. 51. National Academy of Sciences, pp. 22344–22349, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3080
DOI: 10.1073/pnas.1013145107

D. E. Siekhaus, M. Haesemeyer, O. Moffitt, and R. Lehmann, “RhoL controls invasion and Ra localization during immune cell transmigration in Drosophila,” Nature Cell Biology, vol. 12, no. 6. Nature Publishing Group, pp. 605–610, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3153

S. Vicente, V. Kolmogorov, and C. Rother, “Cosegmentation revisited: Models and optimization,” presented at the ECCV: European Conference on Computer Vision, 2010, vol. 6312, pp. 465–479.
LibreCat: https://research-explorer.ista.ac.at/record/3201
DOI: 10.1007/978-3-642-15552-9_34

E. Kiltz and K. Z. Pietrzak, “Leakage resilient ElGamal encryption,” presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, 2010, vol. 6477, pp. 595–612.
LibreCat: https://research-explorer.ista.ac.at/record/3237
DOI: 10.1007/978-3-642-17373-8_34

Y. Dodis and K. Z. Pietrzak, “Leakage resilient pseudorandom functions and side channel attacks on feistel networks,” presented at the CRYPTO: International Cryptology Conference, 2010, vol. 6223, pp. 21–40.
LibreCat: https://research-explorer.ista.ac.at/record/3235
DOI: 10.1007/978-3-642-14623-7_2

S. Faust, E. Kiltz, K. Z. Pietrzak, and G. Rothblum, “Leakage resilient signatures,” presented at the TCC: Theory of Cryptography Conference, 2010, vol. 5978, pp. 343–360.
LibreCat: https://research-explorer.ista.ac.at/record/3234
DOI: 10.1007/978-3-642-11799-2_21

J. Håstad, R. Pass, D. Wikström, and K. Z. Pietrzak, “An efficient parallel repetition theorem,” presented at the TCC: Theory of Cryptography Conference, 2010, vol. 5978, pp. 1–18.
LibreCat: https://research-explorer.ista.ac.at/record/3233
DOI: 10.1007/978-3-642-11799-2_1

V. Kolmogorov, “Generalized roof duality and bisubmodular functions,” presented at the Neural Information Processing Systems, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/2934

A. Iyengar, S. Chakraborty Tuhin, S. Goswami, C. Wu, and O. Siddiqi, “Post eclosion odor experience modifies olfactory receptor neuron coding in Drosophila,” PNAS, vol. 107, no. 21. National Academy of Sciences, pp. 9855–60, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3294
DOI: 10.1073/pnas.1003856107

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

S. Evans, B. Sturmfels, and C. Uhler, “Commuting birth and death processes,” The Annals of Applied Probability, vol. 20. Institute of Mathematical Statistics, pp. 238–266, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3306
DOI: 10.1214/09-AAP615

B. Sturmfels and C. Uhler, “Multivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry,” Annals of the Institute of Statistical Mathematics, vol. 62, no. 4. Springer, pp. 603–638, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3308
DOI: 10.1007/s10463-010-0295-4

R. Guerraoui, T. A. Henzinger, and V. Singh, “Model checking transactional memories,” Distributed Computing, vol. 22, no. 3. Springer, pp. 129–145, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3402
DOI: 10.1007/s00446-009-0092-6

B. Pleydell Bouverie and J. L. Csicsvari, “Rate remapping: When the code goes beyond space (preview),” Neuron, vol. 68, no. 6. Elsevier, pp. 1015–1016, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3403
DOI: 10.1016/j.neuron.2010.12.011

G. Tkadik, “Lecture notes for 2010 summer school on Quantitative Evolutionary and Comparative Genomics,” presented at the Summer School on Quantitative Evolutionary and Comparative Genomics, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3430

M. Sabeti Aschraf, C. Gonano, E. Nemecek, L. Cichocki, and C. Schueller Weidekamm, “Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis,” Knee Surgery, Sports Traumatology, Arthroscopy, vol. 18, no. 12. Springer, pp. 1792–1794, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3498
DOI: 10.1007/s00167-010-1227-9

L. Carvalho and C.-P. J. Heisenberg, “Imaging zebrafish embryos by two-photon excitation time-lapse microscopy,” Methods in Molecular Biology, vol. 546, no. Part 5. Springer, pp. 273–287, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3592
DOI: 10.1007/978-1-60327-977-2_17

J. Wanke, A. Ulges, C. Lampert, and T. Breuel, “Topic models for semantic video compression,” presented at the MIR: Multimedia Information Retrieval, 2010, pp. 275–284.
LibreCat: https://research-explorer.ista.ac.at/record/3676
DOI: 10.1145/1743384.1743433

T. Tuytelaars, C. Lampert, M. Blaschko, and W. Buntine, “Unsupervised object discovery: A comparison,” International Journal of Computer Vision, vol. 88, no. 2. Springer, pp. 284–302, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3697
DOI: 10.1007/s11263-009-0271-8

C. Lampert, “An efficient divide-and-conquer cascade for nonlinear object detection,” presented at the CVPR: Computer Vision and Pattern Recognition, 2010, pp. 1022–1029.
LibreCat: https://research-explorer.ista.ac.at/record/3713
DOI: 10.1109/CVPR.2010.5540107

G. Tkadik, “From statistical mechanics to information theory: understanding biophysical information-processing systems,” ArXiv, vol. q-MN. ArXiv, pp. 1–52, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3743

N. Kwatra, C. Wojtan, M. Carlson, I. Essa, P. Mucha, and G. Turk, “Fluid simulation with articulated bodies,” IEEE Transactions on Visualization and Computer Graphics, vol. 16, no. 1. IEEE, pp. 70–80, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3761
DOI: 10.1109/TVCG.2009.66

C. Wojtan, N. Thürey, M. Gross, and G. Turk, “Physics-inspired topology changes for thin fluid features,” ACM Transactions on Graphics, vol. 29, no. 4. ACM, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3759
DOI: 10.1145/1778765.1778787

N. H. Barton, “Genetic linkage and natural selection,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1552. Royal Society, pp. 2559–2569, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3776
DOI: 10.1098/rstb.2010.0106

N. H. Barton, “What role does natural selection play in speciation?,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1547. Royal Society, pp. 1825–1840, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3773
DOI: 10.1098/rstb.2010.0001
PMID: 20439284

N. H. Barton, “Mutation and the evolution of recombination,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1544. Royal Society, pp. 1281–1294, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3777
DOI: 10.1098/rstb.2009.0320
PMID: 20308104

H. Senn, G. Swanson, S. Goodman, N. H. Barton, and J. Pemberton, “Phenotypic correlates of hybridisation between red and sika deer (genus Cervus),” Journal of Animal Ecology, vol. 79, no. 2. Wiley-Blackwell, pp. 414–425, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3774
DOI: 10.1111/j.1365-2656.2009.01633.x
PMID: 20002231

N. H. Barton, “Understanding adaptation in large populations,” PLoS Genetics, vol. 6, no. 6. Public Library of Science, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3772
DOI: 10.1371/journal.pgen.1000987

A. Diz Muñoz et al., “Control of directed cell migration in vivo by membrane-to-cortex attachment,” PLoS Biology, vol. 8, no. 11. Public Library of Science, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3790
DOI: 10.1371/journal.pbio.1000544

S. Nowozin, P. Gehler, and C. Lampert, “On parameter learning in CRF-based approaches to object class image segmentation,” presented at the ECCV: European Conference on Computer Vision, Heraklion, Crete, Greece, 2010, vol. 6316, pp. 98–111.
LibreCat: https://research-explorer.ista.ac.at/record/3793
DOI: 10.1007/978-3-642-15567-3_8

E. Quesada-Hernández et al., “Stereotypical cell division orientation controls neural rod midline formation in zebrafish,” Current Biology, vol. 20, no. 21. Cell Press, pp. 1966–1972, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3789
DOI: 10.1016/j.cub.2010.10.009

F. Palero, S. Hall, P. Clark, D. Johnston, J. Mackenzie Dodds, and S. Thatje, “DNA extraction from formalin-fixed tissue: new light from the deep sea,” Scientia Marina, vol. 74, no. 3. Consejo Superior de Investigaciones Científicas, pp. 465–470, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3787
DOI: 10.3989/scimar.2010.74n3465

A. Klopper, G. Krens, S. Grill, and C.-P. J. Heisenberg, “Finite-size corrections to scaling behavior in sorted cell aggregates,” The European Physical Journal E: Soft Matter and Biological Physics, vol. 33, no. 2. Springer, pp. 99–103, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3788
DOI: 10.1140/epje/i2010-10642-y

F. Palero, G. Guerao, P. Clark, and P. Abello, “Final-stage phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The first complete description,” Zootaxa, vol. 2403, no. 1. Magnolia Press, pp. 42–58, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3786
DOI: 10.11646/zootaxa.2403.1.4

L. Carvalho and C.-P. J. Heisenberg, “The yolk syncytial layer in early, zebrafish development,” Trends in Cell Biology, vol. 20, no. 10. Cell Press, pp. 586–592, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3792
DOI: 10.1016/j.tcb.2010.06.009

V. Wolf, R. Goel, M. Mateescu, and T. A. Henzinger, “Solving the chemical master equation using sliding windows,” BMC Systems Biology, vol. 4, no. 42. BioMed Central, pp. 1–19, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3834
DOI: 10.1186/1752-0509-4-42

T. A. Henzinger, “From boolean to quantitative notions of correctness,” presented at the POPL: Principles of Programming Languages, Madrid, Spain, 2010, vol. 45, no. 1, pp. 157–158.
LibreCat: https://research-explorer.ista.ac.at/record/3840
DOI: 10.1145/1706299.1706319

T. A. Henzinger, T. Hottelier, L. Kovács, and A. Voronkov, “Invariant and type inference for matrices,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 163–179.
LibreCat: https://research-explorer.ista.ac.at/record/3839
DOI: 10.1007/978-3-642-11319-2_14

T. A. Henzinger, M. Mateescu, L. Mikeev, and V. Wolf, “Hybrid numerical solution of the chemical master equation,” presented at the CMSB: Computational Methods in Systems Biology, Trento, Italy, 2010, pp. 55–65.
LibreCat: https://research-explorer.ista.ac.at/record/3838
DOI: 10.1145/1839764.1839772

K. Chatterjee, L. Doyen, H. Edelsbrunner, T. A. Henzinger, and P. Rannou, “Mean-payoff automaton expressions,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 269–283.
LibreCat: https://research-explorer.ista.ac.at/record/3853
DOI: 10.1007/978-3-642-15375-4_19

P. Bendich, H. Edelsbrunner, M. Kerber, and A. Patel, “Persistent homology under non-uniform error,” presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic, 2010, vol. 6281, pp. 12–23.
LibreCat: https://research-explorer.ista.ac.at/record/3849
DOI: 10.1007/978-3-642-15155-2_2

K. Chatterjee, F. Horn, and C. Löding, “Obliging games,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 284–296.
LibreCat: https://research-explorer.ista.ac.at/record/3854
DOI: 10.1007/978-3-642-15375-4_20

K. Chatterjee and L. Doyen, “Energy parity games,” presented at the  ICALP: Automata, Languages and Programming, 37th International Colloquium, Bordeaux, France, 2010, vol. 6199, pp. 599–610.
LibreCat: https://research-explorer.ista.ac.at/record/3851
DOI: 10.1007/978-3-642-14162-1_50
arXiv: 1001.5183

Z. Alpichshev et al., “STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects,” Physical Review Letters, vol. 104, no. 1. American Physical Society, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/385
DOI: 10.1103/PhysRevLett.104.016401

E. Berberich, D. Halperin, M. Kerber, and R. Pogalnikova, “Polygonal reconstruction from approximate offsets,” presented at the EuroCG: European Workshop on Computational Geometry, Dortmund, Germany, 2010, pp. 12–23.
LibreCat: https://research-explorer.ista.ac.at/record/3850

K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, “Generalized mean-payoff and energy games,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India, 2010, vol. 8, pp. 505–516.
LibreCat: https://research-explorer.ista.ac.at/record/3860
DOI: 10.4230/LIPIcs.FSTTCS.2010.505

K. Chatterjee, L. Doyen, and T. A. Henzinger, “Quantitative languages,” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 4. ACM, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3862
DOI: 10.1145/1805950.1805953

K. Chatterjee, T. A. Henzinger, B. Jobstmann, and R. Singh, “Measuring and synthesizing systems in probabilistic environments,” presented at the CAV: Computer Aided Verification, Edinburgh, United Kingdom, 2010, vol. 6174, pp. 380–395.
LibreCat: https://research-explorer.ista.ac.at/record/3864
DOI: 10.1007/978-3-642-14295-6_34

K. Chatterjee, L. De Alfaro, V. Raman, and C. Sánchez, “Analyzing the impact of change in multi-threaded programs,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 293–307.
LibreCat: https://research-explorer.ista.ac.at/record/3865
DOI: 10.1007/978-3-642-12029-9_21

D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Strategy construction for parity games with imperfect information,” Information and Computation, vol. 208, no. 10. Elsevier, pp. 1206–1220, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3863
DOI: 10.1016/j.ic.2009.09.006

K. Chatterjee, T. A. Henzinger, and N. Piterman, “Strategy logic,” Information and Computation, vol. 208, no. 6. Elsevier, pp. 677–693, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3861
DOI: 10.1016/j.ic.2009.07.004

P. Bendich, H. Edelsbrunner, and M. Kerber, “Computing robustness and persistence for images,” IEEE Transactions of Visualization and Computer Graphics, vol. 16, no. 6. IEEE, pp. 1251–1260, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3901
DOI: 10.1109/TVCG.2010.139

L. V. Ugelvig, D. Kronauer, A. Schrempf, J. Heinze, and S. Cremer, “Rapid anti-pathogen response in ant societies relies on high genetic diversity,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 277, no. 1695. Royal Society, The, pp. 2821–2828, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3904
DOI: 10.1098/rspb.2010.0644

S. Nourshargh, P. Hordijk, and M. K. Sixt, “Breaching multiple barriers: leukocyte motility through venular walls and the interstitium,” Nature Reviews Molecular Cell Biology, vol. 11, no. 5. Nature Publishing Group, pp. 366–378, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3956
DOI: 10.1038/nrm2889

E. Papusheva and C.-P. J. Heisenberg, “Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis,” EMBO Journal, vol. 29, no. 16. Wiley-Blackwell, pp. 2753–2768, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/4157
DOI: 10.1038/emboj.2010.182
PMID: 20717145

E. Kardash et al., “A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo,” Nature Cell Biology, vol. 12, no. 1. Nature Publishing Group, pp. 47–53, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/4187
DOI: 10.1038/ncb2003

Y. Arboleda Estudillo, M. Krieg, J. Stuehmer, N. Licata, D. Mueller, and C.-P. J. Heisenberg, “Movement directionality in collective migration of germ layer progenitors,” Current Biology, vol. 20, no. 2. Cell Press, pp. 161–169, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/4221
DOI: 10.1016/j.cub.2009.11.036

J. Bergmann and P. Danowski, “Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch,” in Handbuch Bibliothek 2.0, J. Bergmann and P. Danowski, Eds. De Gruyter, 2010, pp. 5–20.
LibreCat: https://research-explorer.ista.ac.at/record/4339
DOI: 10.1515/9783110232103

C. Guinane et al., “Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation,” Genome Biology and Evolution, vol. 2. Oxford University Press, pp. 454–466, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/4358
DOI: 10.1093/gbe/evq031

V. Singh, “Runtime verification for software transactional memories,” presented at the RV: International Conference on Runtime Verification, St. Julians, Malta, 2010, vol. 6418, pp. 421–435.
LibreCat: https://research-explorer.ista.ac.at/record/4362
DOI: 10.1007/978-3-642-16612-9_32

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.
LibreCat: https://research-explorer.ista.ac.at/record/4378
DOI: 10.1007/978-3-642-11319-2_6

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.
LibreCat: https://research-explorer.ista.ac.at/record/4379
DOI: 10.1007/s10703-009-0085-x

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.
LibreCat: https://research-explorer.ista.ac.at/record/4381
DOI: 10.1109/CLOUD.2010.71

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

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

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.
LibreCat: https://research-explorer.ista.ac.at/record/4389
DOI: 10.1109/ACSD.2010.26

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.
LibreCat: https://research-explorer.ista.ac.at/record/4392
DOI: 10.1007/978-3-642-13754-9_3

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.
LibreCat: https://research-explorer.ista.ac.at/record/4396
DOI: 10.1007/978-3-642-12029-9_19

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.
LibreCat: https://research-explorer.ista.ac.at/record/4395
DOI: 10.1007/978-3-642-11970-5_7

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.
LibreCat: https://research-explorer.ista.ac.at/record/3867
DOI: 10.2168/LMCS-6(3:10)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.
LibreCat: https://research-explorer.ista.ac.at/record/474
DOI: 10.1111/j.1558-5646.2010.01019.x

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.
LibreCat: https://research-explorer.ista.ac.at/record/488
DOI: 10.4230/LIPIcs.FSTTCS.2010.1

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.
LibreCat: https://research-explorer.ista.ac.at/record/489
DOI: 10.4204/EPTCS.25.7

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.
LibreCat: https://research-explorer.ista.ac.at/record/533
DOI: 10.1007/s10703-010-0102-0

P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 235–268.
LibreCat: https://research-explorer.ista.ac.at/record/4393
DOI: 10.1007/978-3-642-15375-4_18

K. Chatterjee, P. Cerny, T. A. Henzinger, A. Radhakrishna, and R. Singh, Quantitative synthesis for concurrent programs. IST Austria, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/5388
DOI: 10.15479/AT:IST-2010-0004

P. Cerny, T. A. Henzinger, and A. Radhakrishna, Simulation distances. IST Austria, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/5389
DOI: 10.15479/AT:IST-2010-0003

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.
LibreCat: https://research-explorer.ista.ac.at/record/4390
DOI: 10.1007/978-3-642-14295-6_41

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.
LibreCat: https://research-explorer.ista.ac.at/record/4388
DOI: 10.1007/978-3-642-14295-6_57
arXiv: 1004.2367

P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, Model checking of linearizability of concurrent list implementations. IST Austria, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/5391
DOI: 10.15479/AT:IST-2010-0001