Alpichshev Z, Analytis J, Chu J, et al. STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects. Physical Review Letters. 2010;104(1). doi: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. Polygonal reconstruction from approximate offsets. In: TU Dortmund; 2010:12-23.
LibreCat: https://research-explorer.ista.ac.at/record/3850

Chatterjee K, Doyen L, Henzinger TA, Raskin J. Generalized mean-payoff and energy games. In: Vol 8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:505-516. doi: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 TA. Quantitative languages. ACM Transactions on Computational Logic (TOCL). 2010;11(4). doi:10.1145/1805950.1805953
LibreCat: https://research-explorer.ista.ac.at/record/3862
DOI: 10.1145/1805950.1805953

Chatterjee K, Henzinger TA, Jobstmann B, Singh R. Measuring and synthesizing systems in probabilistic environments. In: Vol 6174. Springer; 2010:380-395. doi: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. Analyzing the impact of change in multi-threaded programs. In: Rosenblum D, Taenzer G, eds. Vol 6013. Springer; 2010:293-307. doi: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 TA. Strategy construction for parity games with imperfect information. Information and Computation. 2010;208(10):1206-1220. doi: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 TA, Piterman N. Strategy logic. Information and Computation. 2010;208(6):677-693. doi: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. Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics. 2010;16(6):1251-1260. doi:10.1109/TVCG.2010.139
LibreCat: https://research-explorer.ista.ac.at/record/3901
DOI: 10.1109/TVCG.2010.139

Ugelvig LV, Kronauer D, Schrempf A, Heinze J, Cremer S. Rapid anti-pathogen response in ant societies relies on high genetic diversity. Proceedings of the Royal Society of London Series B Biological Sciences. 2010;277(1695):2821-2828. doi: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 MK. Breaching multiple barriers: leukocyte motility through venular walls and the interstitium. Nature Reviews Molecular Cell Biology. 2010;11(5):366-378. doi:10.1038/nrm2889
LibreCat: https://research-explorer.ista.ac.at/record/3956
DOI: 10.1038/nrm2889

Papusheva E, Heisenberg C-PJ. Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. EMBO Journal. 2010;29(16):2753-2768. doi: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, et al. A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo. Nature Cell Biology. 2010;12(1):47-53. doi: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-PJ. Movement directionality in collective migration of germ layer progenitors. Current Biology. 2010;20(2):161-169. doi: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. Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In: Bergmann J, Danowski P, eds. Handbuch Bibliothek 2.0. Bibliotheks- und Informationspraxis 41. De Gruyter; 2010:5-20. doi:10.1515/9783110232103
LibreCat: https://research-explorer.ista.ac.at/record/4339
DOI: 10.1515/9783110232103

Guinane C, Ben Zakour N, Tormo Mas M, et al. Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation. Genome Biology and Evolution. 2010;2:454-466. doi:10.1093/gbe/evq031
LibreCat: https://research-explorer.ista.ac.at/record/4358
DOI: 10.1093/gbe/evq031

Singh V. Runtime verification for software transactional memories. In: Sokolsky O, Rosu G, Tilmann N, et al., eds. Vol 6418. Springer; 2010:421-435. doi: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. Building a calculus of data structures. In: Barthe G, Hermenegildo M, eds. Vol 5944. Springer; 2010:26-44. doi: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. Analog property checkers: a DD case study. Formal Methods in System Design. 2010;36(2):114-130. doi:10.1007/s10703-009-0085-x
LibreCat: https://research-explorer.ista.ac.at/record/4379
DOI: 10.1007/s10703-009-0085-x

Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. FlexPRICE: Flexible provisioning of resources in a cloud environment. In: IEEE; 2010:83-90. doi:10.1109/CLOUD.2010.71
LibreCat: https://research-explorer.ista.ac.at/record/4381
DOI: 10.1109/CLOUD.2010.71