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 | OA
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
 

2019 | Conference Paper | IST-REx-ID: 6887 | OA
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
 

2019 | Journal Article | IST-REx-ID: 6194 | OA
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
 
 

2019 | Research Data Reference | IST-REx-ID: 9731 | OA
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.)
 

2019 | Conference Paper | IST-REx-ID: 8324 | OA
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
 

2019 | Journal Article | IST-REx-ID: 6819 | OA
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
 

2019 | Research Data Reference | IST-REx-ID: 9783 | OA
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.)
 

2019 | Research Data Reference | IST-REx-ID: 9784 | OA
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.)
 

2019 | Journal Article | IST-REx-ID: 6831 | OA
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
 

2019 | Journal Article | IST-REx-ID: 6713 | OA
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
 

2019 | Journal Article | IST-REx-ID: 6680 | OA View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6467 | OA
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
 

2019 | Research Data Reference | IST-REx-ID: 9804 | OA
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.)
 

2019 | Research Data Reference | IST-REx-ID: 9803 | OA View | Files available | DOI | Download Published Version (ext.)
 
 

2019 | Journal Article | IST-REx-ID: 6105 | OA
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
 
 

2019 | Research Data Reference | IST-REx-ID: 9805 | OA View | Files available | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 6095 | OA
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
 

Filters and Search Terms

extern<>1

Search

Filter Publications