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.

9114 Publications


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

2009 | Journal Article | IST-REx-ID: 3828
Schwenk J, Harmel N, Zolles G, Bildl W, Kulik Á, Heimrich B, Chisaka O, Jonas PM, Schulte U, Fakler B, Klocker N. 2009. Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors. Science. 323(5919), 1313–9.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier F, Henzinger TA, Mateescu M, Wolf V. 2009. Fast adaptive uniformization of the chemical master equation. HIBI: High-Performance Computational Systems Biology vol. 4, 118–127.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger TA, Jobstmann B, Wolf V. 2009. Formalisms for specifying Markovian population models. RP: Reachability Problems, LNCS, vol. 5797, 3–23.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger TA, Kirsch C, Marques E, Sokolova A. 2009. Distributed, modular HTL. RTSS: Real-Time Systems Symposium, 171–180.
[Submitted Version] View | Files available | DOI
 

Search

Filter Publications