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.

6016 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: 2721
Erdös L, Tuyen D. 1990. Ergodic properties of the multidimensional rayleigh gas with a semipermeable barrier. Journal of Statistical Physics. 59(5–6), 1589–1602.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 3467 | OA
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 | Book Chapter | IST-REx-ID: 3565
Dobkin D, Edelsbrunner H, Yap C. 1990. Probing convex polytopes. Autonomous Robot Vehicles. 328–341.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 3649
Turelli M, Barton NH. 1990. Dynamics of polygenic characters under selection. Theoretical Population Biology. 38(1), 1–57.
View | DOI
 

Search

Filter Publications