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.

31 Publications

1990 | Conference Paper | IST-REx-ID: 4597
Alur, R., & Henzinger, T. A. (1990). Real-time logics: Complexity and expressiveness (pp. 390–401). Presented at the LICS: Logic in Computer Science, IEEE.
View | DOI | Download (ext.)

1990 | Journal Article | IST-REx-ID: 3467 | OA
Bräu, M., Dreyer, F., Jonas, P. M., Repp, H., & Vogel, W. (1990). A K+ channel in Xenopus nerve fibres selectively blocked by bee and snake toxins: binding and voltage-clamp experiments. Journal of Physiology. Wiley-Blackwell.
View | DOI | Download (ext.)

1990 | Book Chapter | IST-REx-ID: 3565
Dobkin, D., Edelsbrunner, H., & Yap, C. (1990). Probing convex polytopes. In I. Cox & G. Wilfong (Eds.), Autonomous Robot Vehicles (pp. 328–341). Springer.
View | DOI

1990 | Journal Article | IST-REx-ID: 3649
Turelli, M., & Barton, N. H. (1990). Dynamics of polygenic characters under selection. Theoretical Population Biology. Academic Press.
View | DOI

1990 | Journal Article | IST-REx-ID: 3650 | OA
Mallet, J., Barton, N. H., Lamas, G., Santisteban, J., Muedas, M., & Eeley, H. (1990). Estimates of selection and gene flow from measures of cline width and linkage disequilibrium in Heliconius hybrid zones. Genetics. Genetics Society of America.
View | Download (ext.)

Filters and Search Terms



Filter Publications