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.
8919 Publications
2014 |
Published |
Journal Article |
IST-REx-ID: 7305
Johnson L, Li C, Liu Z, Chen Y, Freunberger SA, Ashok PC, Praveen BB, Dholakia K, Tarascon J-M, Bruce PG. 2014. The role of LiO2 solubility in O2 reduction in aprotic solvents and its consequences for Li–O2 batteries. Nature Chemistry. 6(12), 1091–1099.
View
| Files available
| DOI
2014 |
Published |
Journal Article |
IST-REx-ID: 7361
Lebar T, Bezeljak U, Golob A, Jerala M, Kadunc L, Pirš B, Stražar M, Vučko D, Zupančič U, Benčina M, Forstnerič V, Gaber R, Lonzarić J, Majerle A, Oblak A, Smole A, Jerala R. 2014. A bistable genetic switch based on designable DNA-binding domains. Nature Communications. 5(1), 5007.
View
| DOI
| PubMed | Europe PMC
2014 |
Published |
Journal Article |
IST-REx-ID: 7598 |
Tan S, Xue H-W. 2014. Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of ACS5. Cell Reports. 9(5), 1692–1702.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Conference Paper |
IST-REx-ID: 772 |
Alistarh D-A, Censor Hillel K, Shavit N. 2014. Are lock-free concurrent algorithms practically wait-free? STOC: Symposium on Theory of Computing, 714–723.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |
Published |
Conference Paper |
IST-REx-ID: 775 |
Alistarh D-A, Kopinsky J, Matveev A, Shavit N. 2014. The levelarray: A fast, practical long-lived renaming algorithm. ICDCS: International Conference on Distributed Computing Systems, 348–357.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 468 |
Cimadom A, Ulloa A, Meidl P, Zöttl M, Zöttl E, Fessl B, Nemeth E, Dvorak M, Cunninghame F, Tebbich S. 2014. Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches. PLoS One. 9(9), 0107518.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Conference Paper |
IST-REx-ID: 475 |
Aminof B, Rubin S. 2014. First cycle games. Electronic Proceedings in Theoretical Computer Science, EPTCS. SR: Strategic Reasoning, EPTCS, vol. 146, 83–90.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Journal Article |
IST-REx-ID: 535 |
Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. 2014. Polynomial-time algorithms for energy games with special weight structures. Algorithmica. 70(3), 457–492.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 537 |
Prizak R, Ezard T, Hoyle R. 2014. Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution. 4(15), 3139–3145.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5411 |
Daca P, Henzinger TA, Krenn W, Nickovic D. 2014. Compositional specifications for IOCO testing, IST Austria, 20p.
[Published Version]
View
| Files available
| DOI