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.

6278 Publications


1992 | Journal Article | IST-REx-ID: 4308
Barton, Nicholas H. “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, Wiley-Blackwell, 1992, pp. 551–57.
View | Download (ext.)
 

1992 | Conference Paper | IST-REx-ID: 4504
Henzinger, Thomas A., et al. What Good Are Digital Clocks? Vol. 623, Springer, 1992, pp. 545–58, doi:10.1007/3-540-55719-9_103.
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4505
Henzinger, Thomas A., et al. Symbolic Model Checking for Real-Time Systems. IEEE, 1992, pp. 394–406, doi:10.1109/LICS.1992.185551.
View | DOI
 

1992 | Book Chapter | IST-REx-ID: 4507
Henzinger, Thomas A., et al. “Timed Transition Systems.” Real Time: Theory in Practice, vol. 600, Springer, 1992, pp. 226–51, doi:10.1007/BFb0031995.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4517
Henzinger, Thomas A. “Sooner Is Safer Than Later.” Information Processing Letters, vol. 43, no. 3, Elsevier, 1992, pp. 135–41, doi:10.1016/0020-0190(92)90005-G.
View | DOI | Download (ext.)
 

1992 | Book Chapter | IST-REx-ID: 4593
Alur, Rajeev, and Thomas A. Henzinger. “Logics and Models of Real Time: A Survey.” Real Time: Theory in Practice, vol. 600, Springer, 1992, pp. 74–106, doi:10.1007/BFb0031984.
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4594
Alur, Rajeev, and Thomas A. Henzinger. Back to the Future: Towards a Theory of Timed Regular Languages. IEEE, 1992, pp. 177–86, doi:10.1109/SFCS.1992.267774.
View | DOI | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 3469
Burnashev, Nail, et al. “Calcium-Permeable AMPA-Kainate Receptors in Fusiform Cerebellar Glial Cells.” Science, vol. 256, no. 5063, American Association for the Advancement of Science, 1992, pp. 1566–70, doi:10.1126/science.1317970.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3470
Jonas, Peter M., and Bert Sakmann. “Glutamate Receptor Channels in Isolated Patches from CA1 and CA3 Pyramidal Cells of Rat Hippocampal Slices.” Journal of Physiology, vol. 455, Wiley-Blackwell, 1992, pp. 143–71.
View | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 3471 | OA
Colquhoun, D., et al. “Action of Brief Pulses of Glutamate on AMPA/Kainate Receptors in Patches from Different Neurones of Rat Hippocampal Slices.” Journal of Physiology, vol. 458, Wiley-Blackwell, 1992, pp. 261–87, doi:10.1113/jphysiol.1992.sp019417.
View | DOI | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 3472
Koh, Duk, et al. “A TEA-Insensitive Flickering Potassium Channel Active around the Resting Potential in Myelinated Nerve.” Journal of Membrane Biology, vol. 130, Springer, 1992, pp. 149–62, doi:10.1007/BF00231893.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3581
Chazelle, Bernard, et al. “Counting and Cutting Cycles of Lines and Rods in Space.” Computational Geometry: Theory and Applications, vol. 1, no. 6, Elsevier, 1992, pp. 305–23, doi:10.1016/0925-7721(92)90009-H.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3645
Sanderson, Neil, et al. “Variation in Mating Call across the Hybrid Zone between the Fire-Bellied Toads Bombina Bombina and B. Variegata.” Evolution, vol. 46, no. 3, Wiley-Blackwell, 1992, pp. 595–607.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 2482
Masu, Masayuki, et al. “Sequence and Expression of a Metabotropic Glutamate Receptor.” Nature, vol. 349, no. 6312, Nature Publishing Group, 1991, pp. 760–65, doi:10.1038/349760a0.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2483
Moriyoshi, Koki, et al. “Molecular Cloning and Characterization of the Rat NMDA Receptor.” Nature, vol. 353, no. 6348, Nature Publishing Group, 1991, pp. 31–37, doi:10.1038/354031a0.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2529
Yasui, Yukihiko, et al. “Topographical Projections from the Cerebral Cortex to the Nucleus of the Solitary Tract in the Cat.” Experimental Brain Research, vol. 85, no. 1, Springer, 1991, pp. 75–84, doi:10.1007/BF00229988.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2530
Nakanishi, Shigetada, et al. “Molecular Characterization of Mammalian Tachykinin Receptors and a Possible Epithelial Potassium Channel.” Recent Progress in Hormone Research, vol. 46, no. 1, The Endocrine Society, 1991, pp. 59–83.
View
 

1991 | Journal Article | IST-REx-ID: 1946
Zaǐtsev, Sergei, et al. “Respiratory Burst Inhibition in Human Neutrophils by Ultra-Low Doses of [D-Ala2] Methionine Enkephalinamide.” FEBS Letters, vol. 291, no. 1, Elsevier, 1991, pp. 84–86, doi:10.1016/0014-5793(91)81109-L.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4621
Alur, Rajeev, et al. The Benefits of Relaxing Punctuality. ACM, 1991, pp. 139–52.
View
 

1991 | Journal Article | IST-REx-ID: 4051
Edelsbrunner, Herbert, and Weiping Shi. “An O(n Log^2 h) Time Algorithm for the Three-Dimensional Convex Hull Problem.” SIAM Journal on Computing, vol. 20, no. 2, SIAM, 1991, pp. 259–69, doi:10.1137/0220016 .
View | DOI
 

Search

Filter Publications