Please note that IST 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.

2708 Publications


2010 | Conference Paper | IST-REx-ID: 4388   OA
GIST: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, in:, Springer, 2010, pp. 665–669.
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 4390   OA
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer, 2010, pp. 465–479.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3842
Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, IET Systems Biology 4 (2010) 441–452.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3773   OA
What role does natural selection play in speciation?
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 1825–1840.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3785
Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata)
F. Palero, P. Abello, E. Macpherson, C. Matthee, M. Pascual, Journal of Crustacean Biology 30 (2010) 658–663.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed