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
Real-time logics: Complexity and expressiveness
R. Alur, T.A. Henzinger, in:, IEEE, 1990, pp. 390–401.
View
| DOI
| Download (ext.)
R. Alur, T.A. Henzinger, in:, IEEE, 1990, pp. 390–401.
1990 | Journal Article | IST-REx-ID: 3467 |

A K+ channel in Xenopus nerve fibres selectively blocked by bee and snake toxins: binding and voltage-clamp experiments
M. Bräu, F. Dreyer, P.M. Jonas, H. Repp, W. Vogel, Journal of Physiology 420 (1990) 365–385.
View
| DOI
| Download (ext.)
M. Bräu, F. Dreyer, P.M. Jonas, H. Repp, W. Vogel, Journal of Physiology 420 (1990) 365–385.
1990 | Book Chapter | IST-REx-ID: 3565
Probing convex polytopes
D. Dobkin, H. Edelsbrunner, C. Yap, in:, I. Cox, G. Wilfong (Eds.), Autonomous Robot Vehicles, Springer, 1990, pp. 328–341.
View
| DOI
D. Dobkin, H. Edelsbrunner, C. Yap, in:, I. Cox, G. Wilfong (Eds.), Autonomous Robot Vehicles, Springer, 1990, pp. 328–341.
1990 | Journal Article | IST-REx-ID: 3649
Dynamics of polygenic characters under selection
M. Turelli, N.H. Barton, Theoretical Population Biology 38 (1990) 1–57.
View
| DOI
M. Turelli, N.H. Barton, Theoretical Population Biology 38 (1990) 1–57.
1990 | Journal Article | IST-REx-ID: 3650 |

Estimates of selection and gene flow from measures of cline width and linkage disequilibrium in Heliconius hybrid zones
J. Mallet, N.H. Barton, G. Lamas, J. Santisteban, M. Muedas, H. Eeley, Genetics 124 (1990) 921–936.
View
| Download (ext.)
J. Mallet, N.H. Barton, G. Lamas, J. Santisteban, M. Muedas, H. Eeley, Genetics 124 (1990) 921–936.