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.

5430 Publications

1993 | Journal Article | IST-REx-ID: 3473
Ruppersberg P, Ermler M, Knopf M, Kues W, Jonas PM, Koenen M. Properties of Shaker-homologous potassium channels expressed in the mammalian brain. Cellular Physiology and Biochemistry. 1993;3:250-269. doi:10.1159/000154691
View | DOI

1993 | Journal Article | IST-REx-ID: 4041
Edelsbrunner H, Seidel R, Sharir M. On the zone theorem for hyperplane arrangements. SIAM Journal on Computing. 1993;22(2):418-429. doi:10.1137/0222031
View | DOI

1993 | Book Chapter | IST-REx-ID: 4301
Barton NH, Gale K. Genetic analysis of hybrid zones. In: Harrison R, ed. Hybrid Zones and the Evolutionary Process. Oxford University Press; 1993:13-45.

1993 | Journal Article | IST-REx-ID: 4589
Alur R, Henzinger TA. Real-time logics: Complexity and expressiveness. Information and Computation. 1993;104(1):35-77. doi:10.1006/inco.1993.1025
View | DOI

1993 | Conference Paper | IST-REx-ID: 4616
Alur R, Henzinger TA, Ho P. Automatic symbolic verification of embedded systems. In: IEEE; 1993:2-11. doi:10.1109/REAL.1993.393520
View | DOI


Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed