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.
7060 Publications
2009 |Published| Conference Paper | IST-REx-ID: 3503 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee and T. A. Henzinger, “Probabilistic systems with limsup and liminf objectives,” presented at the ILC: Infinity in Logic and Computation, 2009, vol. 5489, pp. 32–45.
View
| DOI
| Download (ext.)
2009 |Published| Conference Poster | IST-REx-ID: 3699
M. Blaschko, C. Lampert, and A. Bartels, Semi-supervised analysis of human fMRI data. Berlin Institute of Technology, 2009.
View
| Download (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 3703
M. Blaschko and C. Lampert, “Object localization with global and local context kernels,” presented at the BMVC: British Machine Vision Conference, 2009, pp. 1–11.
View
| DOI
| Download (ext.)
2009 |Published| Conference Poster | IST-REx-ID: 3717
C. Lampert and J. Peters, A high-speed object tracker from off-the-shelf components. IEEE, 2009.
View
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 3737
G. Tkačik, A. Walczak, and W. Bialek, “Optimizing information flow in small genetic networks,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 80, no. 3. American Institute of Physics, 2009.
View
| DOI
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 3733
S. Kryazhimskiy, G. Tkačik, and J. Plotkin, “The dynamics of adaptation on correlated fitness landscapes,” PNAS, vol. 106, no. 44. National Academy of Sciences, pp. 18638–18643, 2009.
View
| DOI
| Download (ext.)
2009 |Published| Preprint | IST-REx-ID: 3732 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
G. Tkačik, E. Schneidman, M. Berry, and W. Bialek, “Spin glass models for a network of real neurons,” ArXiv, vol. q-NC. ArXiv, 2009.
View
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 3780 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Davison, N. H. Barton, and B. Clarke, “The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails,” Journal of Evolutionary Biology, vol. 22, no. 8. Wiley, pp. 1624–1635, 2009.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3843 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Fast adaptive uniformization of the chemical master equation,” presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy, 2009, vol. 4, no. 6, pp. 118–127.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3841 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T. A. Henzinger, B. Jobstmann, and V. Wolf, “Formalisms for specifying Markovian population models,” presented at the RP: Reachability Problems, Palaiseau, France, 2009, vol. 5797, pp. 3–23.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3844 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T. A. Henzinger, C. Kirsch, E. Marques, and A. Sokolova, “Distributed, modular HTL,” presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States, 2009, pp. 171–180.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3871 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Probabilistic weighted automata,” presented at the CONCUR: Concurrency Theory, Bologna, Italy, 2009, vol. 5710, pp. 244–258.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3870 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, T. A. Henzinger, and F. Horn, “Finitary winning in omega-regular games,” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1. ACM, 2009.
[Submitted Version]
View
| Files available
| DOI