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, Georg, Thomas A Henzinger, and Georg Weißenbacher. “Preface of the Special Issue in Memoriam Helmut Veith.” Formal Methods in System Design. Springer, 2017.
View | DOI

2017 | Journal Article | IST-REx-ID: 744 | OA
Priklopil, Tadeas, Krishnendu Chatterjee, and Martin Nowak. “Optional Interactions and Suspicious Behaviour Facilitates Trustful Cooperation in Prisoners Dilemma.” Journal of Theoretical Biology. Elsevier, 2017.
View | Files available | DOI | PubMed | Europe PMC

2017 | Journal Article | IST-REx-ID: 745 | OA
Xu, Duo, Sascha Warnecke, Baofang Song, Xingyu Ma, and Björn Hof. “Transition to Turbulence in Pulsating Pipe Flow.” Journal of Fluid Mechanics. Cambridge University Press, 2017.
View | DOI | Download Submitted Version (ext.)

2017 | Journal Article | IST-REx-ID: 746 | OA
Aloisi, Elisabetta, Katy Le Corf, Julien Dupuis, Pei Zhang, Melanie Ginger, Virginie Labrousse, Michela Spatuzza, et al. “Altered Surface MGluR5 Dynamics Provoke Synaptic NMDAR Dysfunction and Cognitive Defects in Fmr1 Knockout Mice.” Nature Communications. Nature Publishing Group, 2017.
View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 747 | OA
Brǎiloiu, Eugen, Matthew Mcguire, Shadaria Shuler, Elena Deliu, Jeffrey Barr, Mary Abood, and Gabriela Brailoiu. “Modulation of Cardiac Vagal Tone by Bradykinin Acting on Nucleus Ambiguus.” Neuroscience. Elsevier, 2017.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC

Filters and Search Terms



Filter Publications