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
Graph games and reactive synthesis
R. Bloem, K. Chatterjee, B. Jobstmann, in:, T.A. Henzinger, E.M. Clarke, H. Veith, R. Bloem (Eds.), Handbook of Model Checking, 1st ed., Springer, 2018, pp. 921–962.
View
| DOI
R. Bloem, K. Chatterjee, B. Jobstmann, in:, T.A. Henzinger, E.M. Clarke, H. Veith, R. Bloem (Eds.), Handbook of Model Checking, 1st ed., Springer, 2018, pp. 921–962.
2018 | Published | Journal Article | IST-REx-ID: 5914 | 
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
D.K. Rangel Guerrero, J.G. Donnett, J.L. Csicsvari, K. Kovács, ENeuro 5 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
D.K. Rangel Guerrero, J.G. Donnett, J.L. Csicsvari, K. Kovács, ENeuro 5 (2018).
2018 | Published | Conference Paper | IST-REx-ID: 5959 |
Keynote: The first-order logic of signals
A. Bakhirkin, T. Ferrere, T.A. Henzinger, D. Nickovicl, in:, 2018 International Conference on Embedded Software, IEEE, 2018, pp. 1–10.
[Published Version]
View
| Files available
| DOI
| WoS
A. Bakhirkin, T. Ferrere, T.A. Henzinger, D. Nickovicl, in:, 2018 International Conference on Embedded Software, IEEE, 2018, pp. 1–10.
2018 | Published | Journal Article | IST-REx-ID: 5960 |
Proving the existence of loops in robot trajectories
S. Rohou, P. Franek, C. Aubry, L. Jaulin, The International Journal of Robotics Research 37 (2018) 1500–1516.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Rohou, P. Franek, C. Aubry, L. Jaulin, The International Journal of Robotics Research 37 (2018) 1500–1516.
2018 | Published | Conference Paper | IST-REx-ID: 5961
A brief tutorial on distributed and concurrent machine learning
D.-A. Alistarh, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM Press, 2018, pp. 487–488.
View
| DOI
| WoS
D.-A. Alistarh, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM Press, 2018, pp. 487–488.
2018 | Published | Conference Paper | IST-REx-ID: 5962 |
The convergence of stochastic gradient descent in asynchronous shared memory
D.-A. Alistarh, C. De Sa, N.H. Konstantinov, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM Press, 2018, pp. 169–178.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D.-A. Alistarh, C. De Sa, N.H. Konstantinov, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM Press, 2018, pp. 169–178.
2018 | Published | Conference Paper | IST-REx-ID: 5963 |
Relaxed schedulers can efficiently parallelize iterative algorithms
D.-A. Alistarh, T.A. Brown, J. Kopinsky, G. Nadiradze, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM Press, 2018, pp. 377–386.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D.-A. Alistarh, T.A. Brown, J. Kopinsky, G. Nadiradze, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM Press, 2018, pp. 377–386.
2018 | Published | Conference Paper | IST-REx-ID: 5964 |
Brief Announcement: Performance prediction for coarse-grained locking
V. Aksenov, D.-A. Alistarh, P. Kuznetsov, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM Press, 2018, pp. 411–413.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
V. Aksenov, D.-A. Alistarh, P. Kuznetsov, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM Press, 2018, pp. 411–413.
2018 | Published | Journal Article | IST-REx-ID: 76 |
Near-optimal self-stabilising counting and firing squads
C. Lenzen, J. Rybicki, Distributed Computing (2018).
[Published Version]
View
| Files available
| DOI
| WoS
C. Lenzen, J. Rybicki, Distributed Computing (2018).
2018 | Published | Journal Article | IST-REx-ID: 7698
Origin and segmental diversity of spinal inhibitory interneurons
L.B. Sweeney, J.B. Bikoff, M.I. Gabitto, S. Brenner-Morton, M. Baek, J.H. Yang, E.G. Tabak, J.S. Dasen, C.R. Kintner, T.M. Jessell, Neuron 97 (2018) 341–355.e3.
View
| DOI
L.B. Sweeney, J.B. Bikoff, M.I. Gabitto, S. Brenner-Morton, M. Baek, J.H. Yang, E.G. Tabak, J.S. Dasen, C.R. Kintner, T.M. Jessell, Neuron 97 (2018) 341–355.e3.
2018 | Published | Journal Article | IST-REx-ID: 77 |
A germanium hole spin qubit
H. Watzinger, J. Kukucka, L. Vukušić, F. Gao, T. Wang, F. Schäffler, J. Zhang, G. Katsaros, Nature Communications 9 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
H. Watzinger, J. Kukucka, L. Vukušić, F. Gao, T. Wang, F. Schäffler, J. Zhang, G. Katsaros, Nature Communications 9 (2018).
2018 | Published | Journal Article | IST-REx-ID: 7712 |
Dissection of genetic variation and evidence for pleiotropy in male pattern baldness
C.X. Yap, J. Sidorenko, Y. Wu, K.E. Kemper, J. Yang, N.R. Wray, M.R. Robinson, P.M. Visscher, Nature Communications 9 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
C.X. Yap, J. Sidorenko, Y. Wu, K.E. Kemper, J. Yang, N.R. Wray, M.R. Robinson, P.M. Visscher, Nature Communications 9 (2018).
2018 | Published | Journal Article | IST-REx-ID: 7713 |
Global genetic differentiation of complex traits shaped by natural selection in humans
J. Guo, Y. Wu, Z. Zhu, Z. Zheng, M. Trzaskowski, J. Zeng, M.R. Robinson, P.M. Visscher, J. Yang, Nature Communications 9 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
J. Guo, Y. Wu, Z. Zhu, Z. Zheng, M. Trzaskowski, J. Zeng, M.R. Robinson, P.M. Visscher, J. Yang, Nature Communications 9 (2018).
2018 | Published | Journal Article | IST-REx-ID: 7714 |
Causal associations between risk factors and common diseases inferred from GWAS summary data
Z. Zhu, Z. Zheng, F. Zhang, Y. Wu, M. Trzaskowski, R. Maier, M.R. Robinson, J.J. McGrath, P.M. Visscher, N.R. Wray, J. Yang, Nature Communications 9 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
Z. Zhu, Z. Zheng, F. Zhang, Y. Wu, M. Trzaskowski, R. Maier, M.R. Robinson, J.J. McGrath, P.M. Visscher, N.R. Wray, J. Yang, Nature Communications 9 (2018).
2018 | Published | Journal Article | IST-REx-ID: 7715
Imprint of assortative mating on the human genome
L. Yengo, M.R. Robinson, M.C. Keller, K.E. Kemper, Y. Yang, M. Trzaskowski, J. Gratten, P. Turley, D. Cesarini, D.J. Benjamin, N.R. Wray, M.E. Goddard, J. Yang, P.M. Visscher, Nature Human Behaviour 2 (2018) 948–954.
View
| DOI
L. Yengo, M.R. Robinson, M.C. Keller, K.E. Kemper, Y. Yang, M. Trzaskowski, J. Gratten, P. Turley, D. Cesarini, D.J. Benjamin, N.R. Wray, M.E. Goddard, J. Yang, P.M. Visscher, Nature Human Behaviour 2 (2018) 948–954.
2018 | Published | Journal Article | IST-REx-ID: 7716 |
Improving genetic prediction by leveraging genetic correlations among human diseases and traits
R.M. Maier, Z. Zhu, S.H. Lee, M. Trzaskowski, D.M. Ruderfer, E.A. Stahl, S. Ripke, N.R. Wray, J. Yang, P.M. Visscher, M.R. Robinson, Nature Communications 9 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
R.M. Maier, Z. Zhu, S.H. Lee, M. Trzaskowski, D.M. Ruderfer, E.A. Stahl, S. Ripke, N.R. Wray, J. Yang, P.M. Visscher, M.R. Robinson, Nature Communications 9 (2018).
2018 | Published | Journal Article | IST-REx-ID: 7717 |
Genotype effects contribute to variation in longitudinal methylome patterns in older people
Q. Zhang, R.E. Marioni, M.R. Robinson, J. Higham, D. Sproul, N.R. Wray, I.J. Deary, A.F. McRae, P.M. Visscher, Genome Medicine 10 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
Q. Zhang, R.E. Marioni, M.R. Robinson, J. Higham, D. Sproul, N.R. Wray, I.J. Deary, A.F. McRae, P.M. Visscher, Genome Medicine 10 (2018).
2018 | Published | Journal Article | IST-REx-ID: 7718
Evolutionary history and adaptation of a human pygmy population of Flores Island, Indonesia
S. Tucci, S.H. Vohr, R.C. McCoy, B. Vernot, M.R. Robinson, C. Barbieri, B.J. Nelson, W. Fu, G.A. Purnomo, H. Sudoyo, E.E. Eichler, G. Barbujani, P.M. Visscher, J.M. Akey, R.E. Green, Science 361 (2018) 511–516.
View
| DOI
| PubMed | Europe PMC
S. Tucci, S.H. Vohr, R.C. McCoy, B. Vernot, M.R. Robinson, C. Barbieri, B.J. Nelson, W. Fu, G.A. Purnomo, H. Sudoyo, E.E. Eichler, G. Barbujani, P.M. Visscher, J.M. Akey, R.E. Green, Science 361 (2018) 511–516.
2018 | Published | Journal Article | IST-REx-ID: 7721 |
Embracing polygenicity: A review of methods and tools for psychiatric genetics research
R.M. Maier, P.M. Visscher, M.R. Robinson, N.R. Wray, Psychological Medicine 48 (2018) 1055–1067.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R.M. Maier, P.M. Visscher, M.R. Robinson, N.R. Wray, Psychological Medicine 48 (2018) 1055–1067.
2018 | Published | Journal Article | IST-REx-ID: 7722
Signatures of negative selection in the genetic architecture of human complex traits
J. Zeng, R. de Vlaming, Y. Wu, M.R. Robinson, L.R. Lloyd-Jones, L. Yengo, C.X. Yap, A. Xue, J. Sidorenko, A.F. McRae, J.E. Powell, G.W. Montgomery, A. Metspalu, T. Esko, G. Gibson, N.R. Wray, P.M. Visscher, J. Yang, Nature Genetics 50 (2018) 746–753.
View
| DOI
J. Zeng, R. de Vlaming, Y. Wu, M.R. Robinson, L.R. Lloyd-Jones, L. Yengo, C.X. Yap, A. Xue, J. Sidorenko, A.F. McRae, J.E. Powell, G.W. Montgomery, A. Metspalu, T. Esko, G. Gibson, N.R. Wray, P.M. Visscher, J. Yang, Nature Genetics 50 (2018) 746–753.