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 TA. 1990. Real-time logics: Complexity and expressiveness. LICS: Logic in Computer Science, 390–401.
View
| DOI
| Download (ext.)
1990 | Journal Article | IST-REx-ID: 3467 | 
Bräu M, Dreyer F, Jonas PM, 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. 420, 365–385.
View
| DOI
| Download (ext.)
1990 | Journal Article | IST-REx-ID: 3650 |
Mallet J, Barton NH, 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. 124(4), 921–936.
View
| Download (ext.)
1990 | Journal Article | IST-REx-ID: 3651 |
Barton NH. 1990. Pleiotropic models of quantitative variation. Genetics. 124(3), 773–782.
View
| Download (ext.)