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.
7046 Publications
2014 |Published| Conference Paper | IST-REx-ID: 10885
K. Chatterjee, L. Doyen, E. Filiot, and J.-F. Raskin, “Doomsday equilibria for omega-regular games,” in VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, San Diego, CA, United States, 2014, vol. 8318, pp. 78–97.
[Preprint]
View
| Files available
| DOI
| arXiv
2014 |Published| Book | IST-REx-ID: 6853
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, 1st ed. Cham: Springer Nature, 2014.
View
| Files available
| DOI
2014 |Draft| Working Paper | IST-REx-ID: 7038 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Huszár and M. Rolinek, Playful Math - An introduction to mathematical games. IST Austria.
[Published Version]
View
| Files available
2014 |Published| Journal Article | IST-REx-ID: 7361
T. Lebar et al., “A bistable genetic switch based on designable DNA-binding domains,” Nature Communications, vol. 5, no. 1. Springer Nature, 2014.
View
| DOI
| PubMed | Europe PMC
2014 |Published| Journal Article | IST-REx-ID: 7598 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Tan and H.-W. Xue, “Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of ACS5,” Cell Reports, vol. 9, no. 5. Elsevier, pp. 1692–1702, 2014.
[Published Version]
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 772 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
D.-A. Alistarh, K. Censor Hillel, and N. Shavit, “Are lock-free concurrent algorithms practically wait-free?,” presented at the STOC: Symposium on Theory of Computing, 2014, pp. 714–723.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |Published| Conference Paper | IST-REx-ID: 775 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
D.-A. Alistarh, J. Kopinsky, A. Matveev, and N. Shavit, “The levelarray: A fast, practical long-lived renaming algorithm,” presented at the ICDCS: International Conference on Distributed Computing Systems, 2014, pp. 348–357.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |Published| Journal Article | IST-REx-ID: 863
Moroz L, Kocot K, Citarella M, Dosung S, Norekian T, Povolotskaya I, Grigorenko A, Dailey C, Berezikov E, Buckley K, Ptitsyn A, Reshetov D, Mukherjee K, Moroz T, Bobkova Y, Yu F, Kapitonov V, Jurka J, Bobkov Y, Swore J, Girardo D, Fodor A, Gusev F, Sanford R, Bruders R, Kittler E, Mills C, Rast J, Derelle R, Solovyev V, Kondrashov F, Swalla B, Sweedler J, Rogaev E, Halanych K, Kohn A. 2014. The ctenophore genome and the evolutionary origins of neural systems. Nature. 510(7503), 109–114.
View
| DOI