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.
5851 Publications
2010 | Journal Article | IST-REx-ID: 3773 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
What role does natural selection play in speciation?
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 1825–1840.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 1825–1840.
2010 | Journal Article | IST-REx-ID: 3777 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mutation and the evolution of recombination
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 1281–1294.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 1281–1294.
2010 | Journal Article | IST-REx-ID: 3772 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Understanding adaptation in large populations
N.H. Barton, PLoS Genetics 6 (2010).
[Published Version]
View
| Files available
| DOI
N.H. Barton, PLoS Genetics 6 (2010).
2010 | Journal Article | IST-REx-ID: 3790 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Control of directed cell migration in vivo by membrane-to-cortex attachment
A. Diz Muñoz, M. Krieg, M. Bergert, I. Ibarlucea Benitez, D. Müller, E. Paluch, C.-P.J. Heisenberg, PLoS Biology 8 (2010).
[Published Version]
View
| Files available
| DOI
A. Diz Muñoz, M. Krieg, M. Bergert, I. Ibarlucea Benitez, D. Müller, E. Paluch, C.-P.J. Heisenberg, PLoS Biology 8 (2010).
2010 | Conference Paper | IST-REx-ID: 3793 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
On parameter learning in CRF-based approaches to object class image segmentation
S. Nowozin, P. Gehler, C. Lampert, in:, Springer, 2010, pp. 98–111.
[Submitted Version]
View
| Files available
| DOI
S. Nowozin, P. Gehler, C. Lampert, in:, Springer, 2010, pp. 98–111.
2010 | Journal Article | IST-REx-ID: 3787 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
DNA extraction from formalin-fixed tissue: new light from the deep sea
F. Palero, S. Hall, P. Clark, D. Johnston, J. Mackenzie Dodds, S. Thatje, Scientia Marina 74 (2010) 465–470.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
F. Palero, S. Hall, P. Clark, D. Johnston, J. Mackenzie Dodds, S. Thatje, Scientia Marina 74 (2010) 465–470.
2010 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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.