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, Dan, Keren Censor Hillel, and Nir Shavit. “Are Lock-Free Concurrent Algorithms Practically Wait-Free?,” 714–23. ACM, 2014. https://doi.org/10.1145/2591796.2591836.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 809
Bharata, Tanmay, Luis Menendez, Wim Hagena, Vanda Luxd, Sebastien Igonete, Martin Schorba, Florian Schur, Hans Kraüsslich, and John Briggsa. “Cryo Electron Microscopy of Tubular Arrays of HIV-1 Gag Resolves Structures Essential for Immature Virus Assembly.” PNAS 111, no. 22 (2014): 8233–38. https://doi.org/10.1073/pnas.1401455111.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 892
Ivankov, Dmitry, Alexei Finkelstein, and Fyodor Kondrashov. “A Structural Perspective of Compensatory Evolution.” Current Opinion in Structural Biology 26, no. 1 (2014): 104–12. https://doi.org/10.1016/j.sbi.2014.05.004.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 979   OA
Serbyn, Maksym, and Liang Fu. “Symmetry Breaking and Landau Quantization in Topological Crystalline Insulators.” Physical Review B - Condensed Matter and Materials Physics 90, no. 3 (2014). https://doi.org/10.1103/PhysRevB.90.035402.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1872   OA
Gupta, Ashutosh, Laura Kovács, Bernhard Kragl, and Andrei Voronkov. “Extensional Crisis and Proving Identity.” In ATVA 2014, edited by Franck Cassez and Jean-François Raskin, 8837:185–200. Springer, 2014. https://doi.org/10.1007/978-3-319-11936-6_14.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed