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.
10945 Publications
2010 | Published | Journal Article | IST-REx-ID: 9145
Canuto VM, Howard AM, Cheng Y, Muller CJ, Leboissetier A, Jayne SR. Ocean turbulence, III: New GISS vertical mixing scheme. Ocean Modelling. 2010;34(3-4):70-91. doi:10.1016/j.ocemod.2010.04.006
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 9146 | 
O’Gorman PA, Muller CJ. How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. 2010;5(2). doi:10.1088/1748-9326/5/2/025207
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 920
Angelini T, Hannezo EB, Trepat X, Fredberg J, Weitz D. Cell migration driven by cooperative substrate deformation patterns. Physical Review Letters. 2010;104(16). doi:10.1103/PhysRevLett.104.168104
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 9452
Zemach A, McDaniel IE, Silva P, Zilberman D. Genome-wide evolutionary analysis of eukaryotic DNA methylation. Science. 2010;328(5980):916-919. doi:10.1126/science.1186366
View
| DOI
| PubMed | Europe PMC
2010 | Published | Conference Paper | IST-REx-ID: 3853 |
Chatterjee K, Doyen L, Edelsbrunner H, Henzinger TA, Rannou P. Mean-payoff automaton expressions. In: Vol 6269. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:269-283. doi:10.1007/978-3-642-15375-4_19
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3855 |
Chatterjee K, Doyen L, Henzinger TA. Qualitative analysis of partially-observable Markov Decision Processes. In: Vol 6281. Springer; 2010:258-269. doi:10.1007/978-3-642-15155-2_24
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4369 |
Nickovic D, Piterman N. From MTL to deterministic timed automata. In: Henzinger TA, Chatterjee K, eds. Vol 6246. Springer; 2010:152-167. doi:10.1007/978-3-642-15297-9_13
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3857
Chatterjee K, Henzinger TA. Probabilistic Automata on infinite words: decidability and undecidability results. In: Vol 6252. Springer; 2010:1-16. doi:10.1007/978-3-642-15643-4_1
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3866 |
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. Robustness in the presence of liveness. In: Touili T, Cook B, Jackson P, eds. Vol 6174. Springer; 2010:410-424. doi:10.1007/978-3-642-14295-6_36
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4388 |
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. GIST: A solver for probabilistic games. In: Vol 6174. Springer; 2010:665-669. doi:10.1007/978-3-642-14295-6_57
[Submitted Version]
View
| Files available
| DOI
| arXiv
2010 | Published | Book Chapter | IST-REx-ID: 4392
Cerny P, Henzinger TA, Radhakrishna A. Quantitative Simulation Games. In: Manna Z, Peled D, eds. Time For Verification: Essays in Memory of Amir Pnueli. Vol 6200. Essays in Memory of Amir Pnueli. Springer; 2010:42-60. doi:10.1007/978-3-642-13754-9_3
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4396 |
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. Shape refinement through explicit heap analysis. In: Rosenblum D, Taenzer G, eds. Vol 6013. Springer; 2010:263-277. doi:10.1007/978-3-642-12029-9_19
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4361 |
Wies T, Zufferey D, Henzinger TA. Forward analysis of depth-bounded processes. In: Ong L, ed. Vol 6014. Springer; 2010:94-108. doi:10.1007/978-3-642-12032-9_8
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5388 |
Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. Quantitative Synthesis for Concurrent Programs. IST Austria; 2010. doi:10.15479/AT:IST-2010-0004
[Published Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3865
Chatterjee K, De Alfaro L, Raman V, Sánchez C. Analyzing the impact of change in multi-threaded programs. In: 13th International Conference on Fundamental Approaches to Software Engineering. Vol 6013. Springer; 2010:293-307. doi:10.1007/978-3-642-12029-9_21
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3794
Lampert C, Krömer O. Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning. In: 11th European Conference on Computer Vision. Vol 6312. Springer; 2010:566-579. doi:10.1007/978-3-642-15552-9_41
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 489 |
Cristau J, David C, Horn F. How do we remember the past in randomised strategies? In: Proceedings of GandALF 2010. Vol 25. Open Publishing Association; 2010:30-39. doi:10.4204/EPTCS.25.7
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2010 | Published | Book Chapter | IST-REx-ID: 4339 |
Bergmann J, Danowski P. Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In: Bergmann J, Danowski P, eds. Handbuch Bibliothek 2.0. Bibliotheks- und Informationspraxis 41. De Gruyter; 2010:5-20. doi:10.1515/9783110232103
[Published Version]
View
| Files available
| DOI
2010 | Published | Book (Editor) | IST-REx-ID: 4346 |
Danowski P, Bergmann J, eds. Handbuch Bibliothek 2.0. Vol 41. De Gruyter; 2010. doi:10.1515/9783110232103
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Book Chapter | IST-REx-ID: 3459
Fakler B, Jonas PM. Grundlagen zellulärer Erregbarkeit. In: Schmidt R, Heckmann M, Lang F, eds. Physiologie Des Menschen. Springer; 2010:49-75. doi:10.1007/978-3-642-01651-6_4
View
| DOI