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
2013 |Published| Technical Report | IST-REx-ID: 5403 | 
Chatterjee K, Ibsen-Jensen R. 2013. Qualitative analysis of concurrent mean-payoff games, IST Austria, 33p.
[Published Version]
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5404 |
Chatterjee K, Ibsen-Jensen R. 2013. The complexity of ergodic games, IST Austria, 29p.
[Published Version]
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5405 |
Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. 2013. Perfect-information stochastic mean-payoff parity games, IST Austria, 22p.
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 1376
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL fragments. 13th International Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 18–25.
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5406 |
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL Fragments, IST Austria, 11p.
[Published Version]
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5408 |
Chatterjee K, Doyen L, Nain S, Vardi M. 2013. The complexity of partial-observation stochastic parity games with finite-memory strategies, IST Austria, 17p.
[Published Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 6133 |
Couto A, Oda S, Nikolaev VO, Soltesz Z, de Bono M. 2013. In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor. Proceedings of the National Academy of Sciences. 110(35), E3301–E3310.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 6370
Lin T-C, Cole JM, Higginbotham AP, Edwards AJ, Piltz RO, Pérez-Moreno J, Seo J-Y, Lee S-C, Clays K, Kwon O-P. 2013. Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations. The Journal of Physical Chemistry C. 117(18), 9416–9430.
View
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2329 |
Chatterjee K, Velner Y. 2013. Hyperplane separation technique for multidimensional mean-payoff games. 8052, 500–515.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Journal Article | IST-REx-ID: 7595
Tang Y, Tan S, Xue H. 2013. Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development. Acta Biochimica et Biophysica Sinica. 45(7), 549–560.
View
| DOI
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 812
Koestler S, Steffen A, Nemethova M, Winterhoff M, Luo N, Holleboom J, Krupp J, Jacob S, Vinzenz M, Schur FK, Schlüter K, Gunning P, Winkler C, Schmeiser C, Faix J, Stradal T, Small J, Rottner K. 2013. Arp2/3 complex is essential for actin network treadmilling as well as for targeting of capping protein and cofilin. Molecular Biology of the Cell. 24(18), 2861–2875.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 8245 |
Petricevic B, Laengle J, Singer J, Sachet M, Singer J, Steger G, Bartsch R, Jensen-Jarolim E, 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. 11, 307.
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 894
Derelle R, Kondrashov F, Arkhipov V, Corbel H, Frantz A, Gasparini J, Jacquin L, Jacob G, Thibault S, Baudry E. 2013. Color differences among feral pigeons (Columba livia) are not attributable to sequence variation in the coding region of the melanocortin-1 receptor gene MC1R. BMC Research Notes. 6(1).
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 974 |
Serbyn M, Senthil T, Lee P. 2013. Overscreened Kondo fixed point in S=1 spin liquid. Physical Review B - Condensed Matter and Materials Physics. 88(2).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Book Chapter | IST-REx-ID: 10900
Weber M, Sixt MK. 2013.Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations. In: Chemokines. Methods in Molecular Biology, vol. 1013, 215–226.
View
| DOI
| PubMed | Europe PMC
2013 |Published| Thesis | IST-REx-ID: 1406
Campinho P. 2013. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. Institute of Science and Technology Austria.
View
2013 |Published| Journal Article | IST-REx-ID: 2926
Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. 2013. Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology. 23(1), 76–82.
View
| Files available
| DOI