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.
9207 Publications
2010 |Published| Conference Paper | IST-REx-ID: 3851 |
Chatterjee K, Doyen L. 2010. Energy parity games. ICALP: Automata, Languages and Programming, 37th International Colloquium, LNCS, vol. 6199, 599–610.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2010 |Published| Journal Article | IST-REx-ID: 385 |
Alpichshev Z, Analytis J, Chu J, Fisher I, Chen Y, Shen Z, Fang A, Kapitulnik A. 2010. STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects. Physical Review Letters. 104(1).
View
| DOI
| Download None (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 3850
Berberich E, Halperin D, Kerber M, Pogalnikova R. 2010. Polygonal reconstruction from approximate offsets. EuroCG: European Workshop on Computational Geometry, 12–23.
View
2010 |Published| Conference Paper | IST-REx-ID: 3860 |
Chatterjee K, Doyen L, Henzinger TA, Raskin J. 2010. Generalized mean-payoff and energy games. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 8, 505–516.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3862 |
Chatterjee K, Doyen L, Henzinger TA. 2010. Quantitative languages. ACM Transactions on Computational Logic (TOCL). 11(4), 23.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3864 |
Chatterjee K, Henzinger TA, Jobstmann B, Singh R. 2010. Measuring and synthesizing systems in probabilistic environments. CAV: Computer Aided Verification, LNCS, vol. 6174, 380–395.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3863 |
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. 2010. Strategy construction for parity games with imperfect information. Information and Computation. 208(10), 1206–1220.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3861 |
Chatterjee K, Henzinger TA, Piterman N. 2010. Strategy logic. Information and Computation. 208(6), 677–693.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3901 |
Bendich P, Edelsbrunner H, Kerber M. 2010. Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics. 16(6), 1251–1260.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3904 |
Ugelvig LV, Kronauer D, Schrempf A, Heinze J, Cremer S. 2010. Rapid anti-pathogen response in ant societies relies on high genetic diversity. Proceedings of the Royal Society of London Series B Biological Sciences. 277(1695), 2821–2828.
View
| DOI
| Download None (ext.)
2010 |Published| Journal Article | IST-REx-ID: 4157 |
Papusheva E, Heisenberg C-PJ. 2010. Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. EMBO Journal. 29(16), 2753–2768.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 |Published| Book Chapter | IST-REx-ID: 4339 |
Bergmann J, Danowski P. 2010.Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In: Handbuch Bibliothek 2.0. , 5–20.
[Published Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 4358
Guinane C, Ben Zakour N, Tormo Mas M, Weinert L, Lowder B, Cartwright R, Smyth D, Smyth C, Lindsay J, Gould K, Witney A, Hinds J, Bollback JP, Rambaut A, Penades J, Fitzgerald JR. 2010. Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation. Genome Biology and Evolution. 2, 454–466.
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4378 |
Kuncak V, Piskac R, Suter P, Wies T. 2010. Building a calculus of data structures. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 26–44.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 |Published| Journal Article | IST-REx-ID: 4379 |
Jones K, Konrad V, Nickovic D. 2010. Analog property checkers: a DDR2 case study. Formal Methods in System Design. 36(2), 114–130.
View
| DOI
| Download (ext.)