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.

8915 Publications


2018 | Published | Book Chapter | IST-REx-ID: 59
R. Bloem, K. Chatterjee, and B. Jobstmann, “Graph games and reactive synthesis,” in Handbook of Model Checking, 1st ed., T. A. Henzinger, E. M. Clarke, H. Veith, and R. Bloem, Eds. Springer, 2018, pp. 921–962.
View | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 5914 | OA
D. K. Rangel Guerrero, J. G. Donnett, J. L. Csicsvari, and K. Kovács, “Tetrode recording from the hippocampus of behaving mice coupled with four-point-irradiation closed-loop optogenetics: A technique to study the contribution of Hippocampal SWR events to learning,” eNeuro, vol. 5, no. 4. Society of Neuroscience, 2018.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 5959 | OA
A. Bakhirkin, T. Ferrere, T. A. Henzinger, and D. Nickovicl, “Keynote: The first-order logic of signals,” in 2018 International Conference on Embedded Software, Turin, Italy, 2018, pp. 1–10.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 5960 | OA
S. Rohou, P. Franek, C. Aubry, and L. Jaulin, “Proving the existence of loops in robot trajectories,” The International Journal of Robotics Research, vol. 37, no. 12. SAGE Publications, pp. 1500–1516, 2018.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 5961
D.-A. Alistarh, “A brief tutorial on distributed and concurrent machine learning,” in Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18, Egham, United Kingdom, 2018, pp. 487–488.
View | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 5962 | OA
D.-A. Alistarh, C. De Sa, and N. H. Konstantinov, “The convergence of stochastic gradient descent in asynchronous shared memory,” in Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18, Egham, United Kingdom, 2018, pp. 169–178.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 5963 | OA
D.-A. Alistarh, T. A. Brown, J. Kopinsky, and G. Nadiradze, “Relaxed schedulers can efficiently parallelize iterative algorithms,” in Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18, Egham, United Kingdom, 2018, pp. 377–386.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 5964 | OA
V. Aksenov, D.-A. Alistarh, and P. Kuznetsov, “Brief Announcement: Performance prediction for coarse-grained locking,” in Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18, Egham, United Kingdom, 2018, pp. 411–413.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 76 | OA
C. Lenzen and J. Rybicki, “Near-optimal self-stabilising counting and firing squads,” Distributed Computing. Springer, 2018.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 7698
L. B. Sweeney et al., “Origin and segmental diversity of spinal inhibitory interneurons,” Neuron, vol. 97, no. 2. Elsevier, p. 341–355.e3, 2018.
View | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 77 | OA
H. Watzinger et al., “A germanium hole spin qubit,” Nature Communications, vol. 9, no. 3902. Nature Publishing Group, 2018.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 7712 | OA
C. X. Yap et al., “Dissection of genetic variation and evidence for pleiotropy in male pattern baldness,” Nature Communications, vol. 9. Springer Nature, 2018.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 7713 | OA
J. Guo et al., “Global genetic differentiation of complex traits shaped by natural selection in humans,” Nature Communications, vol. 9. Springer Nature, 2018.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 7714 | OA
Z. Zhu et al., “Causal associations between risk factors and common diseases inferred from GWAS summary data,” Nature Communications, vol. 9. Springer Nature, 2018.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 7715
L. Yengo et al., “Imprint of assortative mating on the human genome,” Nature Human Behaviour, vol. 2, no. 12. Springer Nature, pp. 948–954, 2018.
View | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 7716 | OA
R. M. Maier et al., “Improving genetic prediction by leveraging genetic correlations among human diseases and traits,” Nature Communications, vol. 9. Springer Nature, 2018.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 7717 | OA
Q. Zhang et al., “Genotype effects contribute to variation in longitudinal methylome patterns in older people,” Genome Medicine, vol. 10, no. 1. Springer Nature, 2018.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 7718
S. Tucci et al., “Evolutionary history and adaptation of a human pygmy population of Flores Island, Indonesia,” Science, vol. 361, no. 6401. American Association for the Advancement of Science, pp. 511–516, 2018.
View | DOI | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 7721 | OA
R. M. Maier, P. M. Visscher, M. R. Robinson, and N. R. Wray, “Embracing polygenicity: A review of methods and tools for psychiatric genetics research,” Psychological Medicine, vol. 48, no. 7. Cambridge University Press, pp. 1055–1067, 2018.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 7722
J. Zeng et al., “Signatures of negative selection in the genetic architecture of human complex traits,” Nature Genetics, vol. 50, no. 5. Springer Nature, pp. 746–753, 2018.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed