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.

5633 Publications

1990 | Conference Paper | IST-REx-ID: 4078
Slimming down by adding; selecting heavily covered points
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, in:, ACM, 1990, pp. 116–127.
View | DOI

1990 | Conference Paper | IST-REx-ID: 4597
Real-time logics: Complexity and expressiveness
R. Alur, T.A. Henzinger, in:, IEEE, 1990, pp. 390–401.
View | DOI | Download (ext.)

1990 | Journal Article | IST-REx-ID: 2528
Immunohistochemical study of a rat membrane protein which induces a selective potassium permeation: Its localization in the apical membrane portion of epithelial cells
T. Sugimoto, Y. Tanabe, R. Shigemoto, M. Iwai, T. Takumi, H. Ohkubo, S. Nakanishi, Journal of Membrane Biology 113 (1990) 39–47.
View | DOI

1990 | Conference Paper | IST-REx-ID: 4067
A hyperplane Incidence problem with applications to counting distances
H. Edelsbrunner, M. Sharir, in:, Springer, 1990, pp. 419–428.
View | DOI

1990 | Journal Article | IST-REx-ID: 4074
Combinatorial complexity bounds for arrangements of curves and spheres
K. Clarkson, H. Edelsbrunner, L. Guibas, M. Sharir, E. Welzl, Discrete & Computational Geometry 5 (1990) 99–160.
View | DOI


Filter Publications

Display / Sort

Citation Style: Default

Export / Embed