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.

5623 Publications


1990 | Conference Paper | IST-REx-ID: 4078
Chazelle, Bernard, et al. Slimming down by Adding; Selecting Heavily Covered Points. ACM, 1990, pp. 116–27, doi:10.1145/98524.98551.
View | DOI
 

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

1990 | Journal Article | IST-REx-ID: 2528
Sugimoto, Tetsuo, et al. “Immunohistochemical Study of a Rat Membrane Protein Which Induces a Selective Potassium Permeation: Its Localization in the Apical Membrane Portion of Epithelial Cells.” Journal of Membrane Biology, vol. 113, no. 1, Springer, 1990, pp. 39–47, doi:10.1007/BF01869604.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4067
Edelsbrunner, Herbert, and Micha Sharir. A Hyperplane Incidence Problem with Applications to Counting Distances. Vol. 450, Springer, 1990, pp. 419–28, doi:10.1007/3-540-52921-7_91.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4074
Clarkson, Kenneth, et al. “Combinatorial Complexity Bounds for Arrangements of Curves and Spheres.” Discrete & Computational Geometry, vol. 5, no. 1, Springer, 1990, pp. 99–160, doi:10.1007/BF02187783.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed