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.

6283 Publications


1994 | Journal Article | IST-REx-ID: 4038
B. Chazelle, H. Edelsbrunner, L. Guibas, and M. Sharir, “Algorithms for bichromatic line-segment problems and polyhedral terrains,” Algorithmica, vol. 11, no. 2. Springer, pp. 116–132, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4039
B. Chazelle et al., “Ray shooting in polygons using geodesic triangulations,” Algorithmica, vol. 12, no. 1. Springer, pp. 54–68, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4179
A. Leingärtner, C.-P. J. Heisenberg, R. Kolbeck, H. Thoenen, and D. Lindholm, “Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons,” Journal of Biological Chemistry, vol. 269, no. 2. American Society for Biochemistry and Molecular Biology, pp. 828–830, 1994.
View
 

1994 | Journal Article | IST-REx-ID: 4202
C.-P. J. Heisenberg, J. Cooper, J. Berke, and M. Sofroniew, “NMDA potentiates NGF-induced sprouting of septal cholinergic fibres,” Neuroreport, vol. 5, no. 4. Lippincott, Williams & Wilkins, pp. 413–416, 1994.
View
 

1994 | Journal Article | IST-REx-ID: 4299
L. Partridge and N. H. Barton, “Evolution of aging: Testing the theory using Drosophila,” Genetica, vol. 91, no. 1–3. Springer, pp. 89–98, 1994.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4420
A. Kapur, T. A. Henzinger, Z. Manna, and A. Pnueli, “Proving safety properties of hybrid systems,” presented at the FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, 1994, vol. 863, pp. 431–454.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4440
T. A. Henzinger and P. Kopke, “Verification methods for the divergent runs of clock systems,” presented at the FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, 1994, vol. 863, pp. 351–372.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4501
T. A. Henzinger, Z. Manna, and A. Pnueli, “Temporal proof methodologies for timed transition systems,” Information and Computation, vol. 112, no. 2. Elsevier, pp. 273–337, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4503
T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, “Symbolic model checking for real-time systems,” Information and Computation, vol. 111, no. 2. Elsevier, pp. 193–244, 1994.
View | DOI | Download (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4586
R. Alur and T. A. Henzinger, “Finitary fairness,” presented at the LICS: Logic in Computer Science, 1994, pp. 52–61.
View | DOI
 

1994 | Book Chapter | IST-REx-ID: 4590
R. Alur and T. A. Henzinger, “Real-time system = discrete system + clock variables,” in Theories and Experiences for Real-Time System Development, vol. 2, T. Rus and C. Rattray, Eds. World Scientific Publishing, 1994, pp. 1–29.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4591
R. Alur and T. A. Henzinger, “A really temporal logic,” Journal of the ACM, vol. 41, no. 1. ACM, pp. 181–204, 1994.
View | DOI | Download (ext.)
 

1994 | Book Chapter | IST-REx-ID: 3453
E. Von Kitzing, P. M. Jonas, and B. Sakmann, “Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse,” in Molecular and cellular mechanisms of neurotransmitter release, vol. 29, L. Stjärne, P. Greengard, S. Grillner, T. Hökfelt, and D. Ottoson, Eds. Raven Press, 1994, pp. 235–260.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3460
P. M. Jonas and N. Spruston, “Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS,” Current Opinion in Neurobiology, vol. 4, no. 3. Elsevier, pp. 366–372, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3475 | OA
D. Koh, P. M. Jonas, and W. Vogel, “Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus,” Journal of Physiology, vol. 479. Wiley-Blackwell, pp. 183–197, 1994.
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 3476
G. Major, A. Larkman, P. M. Jonas, B. Sakmann, and J. Jack, “Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices,” Journal of Neuroscience, vol. 14, no. 8. Society for Neuroscience, pp. 4613–4638, 1994.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 3477
P. M. Jonas, C. Racca, B. Sakmann, P. Seeburg, and H. Monyer, “Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression,” Neuron, vol. 12, no. 6. Elsevier, pp. 1281–1289, 1994.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 3550
H. Edelsbrunner, “Modeling with simplicial complexes (topology, geometry and algorithms),” presented at the CCCG: Canadian Conference on Computational Geometry, 1994, pp. 36–44.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 3641
N. H. Barton, “The reduction in fixation probability caused by substitutions at linked loci,” Genetical Research, vol. 64, no. 3. Cambridge University Press, pp. 199–208, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3642
M. Turelli and N. H. Barton, “Genetic and statistical analyses of strong selection on polygenic traits: What, me normal?,” Genetics, vol. 138, no. 3. Genetics Society of America, pp. 913–941, 1994.
View | Download (ext.)
 

1993 | Journal Article | IST-REx-ID: 2487
H. Ohishi, R. Shigemoto, S. Nakanishi, and N. Mizuno, “ Distribution of the mRNA for a metabotropic glutamate receptor (mGluR3) in the rat brain: An in situ hybridization study,” Journal of Comparative Neurology, vol. 335, no. 2. Wiley-Blackwell, pp. 252–266, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2536
Y. Nakajima et al., “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, vol. 268, no. 16. American Society for Biochemistry and Molecular Biology, pp. 11868–11873, 1993.
View
 

1993 | Journal Article | IST-REx-ID: 2537
Y. Tanabe, A. Nomura, M. Masu, R. Shigemoto, N. Mizuno, and S. Nakanishi, “Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4,” Journal of Neuroscience, vol. 13, no. 4. Society for Neuroscience, pp. 1372–1378, 1993.
View
 

1993 | Journal Article | IST-REx-ID: 2538
M. Iwai, S. Hori, R. Shigemoto, H. Kanzaki, T. Mori, and S. Nakanishi, “Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization,” Biology of Reproduction, vol. 49, no. 4. Society for the Study of Reproduction, pp. 675–680, 1993.
View
 

1993 | Journal Article | IST-REx-ID: 2539
T. Ishii et al., “Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits,” Journal of Biological Chemistry, vol. 268, no. 4. American Society for Biochemistry and Molecular Biology, pp. 2836–2843, 1993.
View
 

1993 | Journal Article | IST-REx-ID: 2540
H. Ohishi, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Distribution of the messenger RNA for a metabotropic glutamate receptor, mGluR2, in the central nervous system of the rat,” Neuroscience, vol. 53, no. 4. Elsevier, pp. 1009–1018, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2541
R. Shigemoto et al., “Immunocytochemical localization of rat substance P receptor in the striatum,” Neuroscience Letters, vol. 153, no. 2. Elsevier, pp. 157–160, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2542
R. Shigemoto, S. Nomura, H. Ohishi, H. Sugihara, S. Nakanishi, and N. Mizuno, “Immunohistochemical localization of a metabotropic glutamate receptor, mGluR5, in the rat brain,” Neuroscience Letters, vol. 163, no. 1. Elsevier, pp. 53–57, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2543
H. Hashimoto, T. Ishihara, R. Shigemoto, K. Mori, and S. Nagata, “ Molecular cloning and tissue distribution of a receptor for pituitary adenylate cyclase-activating polypeptide,” Neuron, vol. 11, no. 2. Elsevier, pp. 333–342, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2544
Y. Hayashi et al., “Role of a metabotropic glutamate receptor in synaptic modulation in the accessory olfactory bulb,” Nature, vol. 366, no. 6456. Nature Publishing Group, pp. 687–690, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2546
T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Substance P receptor-immunoreactive neurons in the rat neostriatum are segregated into somatostatinergic and cholinergic aspiny neurons,” Brain Research, vol. 631, no. 2. Elsevier, pp. 297–303, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2723
L. Erdös, “Ground-state density of the Pauli operator in the large field limit,” Letters in Mathematical Physics, vol. 29, no. 3. Springer, pp. 219–240, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1947
L. A. Sazanov and J. Jackson, “Activation and inhibition of mitochondrial transhydrogenase by metal ions,” Biochimica et Biophysica Acta - Bioenergetics, vol. 1144, no. 2. Elsevier, pp. 225–228, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1948
L. A. Sazanov and J. Jackson, “Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria ,” Biochemical Society Transactions, vol. 21, no. 3. Portland Press, 1993.
View
 

1993 | Journal Article | IST-REx-ID: 1950
J. Jackson et al., “Proton-translocating transhydrogenase in bacteria,” Biochemical Society Transactions, vol. 21, no. 4. Portland Press, pp. 1010–1013, 1993.
View
 

1993 | Conference Paper | IST-REx-ID: 4616
R. Alur, T. A. Henzinger, and P. Ho, “Automatic symbolic verification of embedded systems,” presented at the RTSS: Real-Time Systems Symposium, 1993, pp. 2–11.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4618
R. Alur, C. Courcoubetis, T. A. Henzinger, and P. Ho, “Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems,” in Hybrid Systems, vol. 736, R. Grossman, A. Nerode, A. Ravn, and H. Rischel, Eds. Springer, 1993, pp. 209–229.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
R. Alur, T. A. Henzinger, and M. Vardi, “Parametric real-time reasoning,” presented at the STOC: Symposium on the Theory of Computing, 1993, pp. 592–601.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4620
R. Alur, C. Courcoubetis, and T. A. Henzinger, “Computing accumulated delays in real-time systems,” presented at the CAV: Computer Aided Verification, 1993, vol. 697, pp. 181–193.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4036
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, and J. Snoeyink, “Computing a face in an arrangement of line segments and related problems,” SIAM Journal on Computing, vol. 22, no. 6. SIAM, pp. 1286–1302, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4040
H. Edelsbrunner and T. Tan, “An upper bound for conforming Delaunay triangulations,” Discrete & Computational Geometry, vol. 10, no. 1. Springer, pp. 197–213, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4041
H. Edelsbrunner, R. Seidel, and M. Sharir, “On the zone theorem for hyperplane arrangements,” SIAM Journal on Computing, vol. 22, no. 2. SIAM, pp. 418–429, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4042
H. Edelsbrunner and T. Tan, “A quadratic time algorithm for the minmax length triangulation,” SIAM Journal on Computing, vol. 22, no. 3. SIAM, pp. 527–551, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4044
M. Bern, H. Edelsbrunner, D. Eppstein, S. Mitchell, and T. Tan, “Edge insertion for optimal triangulations,” Discrete & Computational Geometry, vol. 10, no. 1. Springer, pp. 47–65, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4045
B. Chazelle, H. Edelsbrunner, L. Guibas, and M. Sharir, “Diameter, width, closest line pair, and parametric searching,” Discrete & Computational Geometry, vol. 10, no. 1. Springer, pp. 183–196, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4175
D. Lindholm, G. Dechant, C.-P. J. Heisenberg, and H. 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, vol. 5, no. 11. Wiley-Blackwell, pp. 1455–1464, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4177
D. Lindholm et al., “Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation,” Journal of Cell Biology, vol. 122, no. 2. Rockefeller University Press, pp. 443–450, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4300
L. Partridge and N. H. Barton, “Optimality, mutation and the evolution of ageing,” Nature, vol. 362. Nature Publishing Group, pp. 305–311, 1993.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4301
N. H. Barton and K. Gale, “Genetic analysis of hybrid zones,” in Hybrid zones and the evolutionary process, R. Harrison, Ed. Oxford University Press, 1993, pp. 13–45.
View
 

1993 | Book Review | IST-REx-ID: 4302
N. H. Barton, “Review of "The causes of molecular evolution" by J.H. Gillespie,” Genetical Research, vol. 62, no. 1. Cambridge University Press, pp. 77–85, 1993.
View | DOI
 

Search

Filter Publications