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.

7668 Publications


2009 | Published | Conference Paper | IST-REx-ID: 3711 | OA
Combining appearance and motion for human action classification in videos
P. Dhillon, S. Nowozin, C. Lampert, in:, IEEE, 2009, pp. 22–29.
View | DOI | Download None (ext.)
 

2009 | Published | Preprint | IST-REx-ID: 3732 | OA
Spin glass models for a network of real neurons
G. Tkačik, E. Schneidman, M. Berry, W. Bialek, ArXiv q-NC (2009).
View | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 3775 | OA
On the application of statistical physics to evolutionary biology
N.H. Barton, J. Coe, Journal of Theoretical Biology 259 (2009) 317–324.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2009 | Published | Journal Article | IST-REx-ID: 3780 | OA
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
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.
[Submitted Version] View | Files available | DOI | WoS
 

2009 | Published | Conference Paper | IST-REx-ID: 3837 | OA
On relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3841 | OA
Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3843 | OA
Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
[Submitted Version] View | Files available | DOI | WoS
 

2009 | Published | Conference Paper | IST-REx-ID: 3844 | OA
Distributed, modular HTL
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
[Submitted Version] View | Files available | DOI | WoS
 

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

2009 | Published | Conference Paper | IST-REx-ID: 3871 | OA
Probabilistic weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3946 | OA
Analogies in the evolution of individual and social immunity
S. Cremer, M.K. Sixt, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 364 (2009) 129–142.
View | DOI | Download None (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 3968 | OA
The persistent Morse complex segmentation of a 3-manifold
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4136 | OA
Species' range: Adaptation in space and time
J. Polechova, N.H. Barton, G. Marion, American Naturalist 174 (2009) E186–E204.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2009 | Published | Journal Article | IST-REx-ID: 4242 | OA
The evolution of strong reproductive isolation
N.H. Barton, M. De Cara, Evolution; International Journal of Organic Evolution 63 (2009) 1171–1190.
[Submitted Version] View | Files available | DOI | WoS
 

2009 | Published | Conference Paper | IST-REx-ID: 4383 | OA
Software transactional memory on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.
View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4403 | OA
Algorithmic analysis of array-accessing programs
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4453 | OA
Sliding-window abstraction for infinite Markov chains
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.
View | Files available | DOI | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4542 | OA
Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4544 | OA
Termination criteria for solving concurrent safety and reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
View | Files available | DOI | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4545 | OA
A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
[Submitted Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed