Please note that ISTA 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.
10763 Publications
2017 | Published | Journal Article | IST-REx-ID: 737
Virk Z, Zastrow A. A new topology on the universal path space. Topology and its Applications. 2017;231:186-196. doi:10.1016/j.topol.2017.09.015
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 743
Gottlob G, Henzinger TA, Weißenbacher G. Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. 2017;51(2):267-269. doi:10.1007/s10703-017-0307-6
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 747 |

Brǎiloiu E, Mcguire M, Shuler S, et al. Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus. Neuroscience. 2017;365:23-32. doi:10.1016/j.neuroscience.2017.09.034
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2017 | Published | Book Chapter | IST-REx-ID: 748
Wenzl B. “...beyond the invisible barrier at Portage and Main”: Liminality in John Marlyn’s Under the Ribs of Death. In: Brandt S, ed. In-Between - Liminal Spaces in Canadian Literature and Culture. Peter Lang GmbH; 2017:91-100. doi:10.3726/b11899
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 750
Pielorz J, Prandtstetter M, Straub M, Lampert C. Optimal geospatial volunteer allocation needs realistic distances. In: 2017 IEEE International Conference on Big Data. IEEE; 2017:3760-3763. doi:10.1109/BigData.2017.8258375
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 751 |

Matsubayashi Y, Louani A, Dragu A, et al. A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. 2017;27(22):3526-3534e.4. doi:10.1016/j.cub.2017.10.001
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 7725
Reger J, Lind MI, Robinson MR, Beckerman AP. Predation drives local adaptation of phenotypic plasticity. Nature Ecology & Evolution. 2017;2:100-107. doi:10.1038/s41559-017-0373-6
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 7727
Burger D, Thomas S, Aepli H, et al. Major histocompatibility complex-linked social signalling affects female fertility. Proceedings of the Royal Society B: Biological Sciences. 2017;284(1868). doi:10.1098/rspb.2017.1824
View
| DOI
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 7728
Tropf FC, Lee SH, Verweij RM, et al. Hidden heritability due to heterogeneity across seven populations. Nature Human Behaviour. 2017;1(10):757-765. doi:10.1038/s41562-017-0195-1
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 7729
Yengo L, Zhu Z, Wray NR, et al. Detection and quantification of inbreeding depression for complex traits from SNP data. Proceedings of the National Academy of Sciences. 2017;114(32):8602-8607. doi:10.1073/pnas.1621096114
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 7731
Lloyd-Jones LR, Robinson MR, Moser G, et al. Inference on the genetic basis of eye and skin color in an admixed population via Bayesian linear mixed models. Genetics. 2017;206(2):1113-1126. doi:10.1534/genetics.116.193383
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 7733 |

Garton FC, Benyamin B, Zhao Q, Liu Z, Gratten J, Henders AK, Zhang Z-H, Edson J, Furlong S, Morgan S, Heggie S, Thorpe K, Pfluger C, Mather KA, Sachdev PS, McRae AF, Robinson MR, Shah S, Visscher PM, Mangelsdorf M, Henderson RD, Wray NR, McCombe PA. 2017. Whole exome sequencing and DNA methylation analysis in a clinical amyotrophic lateral sclerosis cohort. Molecular Genetics & Genomic Medicine. 5(4), 418–428.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 7755 |

Sethna JP, Bierbaum MK, Dahmen KA, et al. Deformation of crystals: Connections with statistical physics. Annual Review of Materials Research. 2017;47:217-246. doi:10.1146/annurev-matsci-070115-032036
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 7756
Baity-Jesi M, Goodrich CP, Liu AJ, Nagel SR, Sethna JP. Emergent SO(3) symmetry of the frictionless shear jamming transition. Journal of Statistical Physics. 2017;167(3-4):735-748. doi:10.1007/s10955-016-1703-9
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 7757
Rocks JW, Pashine N, Bischofberger I, Goodrich CP, Liu AJ, Nagel SR. Designing allostery-inspired response in mechanical networks. Proceedings of the National Academy of Sciences. 2017;114(10):2520-2525. doi:10.1073/pnas.1612139114
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 7758
Goodrich CP, Brenner MP. Using active colloids as machines to weave and braid on the micrometer scale. Proceedings of the National Academy of Sciences. 2017;114(2):257-262. doi:10.1073/pnas.1608838114
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 787 |

Alistarh D-A, Aspnes J, Eisenstat D, Rivest R, Gelashvili R. Time-space trade-offs in population protocols. In: SIAM; 2017:2560-2579. doi:doi.org/10.1137/1.9781611974782.169
View
| DOI
| Download None (ext.)
2017 | Published | Conference Paper | IST-REx-ID: 788 |

Alistarh D-A, Dudek B, Kosowski A, Soloveichik D, Uznański P. Robust detection in leak-prone population protocols. In: Vol 10467 LNCS. Springer; 2017:155-171. doi:10.1007/978-3-319-66799-7_11
View
| DOI
| Download None (ext.)
| arXiv
2017 | Published | Conference Paper | IST-REx-ID: 789
Alistarh D-A, Leiserson W, Matveev A, Shavit N. Forkscan: Conservative memory reclamation for modern operating systems. In: ACM; 2017:483-498. doi:10.1145/3064176.3064214
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 790
Kara K, Alistarh D-A, Alonso G, Mutlu O, Zhang C. FPGA-accelerated dense linear machine learning: A precision-convergence trade-off. In: IEEE; 2017:160-167. doi:10.1109/FCCM.2017.39
View
| DOI