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.

5497 Publications


1993 | Journal Article | IST-REx-ID: 4589
Alur, Rajeev, and Thomas A Henzinger. “Real-Time Logics: Complexity and Expressiveness.” Information and Computation 104, no. 1 (1993): 35–77. https://doi.org/10.1006/inco.1993.1025.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4616
Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems,” 2–11. IEEE, 1993. https://doi.org/10.1109/REAL.1993.393520 .
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1947
Sazanov, Leonid A, and Julie Jackson. “Activation and Inhibition of Mitochondrial Transhydrogenase by Metal Ions.” Biochimica et Biophysica Acta - Bioenergetics 1144, no. 2 (1993): 225–28. https://doi.org/10.1016/0005-2728(93)90177-H.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2539
Ishii, Takahiro, Koki Moriyoshi, Hidemitsu Sugihara, Kazuhir Sakurada, Hiroshi Kadotani, Mineto Yokoi, Chihiro Akazawa, et al. “Molecular Characterization of the Family of the N-Methyl-D-Aspartate Receptor Subunits.” Journal of Biological Chemistry 268, no. 4 (1993): 2836–43.
View
 

1993 | Journal Article | IST-REx-ID: 2541
Shigemoto, Ryuichi, Yoshifumi Nakaya, Sakashi Nomura, Reiko Ogawa Meguro, Hitoshi Ohishi, Takeshi Kaneko, Shigetada Nakanishi, and Noboru Mizuno. “Immunocytochemical Localization of Rat Substance P Receptor in the Striatum.” Neuroscience Letters 153, no. 2 (1993): 157–60. https://doi.org/10.1016/0304-3940(93)90311-8.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2546
Kaneko, Takeshi, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Substance P Receptor-Immunoreactive Neurons in the Rat Neostriatum Are Segregated into Somatostatinergic and Cholinergic Aspiny Neurons.” Brain Research 631, no. 2 (1993): 297–303. https://doi.org/10.1016/0006-8993(93)91548-7.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 3568
Edelsbrunner, Herbert. “Geometric Algorithms.” In Handbook of Convex Geometry, 699–735. North Holland, 1993.
View | Download (ext.)
 

1993 | Journal Article | IST-REx-ID: 3474   OA
Jonas, Peter M, Guy Major, and Bert Sakmann. “Quantal Components of Unitary EPSCs at the Mossy Fibre Synapse on CA3 Pyramidal Cells of Rat Hippocampus.” Journal of Physiology 472 (1993): 615–63. https://doi.org/10.1113/jphysiol.1993.sp019965.
View | DOI | Download (ext.)
 

1993 | Journal Article | IST-REx-ID: 4042
Edelsbrunner, Herbert, and Tiow Tan. “A Quadratic Time Algorithm for the Minmax Length Triangulation.” SIAM Journal on Computing 22, no. 3 (1993): 527–51. https://doi.org/10.1137/0222036 .
View | DOI
 

1993 | Book Review | IST-REx-ID: 4302
Barton, Nicholas H. “Review of "The Causes of Molecular Evolution" by J.H. Gillespie.” Genetical Research. Cambridge University Press, 1993. https://doi.org/10.1017/S001667230003158X .
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1948
Sazanov, Leonid A, and Julie Jackson. “Possible Functions of the NADP-Linked Isocitrate Dehydrogenase and H+ -Transhydrogenase in Heart Mitochondria .” Biochemical Society Transactions 21, no. 3 (1993).
View
 

1993 | Journal Article | IST-REx-ID: 1950
Jackson, Julie, N P J Cotton, Ross Williams, Tania Bizouarn, Mike Hutton, Leonid A Sazanov, and Christopher Thomas. “Proton-Translocating Transhydrogenase in Bacteria.” Biochemical Society Transactions 21, no. 4 (1993): 1010–13.
View
 

1993 | Journal Article | IST-REx-ID: 2542
Shigemoto, Ryuichi, Sakashi Nomura, Hitoshi Ohishi, Hidemitsu Sugihara, Shigetada Nakanishi, and Noboru Mizuno. “Immunohistochemical Localization of a Metabotropic Glutamate Receptor, MGluR5, in the Rat Brain.” Neuroscience Letters 163, no. 1 (1993): 53–57. https://doi.org/10.1016/0304-3940(93)90227-C.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 3451
Jonas, Peter M. “Glutamate Receptors in the Central Nervous System.” In Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction, 707:126–35. New York Academy of Sciences, 1993.
View | Download (ext.)
 

1993 | Book Chapter | IST-REx-ID: 3569
Edelsbrunner, Herbert. “Computational Geometry.” In Current Trends in Theoretical Computer Science, Essays and Tutorials, 1–48. World Scientific Publishing, 1993. https://doi.org/10.1007/978-3-662-04245-8_1.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4036
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Jack Snoeyink. “Computing a Face in an Arrangement of Line Segments and Related Problems.” SIAM Journal on Computing 22, no. 6 (1993): 1286–1302. https://doi.org/10.1137/0222077 .
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4175
Lindholm, Dan, Georg Dechant, Carl Heisenberg, and Hans Thoenen. “Brain-Derived Neurotrophic Factor Is a Survival Factor for Cultured Rat Cerebellar Granule Neurons and Protects Them against Glutamate-Induced Neurotoxicity.” European Journal of Neuroscience 5, no. 11 (1993): 1455–64. https://doi.org/10.1111/j.1460-9568.1993.tb00213.x.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4303
Barton, Nicholas H. “The Probability of Fixation of a Favoured Allele in a Subdivided Population.” Genetical Research 62, no. 2 (1993): 149–58. https://doi.org/10.1017/S0016672300031748.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4618
Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, and Pei Ho. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.” In Hybrid Systems, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:209–29. Springer, 1993. https://doi.org/10.1007/3-540-57318-6_30.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4620
Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “Computing Accumulated Delays in Real-Time Systems,” 697:181–93. Springer, 1993. https://doi.org/10.1007/3-540-56922-7_16.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed