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.
1484 Publications
2014 |Published| Technical Report | IST-REx-ID: 5420 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Ibsen-Jensen R. 2014. The value 1 problem for concurrent mean-payoff games, IST Austria, 49p.
[Published Version]
View
| Files available
| DOI
2014 |Published| Technical Report | IST-REx-ID: 5427 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Optimal tree-decomposition balancing and reachability on low treewidth graphs, IST Austria, 24p.
[Published Version]
View
| Files available
| DOI
2014 |Published| Technical Report | IST-REx-ID: 5425 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2014. Optimal cost almost-sure reachability in POMDPs, IST Austria, 22p.
[Published Version]
View
| Files available
2014 |Published| Technical Report | IST-REx-ID: 5421 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Ibsen-Jensen R, Nowak M. 2014. The complexity of evolution on graphs, IST Austria, 27p.
[Published Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 6124 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chen C, Itakura E, Weber KP, Hegde RS, de Bono M. 2014. An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism. PLoS Genetics. 10(3), e1004082.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 |Published| Journal Article | IST-REx-ID: 7072
Lancaster T, Goddard PA, Blundell SJ, Foronda FR, Ghannadzadeh S, Möller JS, Baker PJ, Pratt FL, Baines C, Huang L, Wosnitza J, McDonald RD, Modic KA, Singleton J, Topping CV, Beale TAW, Xiao F, Schlueter JA, Barton AM, Cabrera RD, Carreiro KE, Tran HE, Manson JL. 2014. Controlling magnetic order and quantum disorder in molecule-based magnets. Physical Review Letters. 112(20), 207201.
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 7301
Li C, Fontaine O, Freunberger SA, Johnson L, Grugeon S, Laruelle S, Bruce PG, Armand M. 2014. Aprotic Li–O2 battery: Influence of complexing agents on oxygen reduction in an aprotic solvent. The Journal of Physical Chemistry C. 118(7), 3393–3401.
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 96 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Higginbotham AP, Kuemmeth F, Hanson M, Gossard A, Marcus C. 2014. Coherent operations and screening in multielectron spin qubits. APS Physics, Physical Review Letters. 112(2), 026801.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |Published| Journal Article | IST-REx-ID: 845
Seplyarskiy V, Logacheva M, Penin A, Baranová M, Leushkin E, Demidenko N, Klepikova A, Kondrashov F, Kondrashov A, James T. 2014. Crossing-over in a hypervariable species preferentially occurs in regions of high local similarity. Molecular Biology and Evolution. 31(11), 3016–3025.
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 2161
Westhus C, Ugelvig LV, Tourdot E, Heinze J, Doums C, Cremer S. 2014. Increased grooming after repeated brood care provides sanitary benefits in a clonal ant. Behavioral Ecology and Sociobiology. 68(10), 1701–1710.
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 14019
Vasilatou K, Michaud JM, Baykusheva DR, Grassi G, Merkt F. 2014. The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra. The Journal of Chemical Physics. 141(6), 064317.
View
| DOI
| PubMed | Europe PMC
2014 |Published| Thesis | IST-REx-ID: 1402
Marhavá P. 2014. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. Institute of Science and Technology Austria.
View
2014 |Published| Conference Paper | IST-REx-ID: 2159 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mabillard I, Wagner U. 2014. Eliminating Tverberg points, I. An analogue of the Whitney trick. Proceedings of the Annual Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, 171–180.
[Submitted Version]
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 2218 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. 2014. Regression-free synthesis for concurrency. CAV: Computer Aided Verification, LNCS, vol. 8559, 568–584.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 |Published| Conference Paper | IST-REx-ID: 2082 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gazi P, Pietrzak KZ, Rybar M. 2014. The exact PRF-security of NMAC and HMAC. CRYPTO: International Cryptology Conference, LNCS, vol. 8616, 113–130.
[Submitted Version]
View
| Files available
| DOI