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.

5424 Publications


1992 | Conference Paper | IST-REx-ID: 4504
T. A. Henzinger, Z. Manna, and A. Pnueli, “What good are digital clocks?,” presented at the ICALP: Automata, Languages and Programming, 1992, vol. 623, pp. 545–558.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2535
Y. Sasai, R. Kageyama, Y. Tagawa, R. Shigemoto, and S. Nakanishi, “Two mammalian helix-loop-helix factors structurally related to Drosophila hairy and Enhancer of split,” Genes and Development, vol. 6, no. 12 B, pp. 2620–2634, 1992.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2484
Y. Tanabe, M. Masu, T. Ishii, R. Shigemoto, and S. Nakanishi, “A family of metabotropic glutamate receptors,” Neuron, vol. 8, no. 1, pp. 169–179, 1992.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3470
P. M. Jonas and B. Sakmann, “Glutamate receptor channels in isolated patches from CA1 and CA3 pyramidal cells of rat hippocampal slices,” Journal of Physiology, vol. 455, pp. 143–171, 1992.
View | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 4043
H. Edelsbrunner, T. Tan, and R. Waupotitsch, “An O(n^2 log n) time algorithm for the MinMax angle triangulation,” SIAM Journal on Scientific Computing, vol. 13, no. 4, pp. 994–1008, 1992.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4048
A. Aggarwal, H. Edelsbrunner, P. Raghavan, and P. Tiwari, “Optimal time bounds for some proximity problems in the plane,” Information Processing Letters, vol. 42, no. 1, pp. 55–60, 1992.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4050
H. Edelsbrunner, “Guest editor’s foreword,” Discrete & Computational Geometry, vol. 8, no. 1, pp. 217–217, 1992.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4308
N. H. Barton, “On the spread of new gene combinations in the third phase of Wright’s shifting balance,” Evolution; International Journal of Organic Evolution, vol. 46, no. 2, pp. 551–557, 1992.
View | Download (ext.)
 

1992 | Conference Paper | IST-REx-ID: 4505
T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, “Symbolic model checking for real-time systems,” presented at the LICS: Logic in Computer Science, 1992, pp. 394–406.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4517
T. A. Henzinger, “Sooner Is Safer Than Later,” Information Processing Letters, vol. 43, no. 3, pp. 135–141, 1992.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed