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.

6551 Publications


2009 | Published | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis, S., Lickly, B., Henzinger, T. A., & Lee, E. (2009). On relational interfaces. In EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software (pp. 67–76). Grenoble, France: ACM. https://doi.org/10.1145/1629335.1629346
[Submitted Version] View | Files available | DOI
 

earlier version | 2009 | Published | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger, T. A., Jobstmann, B., & Wolf, V. (2009). Formalisms for specifying Markovian population models (Vol. 5797, pp. 3–23). Presented at the RP: Reachability Problems, Palaiseau, France: Springer. https://doi.org/10.1007/978-3-642-04420-5_2
[Submitted Version] View | Files available | DOI
 

earlier version | 2009 | Published | Conference Paper | IST-REx-ID: 3843 | OA
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Fast adaptive uniformization of the chemical master equation (Vol. 4, pp. 118–127). Presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy: IEEE. https://doi.org/10.1109/HiBi.2009.23
[Submitted Version] View | Files available | DOI | WoS
 

2009 | Published | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger, T. A., Kirsch, C., Marques, E., & Sokolova, A. (2009). Distributed, modular HTL (pp. 171–180). Presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States: IEEE. https://doi.org/10.1109/RTSS.2009.9
[Submitted Version] View | Files available | DOI | WoS
 

2009 | Published | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Probabilistic weighted automata (Vol. 5710, pp. 244–258). Presented at the CONCUR: Concurrency Theory, Bologna, Italy: Springer. https://doi.org/10.1007/978-3-642-04081-8_17
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3968 | OA
Edelsbrunner, H., & Harer, J. (2009). The persistent Morse complex segmentation of a 3-manifold (Vol. 5903, pp. 36–50). Presented at the 3DPH: Modelling the Physiological Human, Zermatt, Switzerland: Springer. https://doi.org/10.1007/978-3-642-10470-1_4
[Submitted Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4136 | OA
Polechova, J., Barton, N. H., & Marion, G. (2009). Species’ range: Adaptation in space and time. American Naturalist. University of Chicago Press. https://doi.org/10.1086/605958
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2009 | Published | Journal Article | IST-REx-ID: 4231
Barton, N. H., & De Vladar, H. (2009). Statistical mechanics and the evolution of polygenic quantitative traits. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.108.099309
View | DOI | WoS
 

2009 | Published | Journal Article | IST-REx-ID: 4242 | OA
Barton, N. H., & De Cara, M. (2009). The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. Wiley. https://doi.org/10.1111/j.1558-5646.2009.00622.x
[Submitted Version] View | Files available | DOI | WoS
 

2009 | Published | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Finitary winning in omega-regular games. ACM Transactions on Computational Logic. ACM. https://doi.org/10.1145/1614431.1614432
[Submitted Version] View | Files available | DOI | WoS
 

2008 | Published | Journal Article | IST-REx-ID: 517
Barton, N. H. (2008). Identity and coalescence in structured populations: A commentary on “Inbreeding coefficients and coalescence times” by Montgomery Slatkin. Genetics Research. Cambridge University Press. https://doi.org/10.1017/S0016672308009683
View | DOI | WoS
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed