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.
5895 Publications
2010 |Published| Journal Article | IST-REx-ID: 3834 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Solving the chemical master equation using sliding windows
V. Wolf, R. Goel, M. Mateescu, T.A. Henzinger, BMC Systems Biology 4 (2010) 1–19.
[Published Version]
View
| Files available
| DOI
V. Wolf, R. Goel, M. Mateescu, T.A. Henzinger, BMC Systems Biology 4 (2010) 1–19.
2010 |Published| Conference Paper | IST-REx-ID: 3839 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Invariant and type inference for matrices
T.A. Henzinger, T. Hottelier, L. Kovács, A. Voronkov, in:, Springer, 2010, pp. 163–179.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, T. Hottelier, L. Kovács, A. Voronkov, in:, Springer, 2010, pp. 163–179.
2010 |Published| Conference Paper | IST-REx-ID: 3838 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hybrid numerical solution of the chemical master equation
T.A. Henzinger, M. Mateescu, L. Mikeev, V. Wolf, in:, Springer, 2010, pp. 55–65.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, M. Mateescu, L. Mikeev, V. Wolf, in:, Springer, 2010, pp. 55–65.
2010 |Published| Conference Paper | IST-REx-ID: 3853 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mean-payoff automaton expressions
K. Chatterjee, L. Doyen, H. Edelsbrunner, T.A. Henzinger, P. Rannou, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–283.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, H. Edelsbrunner, T.A. Henzinger, P. Rannou, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–283.
2010 |Published| Conference Paper | IST-REx-ID: 3849 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Persistent homology under non-uniform error
P. Bendich, H. Edelsbrunner, M. Kerber, A. Patel, in:, Springer, 2010, pp. 12–23.
[Submitted Version]
View
| Files available
| DOI
P. Bendich, H. Edelsbrunner, M. Kerber, A. Patel, in:, Springer, 2010, pp. 12–23.
2010 |Published| Conference Paper | IST-REx-ID: 3851 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Energy parity games
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 599–610.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 599–610.
2010 |Published| Journal Article | IST-REx-ID: 385 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects
Z. Alpichshev, J. Analytis, J. Chu, I. Fisher, Y. Chen, Z. Shen, A. Fang, A. Kapitulnik, Physical Review Letters 104 (2010).
View
| DOI
| Download None (ext.)
Z. Alpichshev, J. Analytis, J. Chu, I. Fisher, Y. Chen, Z. Shen, A. Fang, A. Kapitulnik, Physical Review Letters 104 (2010).
2010 |Published| Conference Paper | IST-REx-ID: 3860 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Generalized mean-payoff and energy games
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–516.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–516.
2010 |Published| Journal Article | IST-REx-ID: 3862 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, ACM Transactions on Computational Logic (TOCL) 11 (2010).
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, ACM Transactions on Computational Logic (TOCL) 11 (2010).
2010 |Published| Conference Paper | IST-REx-ID: 3864 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Measuring and synthesizing systems in probabilistic environments
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2010, pp. 380–395.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2010, pp. 380–395.
2010 |Published| Journal Article | IST-REx-ID: 3863 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Strategy construction for parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, Information and Computation 208 (2010) 1206–1220.
[Submitted Version]
View
| Files available
| DOI
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, Information and Computation 208 (2010) 1206–1220.
2010 |Published| Journal Article | IST-REx-ID: 3861 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Strategy logic
K. Chatterjee, T.A. Henzinger, N. Piterman, Information and Computation 208 (2010) 677–693.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, N. Piterman, Information and Computation 208 (2010) 677–693.
2010 |Published| Journal Article | IST-REx-ID: 3901 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Computing robustness and persistence for images
P. Bendich, H. Edelsbrunner, M. Kerber, IEEE Transactions of Visualization and Computer Graphics 16 (2010) 1251–1260.
[Submitted Version]
View
| Files available
| DOI
P. Bendich, H. Edelsbrunner, M. Kerber, IEEE Transactions of Visualization and Computer Graphics 16 (2010) 1251–1260.
2010 |Published| Journal Article | IST-REx-ID: 3904 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rapid anti-pathogen response in ant societies relies on high genetic diversity
L.V. Ugelvig, D. Kronauer, A. Schrempf, J. Heinze, S. Cremer, Proceedings of the Royal Society of London Series B Biological Sciences 277 (2010) 2821–2828.
View
| DOI
| Download None (ext.)
L.V. Ugelvig, D. Kronauer, A. Schrempf, J. Heinze, S. Cremer, Proceedings of the Royal Society of London Series B Biological Sciences 277 (2010) 2821–2828.
2010 |Published| Journal Article | IST-REx-ID: 4157 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis
E. Papusheva, C.-P.J. Heisenberg, EMBO Journal 29 (2010) 2753–2768.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
E. Papusheva, C.-P.J. Heisenberg, EMBO Journal 29 (2010) 2753–2768.
2010 |Published| Book Chapter | IST-REx-ID: 4339 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch
J. Bergmann, P. Danowski, in:, J. Bergmann, P. Danowski (Eds.), Handbuch Bibliothek 2.0, De Gruyter, 2010, pp. 5–20.
[Published Version]
View
| Files available
| DOI
J. Bergmann, P. Danowski, in:, J. Bergmann, P. Danowski (Eds.), Handbuch Bibliothek 2.0, De Gruyter, 2010, pp. 5–20.
2010 |Published| Conference Paper | IST-REx-ID: 4378 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Building a calculus of data structures
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.
2010 |Published| Journal Article | IST-REx-ID: 4379 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Analog property checkers: a DDR2 case study
K. Jones, V. Konrad, D. Nickovic, Formal Methods in System Design 36 (2010) 114–130.
View
| DOI
| Download (ext.)
K. Jones, V. Konrad, D. Nickovic, Formal Methods in System Design 36 (2010) 114–130.
2010 |Published| Conference Paper | IST-REx-ID: 4381 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
FlexPRICE: Flexible provisioning of resources in a cloud environment
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, IEEE, 2010, pp. 83–90.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, IEEE, 2010, pp. 83–90.
2010 |Published| Conference Paper | IST-REx-ID: 4382 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Transactions in the jungle
R. Guerraoui, T.A. Henzinger, M. Kapalka, V. Singh, in:, ACM, 2010, pp. 263–272.
[Submitted Version]
View
| Files available
| DOI
R. Guerraoui, T.A. Henzinger, M. Kapalka, V. Singh, in:, ACM, 2010, pp. 263–272.