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.
4149 Publications
2019 | Conference Paper | IST-REx-ID: 6493 | 
Membership-based synthesis of linear hybrid automata
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
View
| Files available
| DOI
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
2019 | Conference Paper | IST-REx-ID: 6887 |
Near-linear time algorithms for Streett objectives in graphs and MDPs
K. Chatterjee, W. Dvorák, M.H. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
View
| Files available
| DOI
K. Chatterjee, W. Dvorák, M.H. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 | Journal Article | IST-REx-ID: 6194 |
The entorhinal cognitive map is attracted to goals
C.N. Boccara, M. Nardin, F. Stella, J. O’Neill, J.L. Csicsvari, Science 363 (2019) 1443–1447.
View
| Files available
| DOI
C.N. Boccara, M. Nardin, F. Stella, J. O’Neill, J.L. Csicsvari, Science 363 (2019) 1443–1447.
2019 | Research Data Reference | IST-REx-ID: 9726
Supplementary information - Collective force generation by molecular motors is determined by strain-induced unbinding
M.C. Ucar, R. Lipowsky, (2019).
View
| Files available
| DOI
M.C. Ucar, R. Lipowsky, (2019).
2019 | Research Data Reference | IST-REx-ID: 9731 |
Additional file 11 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction
O. Sigalova, A. Chaplin, O. Bochkareva, P. Shelyakin, V. Filaretov, E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
View
| Files available
| DOI
| Download Published Version (ext.)
O. Sigalova, A. Chaplin, O. Bochkareva, P. Shelyakin, V. Filaretov, E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
2019 | Conference Paper | IST-REx-ID: 8324 |
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time
P. Wang, H. Fu, K. Chatterjee, Y. Deng, M. Xu, in:, Proceedings of the ACM on Programming Languages, ACM, 2019.
View
| Files available
| DOI
| arXiv
P. Wang, H. Fu, K. Chatterjee, Y. Deng, M. Xu, in:, Proceedings of the ACM on Programming Languages, ACM, 2019.
2019 | Journal Article | IST-REx-ID: 6819 |
Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells
M.N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F.V. Rao, C.V. Martin, BMC Research Notes 12 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
M.N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F.V. Rao, C.V. Martin, BMC Research Notes 12 (2019).
2019 | Research Data Reference | IST-REx-ID: 9783 |
Additional file 10 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
View
| Files available
| DOI
| Download Published Version (ext.)
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
2019 | Research Data Reference | IST-REx-ID: 9784 |
MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells
M.N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F.V. Rao, C.V. Martin, (2019).
View
| Files available
| DOI
| Download Published Version (ext.)
M.N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F.V. Rao, C.V. Martin, (2019).
2019 | Journal Article | IST-REx-ID: 6831 |
Variation in sexual dimorphism in a wind-pollinated plant: The influence of geographical context and life-cycle dynamics
G. Puixeu Sala, M. Pickup, D. Field, S.C.H. Barrett, New Phytologist 224 (2019) 1108–1120.
View
| Files available
| DOI
G. Puixeu Sala, M. Pickup, D. Field, S.C.H. Barrett, New Phytologist 224 (2019) 1108–1120.
2019 | Journal Article | IST-REx-ID: 6713 |
An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice
J.P. Castro, M.N. Yancoskie, M. Marchini, S. Belohlavy, L. Hiramatsu, M. Kučka, W.H. Beluch, R. Naumann, I. Skuplik, J. Cobb, N.H. Barton, C. Rolian, Y.F. Chan, ELife 8 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
J.P. Castro, M.N. Yancoskie, M. Marchini, S. Belohlavy, L. Hiramatsu, M. Kučka, W.H. Beluch, R. Naumann, I. Skuplik, J. Cobb, N.H. Barton, C. Rolian, Y.F. Chan, ELife 8 (2019).
2019 | Journal Article | IST-REx-ID: 6680 |
Effect of partial selfing and polygenic selection on establishment in a new habitat
H. Sachdeva, Evolution 73 (2019) 1729–1745.
View
| Files available
| DOI
H. Sachdeva, Evolution 73 (2019) 1729–1745.
2019 | Journal Article | IST-REx-ID: 6467 |
The distribution of epistasis on simple fitness landscapes
C. Fraisse, J.J. Welch, Biology Letters 15 (2019).
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
C. Fraisse, J.J. Welch, Biology Letters 15 (2019).
2019 | Research Data Reference | IST-REx-ID: 9804 |
Data from: An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice
J.P. Castro, M.N. Yancoskie, M. Marchini, S. Belohlavy, L. Hiramatsu, M. Kučka, W.H. Beluch, R. Naumann, I. Skuplik, J. Cobb, N.H. Barton, C. Rolian, Y.F. Chan, (2019).
View
| Files available
| DOI
| Download Published Version (ext.)
J.P. Castro, M.N. Yancoskie, M. Marchini, S. Belohlavy, L. Hiramatsu, M. Kučka, W.H. Beluch, R. Naumann, I. Skuplik, J. Cobb, N.H. Barton, C. Rolian, Y.F. Chan, (2019).
2019 | Research Data Reference | IST-REx-ID: 9803 |
Data from: Variation in sexual dimorphism in a wind-pollinated plant: the influence of geographical context and life-cycle dynamics
G. Puixeu Sala, M. Pickup, D. Field, S.C.H. Barrett, (2019).
View
| Files available
| DOI
| Download Published Version (ext.)
G. Puixeu Sala, M. Pickup, D. Field, S.C.H. Barrett, (2019).
2019 | Research Data Reference | IST-REx-ID: 9802 |
Data from: Effect of partial selfing and polygenic selection on establishment in a new habitat
H. Sachdeva, (2019).
View
| Files available
| DOI
| Download Published Version (ext.)
H. Sachdeva, (2019).
2019 | Journal Article | IST-REx-ID: 6105 |
A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance
M. Kutzer, J. Kurtz, S.A.O. Armitage, Journal of Animal Ecology 88 (2019) 566–578.
View
| Files available
| DOI
M. Kutzer, J. Kurtz, S.A.O. Armitage, Journal of Animal Ecology 88 (2019) 566–578.
2019 | Research Data Reference | IST-REx-ID: 9806 |
Data from: A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance
M. Kutzer, J. Kurtz, S.A.O. Armitage, (2019).
View
| Files available
| DOI
| Download Published Version (ext.)
M. Kutzer, J. Kurtz, S.A.O. Armitage, (2019).
2019 | Research Data Reference | IST-REx-ID: 9805 |
Data from: The consequences of an introgression event
N.H. Barton, (2019).
View
| Files available
| DOI
| Download Published Version (ext.)
N.H. Barton, (2019).
2019 | Journal Article | IST-REx-ID: 6095 |
Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes
R. Faria, P. Chaube, H.E. Morales, T. Larsson, A.R. Lemmon, E.M. Lemmon, M. Rafajlović, M. Panova, M. Ravinet, K. Johannesson, A.M. Westram, R.K. Butlin, Molecular Ecology 28 (2019) 1375–1393.
View
| Files available
| DOI
R. Faria, P. Chaube, H.E. Morales, T. Larsson, A.R. Lemmon, E.M. Lemmon, M. Rafajlović, M. Panova, M. Ravinet, K. Johannesson, A.M. Westram, R.K. Butlin, Molecular Ecology 28 (2019) 1375–1393.