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.

5703 Publications


1993 | Book Review | IST-REx-ID: 4304
Barton, N. H. (1993). Why species and subspecies? Current Biology. Cell Press. https://doi.org/10.1016/0960-9822(93)90036-N
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4506
Henzinger, T. A., Manna, Z., & Pnueli, A. (1993). Towards refining temporal specifications into hybrid systems. In R. Grossman, A. Nerode, A. Ravn, & H. Rischel (Eds.), Hybrid Systems (Vol. 736, pp. 60–76). Springer. https://doi.org/10.1007/3-540-57318-6_24
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
Alur, R., Henzinger, T. A., & Vardi, M. (1993). Parametric real-time reasoning (pp. 592–601). Presented at the STOC: Symposium on the Theory of Computing, ACM. https://doi.org/10.1145/167088.167242
View | DOI
 

1992 | Journal Article | IST-REx-ID: 1945
Sazanov, L. A., & Zaǐtsev, S. (1992). Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms. Biokhimiya, 57(10), 1443–1460.
View
 

1992 | Journal Article | IST-REx-ID: 2532
Nishioka, T., Oda, Y., Seino, Y., Yamamoto, T., Inagaki, N., Yano, H., … Kikuchi, H. (1992). Distribution of the glucose transporters in human brain tumors. Cancer Research, 52(14), 3972–3979.
View
 

1992 | Journal Article | IST-REx-ID: 2486
Shigemoto, R., Nakanishi, S., & Mizuno, N. (1992). Distribution of the mRNA for a metabotropic glutamate receptor (mGluR1) in the central nervous system: An in situ hybridization study in adult and developing rat. Journal of Comparative Neurology, 322(1), 121–135. https://doi.org/10.1002/cne.903220110
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2722
Erdös, L., & Tuyen, D. (1992). Central limit theorems for the one-dimensional Rayleigh gas with semipermeable barriers. Communications in Mathematical Physics, 143(3), 451–466. https://doi.org/10.1007/BF02099260
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3472
Koh, D., Jonas, P. M., Bräu, M., & Vogel, W. (1992). A TEA-insensitive flickering potassium channel active around the resting potential in myelinated nerve. Journal of Membrane Biology, 130, 149–162. https://doi.org/10.1007/BF00231893
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4305
Hatfield, T., Barton, N. H., & Searle, J. (1992). A model of a hybrid zone between two chromosomal races of the common shrew (Sorex araneus). Evolution; International Journal of Organic Evolution, 46(4), 1129–1145.
View | Download (ext.)
 

1992 | Book Chapter | IST-REx-ID: 4507
Henzinger, T. A., Manna, Z., & Pnueli, A. (1992). Timed transition systems. In Real Time: Theory in Practice (Vol. 600, pp. 226–251). Springer. https://doi.org/10.1007/BFb0031995
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2533
Abe, T., Sugihara, H., Nawa, H., Shigemoto, R., Mizuno, N., & Nakanishi, S. (1992). Molecular characterization of a novel metabotropic glutamate receptor mGluR5 coupled to inositol phosphate/Ca2+ signal transduction. Journal of Biological Chemistry, 267(19), 13361–13368.
View
 

1992 | Journal Article | IST-REx-ID: 3581
Chazelle, B., Edelsbrunner, H., Guibas, L., Pollack, R., Seidel, R., Sharir, M., & Snoeyink, J. (1992). Counting and cutting cycles of lines and rods in space. Computational Geometry: Theory and Applications, 1(6), 305–323. https://doi.org/10.1016/0925-7721(92)90009-H
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4046
Chazelle, B., & Edelsbrunner, H. (1992). An optimal algorithm for intersecting line segments in the plane. Journal of the ACM, 39(1), 1–54. https://doi.org/10.1145/147508.147511
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4053
Aronov, B., Edelsbrunner, H., Guibas, L., & Sharir, M. (1992). The number of edges of many faces in a line segment arrangement. Combinatorica, 12(3), 261–274. https://doi.org/10.1007/BF01285815
View | DOI
 

1992 | Book Review | IST-REx-ID: 4306
Barton, N. H., & Goldman, N. (1992). Genetics and geography. Nature. Nature Publishing Group. https://doi.org/10.1038/357440a0
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2534
Ishihara, T., Shigemoto, R., Mori, K., Takahashi, K., & Nagata, S. (1992). Functional expression and tissue distribution of a novel receptor for vasoactive intestinal polypeptide. Neuron, 8(4), 811–819. https://doi.org/10.1016/0896-6273(92)90101-I
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3645
Sanderson, N., Szymura, J., & Barton, N. H. (1992). Variation in mating call across the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata. Evolution, 46(3), 595–607.
View | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 4047
Edelsbrunner, H., Guibas, L., Pach, J., Pollack, R., Seidel, R., & Sharir, M. (1992). Arrangements of curves in the plane - topology, combinatorics, and algorithms. Theoretical Computer Science, 92(2), 319–336. https://doi.org/10.1016/0304-3975(92)90319-B
View | DOI
 

1992 | Book Chapter | IST-REx-ID: 4307
Barton, N. H. (1992). The genetic consequences of dispersal. In N. Stenseth & W. Lidicker (Eds.), Animal dispersal: small mammals as a model (pp. 37–60). Chapman Hall.
View
 

1992 | Conference Paper | IST-REx-ID: 4504
Henzinger, T. A., Manna, Z., & Pnueli, A. (1992). What good are digital clocks? (Vol. 623, pp. 545–558). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-55719-9_103
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2535
Sasai, Y., Kageyama, R., Tagawa, Y., Shigemoto, R., & Nakanishi, S. (1992). Two mammalian helix-loop-helix factors structurally related to Drosophila hairy and Enhancer of split. Genes and Development, 6(12 B), 2620–2634. https://doi.org/10.1101/gad.6.12b.2620
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2484
Tanabe, Y., Masu, M., Ishii, T., Shigemoto, R., & Nakanishi, S. (1992). A family of metabotropic glutamate receptors. Neuron, 8(1), 169–179. https://doi.org/10.1016/0896-6273(92)90118-W
View | DOI
 

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

1992 | Journal Article | IST-REx-ID: 4043
Edelsbrunner, H., Tan, T., & Waupotitsch, R. (1992). An O(n^2 log n) time algorithm for the MinMax angle triangulation. SIAM Journal on Scientific Computing, 13(4), 994–1008. https://doi.org/10.1137/0913058
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4048
Aggarwal, A., Edelsbrunner, H., Raghavan, P., & Tiwari, P. (1992). Optimal time bounds for some proximity problems in the plane. Information Processing Letters, 42(1), 55–60. https://doi.org/10.1016/0020-0190(92)90133-G
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4050
Edelsbrunner, H. (1992). Guest editor’s foreword. Discrete & Computational Geometry, 8(1), 217–217. https://doi.org/10.1007/BF02293046
View | DOI
 

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

1992 | Conference Paper | IST-REx-ID: 4505
Henzinger, T. A., Nicollin, X., Sifakis, J., & Yovine, S. (1992). Symbolic model checking for real-time systems (pp. 394–406). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.1992.185551
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4517
Henzinger, T. A. (1992). Sooner Is Safer Than Later. Information Processing Letters, 43(3), 135–141. https://doi.org/10.1016/0020-0190(92)90005-G
View | DOI | Download (ext.)
 

1992 | Book Chapter | IST-REx-ID: 4593
Alur, R., & Henzinger, T. A. (1992). Logics and models of real time: A survey. In Real Time: Theory in Practice (Vol. 600, pp. 74–106). Springer. https://doi.org/10.1007/BFb0031984
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2485
Hori, S., Komatsu, Y., Shigemoto, R., Mizuno, N., & Nakanishi, S. (1992). Distinct tissue distribution and cellular localization of two messenger ribonucleic acids encoding different subtypes of rat endothelin receptors. Endocrinology, 130(4), 1885–1895. https://doi.org/10.1210/en.130.4.1885
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2531
Shigemoto, R., Ohishi, H., Nakanishi, S., & Mizuno, N. (1992). Expression of the mRNA for the rat NMDA receptor (NMDAR1) in the sensory and autonomic ganglion neurons. Neuroscience Letters, 144(1–2), 229–232. https://doi.org/10.1016/0304-3940(92)90756-W
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2714
Erdös, L. (1992). On some problems of P. Turán concerning power sums of complex numbers. Acta Mathematica Hungarica, 59(1–2), 11–24. https://doi.org/10.1007/BF00052086
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3469
Burnashev, N., Khodorova, A., Jonas, P. M., Helm, P., Wisden, W., Monyer, H., … Sakmann, B. (1992). Calcium-permeable AMPA-kainate receptors in fusiform cerebellar glial cells. Science, 256(5063), 1566–1570. https://doi.org/10.1126/science.1317970
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3471   OA
Colquhoun, D., Jonas, P. M., & Sakmann, B. (1992). Action of brief pulses of glutamate on AMPA/kainate receptors in patches from different neurones of rat hippocampal slices. Journal of Physiology, 458, 261–287. https://doi.org/10.1113/jphysiol.1992.sp019417
View | DOI | Download (ext.)
 

1992 | Conference Paper | IST-REx-ID: 4049
Bern, M., Edelsbrunner, H., Eppstein, D., Mitchell, S., & Tan, T. (1992). Edge insertion for optimal triangulations (Vol. 583, pp. 46–60). Presented at the LATIN: Latin American Symposium on Theoretical Informatics , Springer. https://doi.org/10.1007/BFb0023816
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4195
Heisenberg, C., Thoenen, H., & Lindholm, D. (1992). Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons. Neuroreport, 3(8), 685–688.
View
 

1992 | Conference Paper | IST-REx-ID: 4594
Alur, R., & Henzinger, T. A. (1992). Back to the future: Towards a theory of timed regular languages (pp. 177–186). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/SFCS.1992.267774
View | DOI | Download (ext.)
 

1991 | Book Chapter | IST-REx-ID: 3566
Edelsbrunner, H., & Sharir, M. (1991). A hyperplane incidence problem with applications to counting distances. In Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift (Vol. 4, pp. 253–263). American Mathematical Society.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 3648
Barton, N. H., & Rouhani, S. (1991). The probability of fixation of a new karyotype in a continuous population. Evolution, 45(3), 499–517.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 4052
Chazelle, B., Edelsbrunner, H., Guibas, L., & Sharir, M. (1991). A singly exponential stratification scheme for real semi-algebraic varieties and its applications. Theoretical Computer Science, 84(1), 77–105. https://doi.org/10.1016/0304-3975(91)90261-Y
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4057
Edelsbrunner, H. (1991). Corrigendum. Journal of Computer and System Sciences, 42(2), 249–251. https://doi.org/10.1016/0022-0000(91)90013-U
View | DOI
 

1991 | Journal Article | IST-REx-ID: 1946
Zaǐtsev, S., Sazanov, L. A., Koshkin, A., Sud’Ina, G., & Varfolomeev, S. (1991). Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine enkephalinamide. FEBS Letters, 291(1), 84–86. https://doi.org/10.1016/0014-5793(91)81109-L
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2482
Masu, M., Tanabe, Y., Tsuchida, K., Shigemoto, R., & Nakanishi, S. (1991). Sequence and expression of a metabotropic glutamate receptor. Nature, 349(6312), 760–765. https://doi.org/10.1038/349760a0
View | DOI
 

1991 | Book Chapter | IST-REx-ID: 3567
Edelsbrunner, H. (1991). Lines in space – A collection of results. In Discrete & Computational Geometry (Vol. 6, pp. 77–93). Springer.
View | Download (ext.)
 

1991 | Conference Paper | IST-REx-ID: 4058
Chazelle, B., Edelsbrunner, H., Guibas, L., Sharir, M., & Snoeyink, J. (1991). Computing a face in an arrangement of line segments (pp. 441–448). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
 

1991 | Conference Paper | IST-REx-ID: 4508
Henzinger, T. A., Manna, Z., & Pnueli, A. (1991). Temporal proof methodologies for real-time systems (pp. 353–366). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/99583.99629
View | DOI | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 2483
Moriyoshi, K., Masu, M., Ishii, T., Shigemoto, R., Mizuno, N., & Nakanishi, S. (1991). Molecular cloning and characterization of the rat NMDA receptor. Nature, 353(6348), 31–37. https://doi.org/10.1038/354031a0
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4054
Edelsbrunner, H., Seidel, R., & Sharir, M. (1991). On the zone theorem for hyperplane arrangements (Vol. 555, pp. 108–123). Presented at the New Results and New Trends in Computer Science , Springer. https://doi.org/10.1007/BFb0038185
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4059
Chazelle, B., Edelsbrunner, H., Grigni, M., Guibas, L., Hershberger, J., Sharir, M., & Snoeyink, J. (1991). Ray shooting in polygons using geodesic triangulations (Vol. 510, pp. 661–673). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-54233-7_172
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed