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.

3022 Publications

2013 | Book Chapter | IST-REx-ID: 5747 | OA
Dragoi, C., Gupta, A., & Henzinger, T. A. (2013). Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In Computer Aided Verification (Vol. 8044, pp. 174–190). Berlin, Heidelberg: Springer Berlin Heidelberg.
View | Files available | DOI

2013 | Technical Report | IST-REx-ID: 6440 | OA
Henzinger, T. A., Payer, H., & Sezgin, A. (2013). Replacing competition with cooperation to achieve scalable lock-free FIFO queues . IST Austria.
View | Files available | DOI

2013 | Conference Paper | IST-REx-ID: 2329 | OA
Chatterjee, K., & Velner, Y. (2013). Hyperplane separation technique for multidimensional mean-payoff games. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentinia: Springer.
View | Files available | DOI | Download Preprint (ext.) | arXiv

2013 | Journal Article | IST-REx-ID: 8245 | OA
Petricevic, B., Laengle, J., Singer, J., Sachet, M., Singer, J., Steger, G., … Bergmann, M. (2013). Trastuzumab mediates antibody-dependent cell-mediated cytotoxicity and phagocytosis to the same extent in both adjuvant and metastatic HER2/neu breast cancer patients. Journal of Translational Medicine. Springer Nature.
View | Files available | DOI | PubMed | Europe PMC

2013 | Journal Article | IST-REx-ID: 8462
Rennella, E., Cutuil, T., Schanda, P., Ayala, I., Gabel, F., Forge, V., … Brutscher, B. (2013). Oligomeric states along the folding pathways of β2-microglobulin: Kinetics, thermodynamics, and structure. Journal of Molecular Biology. Elsevier.
View | DOI

Filters and Search Terms



Filter Publications