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.
6985 Publications
2009 |Published| Conference Paper | IST-REx-ID: 3503 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Henzinger TA. 2009. Probabilistic systems with limsup and liminf objectives. ILC: Infinity in Logic and Computation, LNCS, vol. 5489, 32–45.
View
| DOI
| Download (ext.)
2009 |Published| Conference Poster | IST-REx-ID: 3699
Blaschko M, Lampert C, Bartels A. 2009. Semi-supervised analysis of human fMRI data, Berlin Institute of Technology,p.
View
| Download (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 3703
Blaschko M, Lampert C. 2009. Object localization with global and local context kernels. BMVC: British Machine Vision Conference, Proceedings of the BMVC, , 1–11.
View
| DOI
| Download (ext.)
2009 |Published| Conference Poster | IST-REx-ID: 3717
Lampert C, Peters J. 2009. A high-speed object tracker from off-the-shelf components, IEEE,p.
View
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 3737
Tkačik G, Walczak A, Bialek W. 2009. Optimizing information flow in small genetic networks. Physical Review E Statistical Nonlinear and Soft Matter Physics. 80(3).
View
| DOI
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 3733
Kryazhimskiy S, Tkačik G, Plotkin J. 2009. The dynamics of adaptation on correlated fitness landscapes. PNAS. 106(44), 18638–18643.
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)
Tkačik G, Schneidman E, Berry M, Bialek W. 2009. Spin glass models for a network of real neurons. ArXiv, q-NC, .
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)
Davison A, Barton NH, Clarke B. 2009. 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. 22(8), 1624–1635.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3828
Schwenk J, Harmel N, Zolles G, Bildl W, Kulik Á, Heimrich B, Chisaka O, Jonas PM, Schulte U, Fakler B, Klocker N. 2009. Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors. Science. 323(5919), 1313–9.
View
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3843 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Didier F, Henzinger TA, Mateescu M, Wolf V. 2009. Fast adaptive uniformization of the chemical master equation. HIBI: High-Performance Computational Systems Biology vol. 4, 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)
Henzinger TA, Jobstmann B, Wolf V. 2009. Formalisms for specifying Markovian population models. RP: Reachability Problems, LNCS, vol. 5797, 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)
Henzinger TA, Kirsch C, Marques E, Sokolova A. 2009. Distributed, modular HTL. RTSS: Real-Time Systems Symposium, 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)
Chatterjee K, Doyen L, Henzinger TA. 2009. Probabilistic weighted automata. CONCUR: Concurrency Theory, LNCS, vol. 5710, 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)
Chatterjee K, Henzinger TA, Horn F. 2009. Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). 11(1), 1.
[Submitted Version]
View
| Files available
| DOI