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.

6023 Publications


1990 | Conference Paper | IST-REx-ID: 4076
Agarwal, Pankaj, Herbert Edelsbrunner, Otfried Schwarzkopf, and Emo Welzl. “ Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs,” 203–10. ACM, 1990. https://doi.org/10.1145/98524.98567.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4077
Aronov, Boris, Bernard Chazelle, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Rephael Wenger. “Points and Triangles in the Plane and Halving Planes in Space,” 112–15. ACM, 1990. https://doi.org/10.1145/98524.98548.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4078
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, John Hershberger, Raimund Seidel, and Micha Sharir. “Slimming down by Adding; Selecting Heavily Covered Points,” 116–27. ACM, 1990. https://doi.org/10.1145/98524.98551.
View | DOI
 

1990 | Book Review | IST-REx-ID: 4310
Barton, Nicholas H, and Steve Jones. “The Language of the Genes.” Nature. Nature Publishing Group, 1990. https://doi.org/10.1038/346415a0.
View | DOI
 

1990 | Book Chapter | IST-REx-ID: 4311
Barton, Nicholas H, and A. Clark. “Population Structure.” In Population Biology: Ecological and Evolutionary Viewpoints, edited by Klaus Wöhrmann and Subodh Jain, 115–74. Springer, 1990.
View
 

1990 | Conference Paper | IST-REx-ID: 4510
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “An Interleaving Model for Real Time,” 717–30. IEEE, 1990.
View | Download (ext.)
 

1990 | Conference Paper | IST-REx-ID: 4522
Henzinger, Thomas A. “Half-Order Modal Logic: How to Prove Real-Time Properties,” 281–96. ACM, 1990. https://doi.org/10.1145/93385.93429.
View | DOI | Download (ext.)
 

1990 | Conference Paper | IST-REx-ID: 4597
Alur, Rajeev, and Thomas A Henzinger. “Real-Time Logics: Complexity and Expressiveness,” 390–401. IEEE, 1990. https://doi.org/10.1109/LICS.1990.113764.
View | DOI | Download (ext.)
 

1990 | Journal Article | IST-REx-ID: 2721
Erdös, László, and Dao Tuyen. “Ergodic Properties of the Multidimensional Rayleigh Gas with a Semipermeable Barrier.” Journal of Statistical Physics 59, no. 5–6 (1990): 1589–1602. https://doi.org/10.1007/BF01334766.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 3467 | OA
Bräu, Michael, Florian Dreyer, Peter M Jonas, Holger Repp, and Werner Vogel. “A K+ Channel in Xenopus Nerve Fibres Selectively Blocked by Bee and Snake Toxins: Binding and Voltage-Clamp Experiments.” Journal of Physiology 420 (1990): 365–85. https://doi.org/10.1113/jphysiol.1990.sp017918.
View | DOI | Download (ext.)
 

Search

Filter Publications