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.

6705 Publications

2018 | Journal Article | IST-REx-ID: 5995 | OA
Usmanova, Dinara R., et al. “Self-Consistency Test Reveals Systematic Bias in Programs for Prediction Change of Stability upon Mutation.” Bioinformatics, vol. 34, no. 21, Oxford University Press , 2018, pp. 3653–58, doi:10.1093/bioinformatics/bty340.
View | Files available | DOI | PubMed | Europe PMC

2018 | Journal Article | IST-REx-ID: 5996 | OA
Vasudevan, Mukund, and Björn Hof. “The Critical Point of the Transition to Turbulence in Pipe Flow.” Journal of Fluid Mechanics, vol. 839, Cambridge University Press (CUP), 2018, pp. 76–94, doi:10.1017/jfm.2017.923.
View | DOI | Download Preprint (ext.) | arXiv

2018 | Journal Article | IST-REx-ID: 5998 | OA
Velicky P, Meinhardt G, Plessl K, Vondra S, Weiss T, Haslinger P, Lendl T, Aumayr K, Mairhofer M, Zhu X, Schütz B, Hannibal RL, Lindau R, Weil B, Ernerudh J, Neesen J, Egger G, Mikula M, Röhrl C, Urban AE, Baker J, Knöfler M, Pollheimer J. 2018. Genome amplification and cellular senescence are hallmarks of human placenta development. PLOS Genetics. 14(10), e1007698.
View | Files available | DOI

2018 | Journal Article | IST-REx-ID: 6
Masís, Javier, et al. “A Micro-CT-Based Method for Characterising Lesions and Locating Electrodes in Small Animal Brains.” Journal of Visualized Experiments (JoVE), vol. 141, NLM , 2018, doi:10.3791/58585.
View | DOI

2018 | Book Chapter | IST-REx-ID: 60
Clarke, Edmund, et al. “Introduction to Model Checking.” Handbook of Model Checking, edited by Thomas A Henzinger, Springer, 2018, pp. 1–26, doi:10.1007/978-3-319-10575-8_1.
View | DOI


Filter Publications