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


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
 

1993 | Journal Article | IST-REx-ID: 2536
Nakajima, Yoshiaki, Hideki Iwakabe, Chihiro Akazawa, Hiroyuki Nawa, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Molecular Characterization of a Novel Retinal Metabotropic Glutamate Receptor MGluR6 with a High Agonist Selectivity for L-2-Amino-4- Phosphonobutyrate.” Journal of Biological Chemistry 268, no. 16 (1993): 11868–73.
View
 

1993 | Journal Article | IST-REx-ID: 2543
Hashimoto, Hitoshi, Takeshi Ishihara, Ryuichi Shigemoto, Kensaku Mori, and Shigekazu Nagata. “ Molecular Cloning and Tissue Distribution of a Receptor for Pituitary Adenylate Cyclase-Activating Polypeptide.” Neuron 11, no. 2 (1993): 333–42. https://doi.org/10.1016/0896-6273(93)90188-W.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 3452
Jonas, Peter M. “AMPA-Type Glutamate Receptors - Nonselective Cation Channels Mediating Fast Excitatory Transmission in the CNS.” In Nonselective Cation Channels: Pharmacology, Physiology and Biophysics., edited by Detlef Siemen, 66:61–76. Birkhäuser, 1993.
View
 

1993 | Journal Article | IST-REx-ID: 4044
Bern, Marshall, Herbert Edelsbrunner, David Eppstein, Stephen Mitchell, and Tiow Tan. “Edge Insertion for Optimal Triangulations.” Discrete & Computational Geometry 10, no. 1 (1993): 47–65. https://doi.org/10.1007/BF02573962.
View | DOI
 

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

1993 | Book Chapter | IST-REx-ID: 4506
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Towards Refining Temporal Specifications into Hybrid Systems.” In Hybrid Systems, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:60–76. Springer, 1993. https://doi.org/10.1007/3-540-57318-6_24.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
Alur, Rajeev, Thomas A Henzinger, and Moshe Vardi. “Parametric Real-Time Reasoning,” 592–601. ACM, 1993. https://doi.org/10.1145/167088.167242.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 1945
Sazanov, Leonid A, and Sergei Zaǐtsev. “Effect of Superlow Doses (10(-18)-10-(-14) M) of Biologically Active Substances: General Rules, Features, and Possible Mechanisms.” Biokhimiya 57, no. 10 (1992): 1443–60.
View
 

1992 | Journal Article | IST-REx-ID: 2532
Nishioka, Tatsuya, Yoshifumi Oda, Yutaka Seino, Taizo Yamamoto, Nobuya Inagaki, Hideki Yano, Hiroo Imura, Ryuichi Shigemoto, and Haruhiko Kikuchi. “Distribution of the Glucose Transporters in Human Brain Tumors.” Cancer Research 52, no. 14 (1992): 3972–79.
View
 

1992 | Journal Article | IST-REx-ID: 2486
Shigemoto, Ryuichi, Shigetada Nakanishi, and Noboru Mizuno. “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, no. 1 (1992): 121–35. https://doi.org/10.1002/cne.903220110.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2722
Erdös, László, and Dao Tuyen. “Central Limit Theorems for the One-Dimensional Rayleigh Gas with Semipermeable Barriers.” Communications in Mathematical Physics 143, no. 3 (1992): 451–66. https://doi.org/10.1007/BF02099260.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3472
Koh, Duk, Peter M Jonas, Michael Bräu, and Werner Vogel. “A TEA-Insensitive Flickering Potassium Channel Active around the Resting Potential in Myelinated Nerve.” Journal of Membrane Biology 130 (1992): 149–62. https://doi.org/10.1007/BF00231893.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4305
Hatfield, Todd, Nicholas H Barton, and Jeremy Searle. “A Model of a Hybrid Zone between Two Chromosomal Races of the Common Shrew (Sorex Araneus).” Evolution; International Journal of Organic Evolution 46, no. 4 (1992): 1129–45.
View | Download (ext.)
 

1992 | Book Chapter | IST-REx-ID: 4507
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Timed Transition Systems.” In Real Time: Theory in Practice, 600:226–51. Springer, 1992. https://doi.org/10.1007/BFb0031995.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed