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.

7124 Publications


2019 | Published | Conference Paper | IST-REx-ID: 5947 | OA
A simple and practical concurrent non-blocking unbounded graph with linearizable reachability queries
B. Chatterjee, S. Peri, M. Sa, N. Singhal, in:, ACM International Conference Proceeding Series, ACM, 2019, pp. 168–177.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 5948
Termination of nondeterministic probabilistic programs
H. Fu, K. Chatterjee, in:, International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2019, pp. 468–490.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 5986 | OA
A proof of the orbit conjecture for flipping edge-labelled triangulations
A. Lubiw, Z. Masárová, U. Wagner, Discrete & Computational Geometry 61 (2019) 880–898.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6014 | OA
Elastic alfven waves in elastic turbulence
A. Varshney, V. Steinberg, Nature Communications 10 (2019).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 170 | OA
Counting rational points on quartic del Pezzo surfaces with a rational conic
T.D. Browning, E. Sofos, Mathematische Annalen 373 (2019) 977–1016.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 175 | OA
Sieving rational points on varieties
T.D. Browning, D. Loughran, Transactions of the American Mathematical Society 371 (2019) 5757–5785.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 9261
FlexMaps Pavilion: A twisted arc made of mesostructured flat flexible panels
F. Laccone, L. Malomo, J. Perez Rodriguez, N. Pietroni, F. Ponchio, B. Bickel, P. Cignoni, in:, IASS Symposium 2019 - 60th Anniversary Symposium of the International Association for Shell and Spatial Structures; Structural Membranes 2019 - 9th International Conference on Textile Composites and Inflatable Structures, FORM and FORCE, International Center for Numerical Methods in Engineering, 2019, pp. 509–515.
View | WoS
 

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).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9786
Supporting text and results
J. Ruess, M. Pleska, C.C. Guet, G. Tkačik, (2019).
[Published Version] View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9789
Multiple alignment of His3 orthologues
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, (2019).
[Published Version] View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9790
A statistical summary of segment libraries and sequencing results
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, (2019).
[Published Version] View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9797
A statistical summary of segment libraries and sequencing results
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, (2019).
[Published Version] View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9801
Raw behavioral data
R.M. Merrill, P. Rastas, S.H. Martin, M.C. Melo Hurtado, S. Barker, J. Davey, W.O. Mcmillan, C.D. Jiggins, (2019).
[Published Version] View | Files available | DOI
 

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

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

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).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

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

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

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

2019 | Published | Journal Article | IST-REx-ID: 7393 | OA
Genomic architecture of parallel ecological divergence: Beyond a single environmental contrast
H.E. Morales, R. Faria, K. Johannesson, T. Larsson, M. Panova, A.M. Westram, R.K. Butlin, Science Advances 5 (2019).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Filters and Search Terms

supervisor%3D3E04A7AA-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications

Display / Sort

Export / Embed