Please note that IST 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.

5430 Publications


2014 | Conference Paper | IST-REx-ID: 772   OA
Alistarh D, Censor Hillel K, Shavit N. 2014. Are lock-free concurrent algorithms practically wait-free? STOC: Symposium on Theory of Computing 714–723.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 809
Bharata T, Menendez L, Hagena W, Luxd V, Igonete S, Schorba M, Schur F, Kraüsslich H, Briggsa J. 2014. Cryo electron microscopy of tubular arrays of HIV-1 Gag resolves structures essential for immature virus assembly. PNAS. 111(22), 8233–8238.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 892
Ivankov D, Finkelstein A, Kondrashov F. 2014. A structural perspective of compensatory evolution. Current Opinion in Structural Biology. 26(1), 104–112.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 979   OA
Serbyn M, Fu L. 2014. Symmetry breaking and Landau quantization in topological crystalline insulators. Physical Review B - Condensed Matter and Materials Physics. 90(3).
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1872   OA
Gupta A, Kovács L, Kragl B, Voronkov A. 2014. Extensional crisis and proving identity. ATVA 2014. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 8837. 185–200.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed