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.

3211 Publications

2017 | Journal Article | IST-REx-ID: 743
Gottlob, G., Henzinger, T. A., & Weißenbacher, G. (2017). Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. Springer.
View | DOI

2017 | Journal Article | IST-REx-ID: 744 | OA
Priklopil, T., Chatterjee, K., & Nowak, M. (2017). Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma. Journal of Theoretical Biology. Elsevier.
View | Files available | DOI | PubMed | Europe PMC

2017 | Journal Article | IST-REx-ID: 745 | OA
Xu, D., Warnecke, S., Song, B., Ma, X., & Hof, B. (2017). Transition to turbulence in pulsating pipe flow. Journal of Fluid Mechanics. Cambridge University Press.
View | DOI | Download Submitted Version (ext.)

2017 | Journal Article | IST-REx-ID: 746 | OA
Aloisi, E., Le Corf, K., Dupuis, J., Zhang, P., Ginger, M., Labrousse, V., … Frick, A. (2017). Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice. Nature Communications. Nature Publishing Group.
View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 747 | OA
Brǎiloiu, E., Mcguire, M., Shuler, S., Deliu, E., Barr, J., Abood, M., & Brailoiu, G. (2017). Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus. Neuroscience. Elsevier.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC

Filters and Search Terms



Filter Publications