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.
4164 Publications
2017 | Journal Article | IST-REx-ID: 743
Gottlob, Georg, et al. “Preface of the Special Issue in Memoriam Helmut Veith.” Formal Methods in System Design, vol. 51, no. 2, Springer, 2017, pp. 267–69, doi:10.1007/s10703-017-0307-6.
View
| DOI
2017 | Journal Article | IST-REx-ID: 744 | 
Priklopil, Tadeas, et al. “Optional Interactions and Suspicious Behaviour Facilitates Trustful Cooperation in Prisoners Dilemma.” Journal of Theoretical Biology, vol. 433, Elsevier, 2017, pp. 64–72, doi:10.1016/j.jtbi.2017.08.025.
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 745 |
Xu, Duo, et al. “Transition to Turbulence in Pulsating Pipe Flow.” Journal of Fluid Mechanics, vol. 831, Cambridge University Press, 2017, pp. 418–32, doi:10.1017/jfm.2017.620.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 746 |
Aloisi, Elisabetta, et al. “Altered Surface MGluR5 Dynamics Provoke Synaptic NMDAR Dysfunction and Cognitive Defects in Fmr1 Knockout Mice.” Nature Communications, vol. 8, no. 1, 1103, Nature Publishing Group, 2017, doi:10.1038/s41467-017-01191-2.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 747 |
Brǎiloiu, Eugen, et al. “Modulation of Cardiac Vagal Tone by Bradykinin Acting on Nucleus Ambiguus.” Neuroscience, vol. 365, Elsevier, 2017, pp. 23–32, doi:10.1016/j.neuroscience.2017.09.034.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 749 |
Chen, Chong, et al. “Triple Function of Synaptotagmin 7 Ensures Efficiency of High-Frequency Transmission at Central GABAergic Synapses.” Cell Reports, vol. 21, no. 8, Cell Press, 2017, pp. 2082–89, doi:10.1016/j.celrep.2017.10.122.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 750
Pielorz, Jasmin, et al. “Optimal Geospatial Volunteer Allocation Needs Realistic Distances.” 2017 IEEE International Conference on Big Data, IEEE, 2017, pp. 3760–63, doi:10.1109/BigData.2017.8258375.
View
| DOI
2017 | Journal Article | IST-REx-ID: 751 |
Matsubayashi, Yutaka, et al. “A Moving Source of Matrix Components Is Essential for De Novo Basement Membrane Formation.” Current Biology, vol. 27, no. 22, Cell Press, 2017, p. 3526–3534e.4, doi:10.1016/j.cub.2017.10.001.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1063 |
Uecker, Hildegard. “Evolutionary Rescue in Randomly Mating, Selfing, and Clonal Populations.” Evolution, vol. 71, no. 4, Wiley-Blackwell, 2017, pp. 845–58, doi:10.1111/evo.13191.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1065 |
Chatterjee, Krishnendu, and Georg F. Osang. “Pushdown Reachability with Constant Treewidth.” Information Processing Letters, vol. 122, Elsevier, 2017, pp. 25–29, doi:10.1016/j.ipl.2017.02.003.
View
| Files available
| DOI