Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




5064 Publications

2010 | Conference Paper | IST-REx-ID: 4361 | OA
T. Wies, D. Zufferey, and T. A. Henzinger, “Forward analysis of depth-bounded processes,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus, 2010, vol. 6014, pp. 94–108.
[Submitted Version] View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3785
F. Palero, P. Abello, E. Macpherson, C. Matthee, and M. Pascual, “Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata),” Journal of Crustacean Biology, vol. 30, no. 4. Oxford University Press, pp. 658–663, 2010.
View | DOI
 
2010 | Book Chapter | IST-REx-ID: 14983
A. Schlögl, C. Vidaurre, and K.-R. Müller, “Adaptive Methods in BCI Research - An Introductory Tutorial,” in Brain-Computer Interfaces, 1st ed., B. Graimann, G. Pfurtscheller, and B. Allison, Eds. Berlin, Heidelberg: Springer, 2010, pp. 331–355.
View | DOI
 
2009 | Journal Article | IST-REx-ID: 3780 | OA
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 | Conference Paper | IST-REx-ID: 3843 | OA
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 | Conference Paper | IST-REx-ID: 3841 | OA
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 | Conference Paper | IST-REx-ID: 3844 | OA
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 | Conference Paper | IST-REx-ID: 3871 | OA
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 | Journal Article | IST-REx-ID: 3870 | OA
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 | Journal Article | IST-REx-ID: 4136 | OA
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 | Journal Article | IST-REx-ID: 4242 | OA
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 | Book Chapter | IST-REx-ID: 3675
N. H. Barton, “Why sex and recombination? ,” in Cold Spring Harbor Symposia on Quantitative Biology, vol. 74, Cold Spring Harbor Laboratory Press, 2009, pp. 187–195.
View | DOI
 
2009 | Journal Article | IST-REx-ID: 3775 | OA
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 | Conference Paper | IST-REx-ID: 3837 | OA
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 | Conference Paper | IST-REx-ID: 3968 | OA
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 | Journal Article | IST-REx-ID: 4231
N. H. Barton and H. De Vladar, “Statistical mechanics and the evolution of polygenic quantitative traits,” Genetics, vol. 181, no. 3. Genetics Society of America, pp. 997–1011, 2009.
View | DOI
 
2009 | Conference Paper | IST-REx-ID: 4542 | OA
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
 
2009 | Conference Paper | IST-REx-ID: 4545 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of stochastic games with limsup and liminf objectives,” presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece, 2009, vol. 5556, pp. 1–15.
[Submitted Version] View | Files available | DOI
 
2009 | Conference Paper | IST-REx-ID: 4543
K. Chatterjee, T. A. Henzinger, and F. Horn, “Stochastic games with finitary objectives,” presented at the MFCS: Mathematical Foundations of Computer Science, High Tatras, Slovakia, 2009, vol. 5734, pp. 34–54.
View | DOI
 
2009 | Conference Paper | IST-REx-ID: 4569 | OA
R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Better quality in synthesis through quantitative objectives,” presented at the CAV: Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 140–156.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications