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.
9084 Publications
2013 | Technical Report | IST-REx-ID: 6440 | 
Henzinger, T. A., Payer, H., & Sezgin, A. (2013). Replacing competition with cooperation to achieve scalable lock-free FIFO queues . IST Austria. https://doi.org/10.15479/AT:IST-2013-124-v1-1
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 6768 |
Mondelli, M. (2013). A finite difference scheme for the stack filter simulating the MCM. Image Processing On Line. Image Processing On Line. https://doi.org/10.5201/ipol.2013.53
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2329 |
Chatterjee, K., & Velner, Y. (2013). Hyperplane separation technique for multidimensional mean-payoff games. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentinia: Springer. https://doi.org/10.1007/978-3-642-40184-8_35
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 7306
Ottakam Thotiyl, M. M., Freunberger, S. A., Peng, Z., Chen, Y., Liu, Z., & Bruce, P. G. (2013). A stable cathode for the aprotic Li–O2 battery. Nature Materials. Springer Nature. https://doi.org/10.1038/nmat3737
View
| DOI
2013 | Journal Article | IST-REx-ID: 7307
Chen, Y., Freunberger, S. A., Peng, Z., Fontaine, O., & Bruce, P. G. (2013). Charging a Li–O2 battery using a redox mediator. Nature Chemistry. Springer Nature. https://doi.org/10.1038/nchem.1646
View
| DOI