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.
5859 Publications
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
2009 |Published| Journal Article | IST-REx-ID: 3946 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Cremer and M. K. Sixt, “Analogies in the evolution of individual and social immunity,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 364, no. 1513. Royal Society, The, pp. 129–142, 2009.
View
| DOI
| Download None (ext.)
2009 |Published| Journal Article | IST-REx-ID: 4136 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. Polechova, N. H. Barton, and G. Marion, “Species’ range: Adaptation in space and time,” American Naturalist, vol. 174, no. 5. University of Chicago Press, pp. E186–E204, 2009.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 4242 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
N. H. Barton and M. De Cara, “The evolution of strong reproductive isolation,” Evolution; International Journal of Organic Evolution, vol. 63, no. 5. Wiley, pp. 1171–1190, 2009.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3052 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Vanneste and J. Friml, “Auxin: A trigger for change in plant development,” Cell, vol. 136, no. 6. Cell Press, pp. 1005–1016, 2009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 3051 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
D. Weijers and J. Friml, “SnapShot: Auxin signaling and transport,” Cell, vol. 136, no. 6. Cell Press, pp. 1172–1172, 2009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 3197 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. P. Kumar, V. Kolmogorov, and P. Torr, “An analysis of convex relaxations for MAP estimation of discrete MRFs,” Journal of Machine Learning Research, vol. 10. Microtome Publishing, pp. 71–106, 2009.
View
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 3775 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
N. H. Barton and J. Coe, “On the application of statistical physics to evolutionary biology,” Journal of Theoretical Biology, vol. 259, no. 2. Elsevier, pp. 317–324, 2009.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 3837 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Tripakis, B. Lickly, T. A. Henzinger, and E. Lee, “On relational interfaces,” in EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software, Grenoble, France, 2009, pp. 67–76.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3968 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
H. Edelsbrunner and J. Harer, “The persistent Morse complex segmentation of a 3-manifold,” presented at the 3DPH: Modelling the Physiological Human, Zermatt, Switzerland, 2009, vol. 5903, pp. 36–50.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4383 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. Guerraoui, T. A. Henzinger, and V. Singh, “Software transactional memory on relaxed memory models,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 321–336.
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4403 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing programs,” presented at the CSL: Computer Science Logic, Coimbra, Portugal, 2009, vol. 5771, pp. 86–101.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 4453 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T. A. Henzinger, M. Mateescu, and V. Wolf, “Sliding-window abstraction for infinite Markov chains,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 337–352.
View
| Files available
| DOI
| Download (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 4542 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Alternating weighted automata,” presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland, 2009, vol. 5699, pp. 3–13.
[Submitted Version]
View
| Files available
| DOI