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.

7692 Publications


2009 | Published | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee, Krishnendu, et al. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0002.
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5395 | OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009, doi:10.15479/AT:IST-2009-0001.
[Published Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 599 | OA
Knuesel, Matthew, et al. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.” Genes and Development, vol. 23, no. 4, Cold Spring Harbor Laboratory Press, 2009, pp. 439–51, doi:10.1101/gad.1767009.
View | DOI | Download None (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 3503 | OA
Chatterjee, Krishnendu, and Thomas A. Henzinger. Probabilistic Systems with Limsup and Liminf Objectives. Vol. 5489, Springer, 2009, pp. 32–45, doi:10.1007/978-3-642-03092-5_4.
View | DOI | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 3711 | OA
Dhillon, Paramveer, et al. Combining Appearance and Motion for Human Action Classification in Videos. IEEE, 2009, pp. 22–29, doi:10.1109/CVPRW.2009.5204237.
View | DOI | Download None (ext.)
 

2009 | Published | Preprint | IST-REx-ID: 3732 | OA
Tkačik, Gašper, et al. “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: 3775 | OA
Barton, Nicholas H., and Jason Coe. “On the Application of Statistical Physics to Evolutionary Biology.” Journal of Theoretical Biology, vol. 259, no. 2, Elsevier, 2009, pp. 317–24, doi:10.1016/j.jtbi.2009.03.019.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2009 | Published | Journal Article | IST-REx-ID: 3780 | OA
Davison, Angus, et al. “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, 2009, pp. 1624–35, doi:10.1111/j.1420-9101.2009.01770.x.
[Submitted Version] View | Files available | DOI | WoS
 

2009 | Published | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis, Stavros, et al. “On Relational Interfaces.” EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76, doi:10.1145/1629335.1629346.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger, Thomas A., et al. Formalisms for Specifying Markovian Population Models. Vol. 5797, Springer, 2009, pp. 3–23, doi:10.1007/978-3-642-04420-5_2.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3843 | OA
Didier, Frédéric, et al. Fast Adaptive Uniformization of the Chemical Master Equation. Vol. 4, no. 6, IEEE, 2009, pp. 118–27, doi:10.1109/HiBi.2009.23.
[Submitted Version] View | Files available | DOI | WoS
 

2009 | Published | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger, Thomas A., et al. Distributed, Modular HTL. IEEE, 2009, pp. 171–80, doi:10.1109/RTSS.2009.9.
[Submitted Version] View | Files available | DOI | WoS
 

2009 | Published | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee, Krishnendu, et al. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1, 1, ACM, 2009, doi:10.1145/1614431.1614432.
[Submitted Version] View | Files available | DOI | WoS
 

2009 | Published | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee, Krishnendu, et al. Probabilistic Weighted Automata. Vol. 5710, Springer, 2009, pp. 244–58, doi:10.1007/978-3-642-04081-8_17.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3946 | OA
Cremer, Sylvia, and Michael 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, 2009, pp. 129–42, doi:10.1098/rstb.2008.0166.
View | DOI | Download None (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 3968 | OA
Edelsbrunner, Herbert, and John Harer. The Persistent Morse Complex Segmentation of a 3-Manifold. Vol. 5903, Springer, 2009, pp. 36–50, doi:10.1007/978-3-642-10470-1_4.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4136 | OA
Polechova, Jitka, et al. “Species’ Range: Adaptation in Space and Time.” American Naturalist, vol. 174, no. 5, University of Chicago Press, 2009, pp. E186–204, doi:10.1086/605958.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2009 | Published | Journal Article | IST-REx-ID: 4242 | OA
Barton, Nicholas H., and Maria De Cara. “The Evolution of Strong Reproductive Isolation.” Evolution; International Journal of Organic Evolution, vol. 63, no. 5, Wiley, 2009, pp. 1171–90, doi:10.1111/j.1558-5646.2009.00622.x.
[Submitted Version] View | Files available | DOI | WoS
 

2009 | Published | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui, Rachid, et al. Software Transactional Memory on Relaxed Memory Models. Vol. 5643, Springer, 2009, pp. 321–36, doi:10.1007/978-3-642-02658-4_26.
View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4403 | OA
Alur, Rajeev, et al. Algorithmic Analysis of Array-Accessing Programs. Vol. 5771, Springer, 2009, pp. 86–101, doi:10.1007/978-3-642-04027-6_9.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed