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.
5779 Publications
2017 | Published | Conference Paper | IST-REx-ID: 1003 | 
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
[Submitted Version]
View
| Files available
| DOI
| WoS
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
2017 | Research Data Reference | IST-REx-ID: 9859 |
Additional file 1: Table S1. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, (2017).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, (2017).
2017 | Research Data Reference | IST-REx-ID: 9860 |
Additional file 5: Table S3. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, (2017).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, (2017).
2017 | Published | Journal Article | IST-REx-ID: 1010 |
Local law for random Gram matrices
J. Alt, L. Erdös, T.H. Krüger, Electronic Journal of Probability 22 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
J. Alt, L. Erdös, T.H. Krüger, Electronic Journal of Probability 22 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1017 |
Tubulins and brain development: The origins of functional specification
M. Breuss, I. Leca, T. Gstrein, A.H. Hansen, D. Keays, Molecular and Cellular Neuroscience 84 (2017) 58–67.
[Published Version]
View
| Files available
| DOI
| WoS
M. Breuss, I. Leca, T. Gstrein, A.H. Hansen, D. Keays, Molecular and Cellular Neuroscience 84 (2017) 58–67.
2017 | Published | Journal Article | IST-REx-ID: 1015 |
Vortices and antivortices in two-dimensional ultracold Fermi gases
G. Bighin, L. Salasnich, Scientific Reports 7 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
G. Bighin, L. Salasnich, Scientific Reports 7 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1023 |
Local law for the product of independent non-Hermitian random matrices with independent entries
Y. Nemish, Electronic Journal of Probability 22 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
Y. Nemish, Electronic Journal of Probability 22 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1019
X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster
E. Argyridou, A.K. Huylmans, A. Königer, J. Parsch, Heredity 119 (2017) 27–34.
View
| Files available
| DOI
| WoS
E. Argyridou, A.K. Huylmans, A. Königer, J. Parsch, Heredity 119 (2017) 27–34.
2017 | Published | Journal Article | IST-REx-ID: 1025
Cell biology: Stretched divisions
C.-P.J. Heisenberg, Nature 543 (2017) 43–44.
View
| DOI
| WoS
C.-P.J. Heisenberg, Nature 543 (2017) 43–44.
2017 | Research Data Reference | IST-REx-ID: 9861 |
Data from: X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster
E. Argyridou, A.K. Huylmans, A. Königer, J. Parsch, (2017).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
E. Argyridou, A.K. Huylmans, A. Königer, J. Parsch, (2017).
2017 | Published | Journal Article | IST-REx-ID: 1063 |
Evolutionary rescue in randomly mating, selfing, and clonal populations
H. Uecker, Evolution 71 (2017) 845–858.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
H. Uecker, Evolution 71 (2017) 845–858.
2017 | Published | Journal Article | IST-REx-ID: 1067 |
The physical basis of coordinated tissue spreading in zebrafish gastrulation
H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, C.-P.J. Heisenberg, Developmental Cell 40 (2017) 354–366.
[Published Version]
View
| Files available
| DOI
| WoS
H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, C.-P.J. Heisenberg, Developmental Cell 40 (2017) 354–366.
2017 | Published | Journal Article | IST-REx-ID: 1074 |
Inferring recent demography from isolation by distance of long shared sequence blocks
H. Ringbauer, G. Coop, N.H. Barton, Genetics 205 (2017) 1335–1351.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
H. Ringbauer, G. Coop, N.H. Barton, Genetics 205 (2017) 1335–1351.
2017 | Published | Journal Article | IST-REx-ID: 1065 |
Pushdown reachability with constant treewidth
K. Chatterjee, G.F. Osang, Information Processing Letters 122 (2017) 25–29.
[Submitted Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, G.F. Osang, Information Processing Letters 122 (2017) 25–29.
2017 | Published | Journal Article | IST-REx-ID: 1077 |
Evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family
R.A. Fernandes Redondo, H. de Vladar, T. Włodarski, J.P. Bollback, Journal of the Royal Society Interface 14 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
R.A. Fernandes Redondo, H. de Vladar, T. Włodarski, J.P. Bollback, Journal of the Royal Society Interface 14 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1080 |
Reconstructing metastatic seeding patterns of human cancers
J. Reiter, A. Makohon Moore, J. Gerold, I. Božić, K. Chatterjee, C. Iacobuzio Donahue, B. Vogelstein, M. Nowak, Nature Communications 8 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
J. Reiter, A. Makohon Moore, J. Gerold, I. Božić, K. Chatterjee, C. Iacobuzio Donahue, B. Vogelstein, M. Nowak, Nature Communications 8 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1110 |
Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity
B. Kuhn, T. Nodzyński, S. Errafi, R. Bucher, S. Gupta, B. Aryal, P. Dobrev, L. Bigler, M. Geisler, E. Zažímalová, J. Friml, C. Ringli, Scientific Reports 7 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
B. Kuhn, T. Nodzyński, S. Errafi, R. Bucher, S. Gupta, B. Aryal, P. Dobrev, L. Bigler, M. Geisler, E. Zažímalová, J. Friml, C. Ringli, Scientific Reports 7 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1104 |
Multiplexed computations in retinal ganglion cells of a single type
S. Deny, U. Ferrari, E. Mace, P. Yger, R. Caplette, S. Picaud, G. Tkačik, O. Marre, Nature Communications 8 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
S. Deny, U. Ferrari, E. Mace, P. Yger, R. Caplette, S. Picaud, G. Tkačik, O. Marre, Nature Communications 8 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1085 |
Convergent recombination suppression suggests role of sexual selection in guppy sex chromosome formation
A. Wright, I. Darolti, N. Bloch, V. Oostra, B. Sandkam, S. Buechel, N. Kolm, F. Breden, B. Vicoso, J. Mank, Nature Communications 8 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
A. Wright, I. Darolti, N. Bloch, V. Oostra, B. Sandkam, S. Buechel, N. Kolm, F. Breden, B. Vicoso, J. Mank, Nature Communications 8 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1111 |
Selection limits to adaptive walks on correlated landscapes
J. Heredia, B. Trubenova, D. Sudholt, T. Paixao, Genetics 205 (2017) 803–825.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
J. Heredia, B. Trubenova, D. Sudholt, T. Paixao, Genetics 205 (2017) 803–825.