Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2010 | Thesis | IST-REx-ID: 3962
H. Pflicke, Dendritic cell migration across basement membranes in the skin. IST Austria, 2010.View
2010 | Conference Paper | IST-REx-ID: 4388
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.View | Files available | DOI | Download (ext.) | arXiv
2010 | Conference Paper | IST-REx-ID: 4390
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.View | Files available | DOI
2010 | Journal Article | IST-REx-ID: 3773
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, pp. 1825–1840, 2010.View | DOI | Download (ext.) | PubMed | Europe PMC