Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

3165 Publications

2014 | Journal Article | IST-REx-ID: 2164
Chai, Xuejun, Gert Münzner, Shanting Zhao, Stefanie Tinnes, Janina Kowalski, Ute Häussler, Christina Young, Carola Haas, and Michael Frotscher. “Epilepsy-Induced Motility of Differentiated Neurons.” Cerebral Cortex. Oxford University Press, 2014.
View | DOI

2014 | Conference Paper | IST-REx-ID: 2167 | OA
Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic. “Compositional Specifications for IOCO Testing.” In IEEE 7th International Conference on Software Testing, Verification and Validation. IEEE, 2014.
View | Files available | DOI | Download Preprint (ext.) | arXiv

2014 | Journal Article | IST-REx-ID: 2168 | OA
Kelleher, Jerome, Alison Etheridge, and Nicholas H Barton. “Coalescent Simulation in Continuous Space: Algorithms for Large Neighbourhood Size.” Theoretical Population Biology. Academic Press, 2014.
View | Files available | DOI

2014 | Journal Article | IST-REx-ID: 2169 | OA
Barton, Nicholas H, Sebastian Novak, and Tiago Paixao. “Diverse Forms of Selection in Evolution and Computer Science.” PNAS. National Academy of Sciences, 2014.
View | DOI | Download Submitted Version (ext.)

2014 | Journal Article | IST-REx-ID: 2170 | OA
Hearn, Jack, Graham Stone, Lynsey Bunnefeld, James Nicholls, Nicholas H Barton, and Konrad Lohse. “Likelihood-Based Inference of Population History from Low-Coverage de Novo Genome Assemblies.” Molecular Ecology. Wiley-Blackwell, 2014.
View | Files available | DOI

Filters and Search Terms



Filter Publications