Please note that ISTA 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.
1935 Publications
1995 | Conference Paper | IST-REx-ID: 4448
T. A. Henzinger and P. Ho, “A note on abstract-interpretation strategies for hybrid automata,” in 3rd International Hybrid Systems Workshop, Ithaca, NY, United States of America, 1995, vol. 999, pp. 252–264.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4447
T. A. Henzinger and P. Ho, “HyTech: The Cornell Hybrid Technology Tool,” in 4th International Hybrid Systems Workshop, New Brunswick, NJ, United States of America, 1995, vol. 999, pp. 265–293.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4497
T. A. Henzinger, P. Ho, and H. Wong Toi, “A user guide to HyTech,” in 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Aarhus, Denmark, 1995, vol. 1019, pp. 41–71.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4500
T. A. Henzinger, P. Kopke, and H. Wong Toi, “The expressive power of clocks,” in 22nd International Colloquium on Automata, Languages and Programming , Szeged, Hungary, 1995, vol. 944, pp. 417–428.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4518
T. A. Henzinger, “Hybrid automata with finite bisimulations,” in 22nd International Colloquium on Automata, Languages and Programming , Szeged, Hungary, 1995, vol. 944, pp. 324–335.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4587
R. Alur and T. A. Henzinger, “Local liveness for compositional modeling of fair reactive systems,” in 7th International Conference on Computer Aided Verification, Liege, Belgium, 1995, vol. 939, pp. 166–179.
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 6162
M. de Bono, D. Zarkower, and J. Hodgkin, “Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1,” Genes and Development, vol. 9, no. 2. CSH Press, pp. 155–167, 1995.
View
| DOI
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2489
C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, and N. Mizuno, “Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats,” Journal of Comparative Neurology, vol. 347, no. 1. Wiley-Blackwell, pp. 150–160, 1994.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Book Chapter | IST-REx-ID: 2545
S. Nakanishi, M. Masu, Y. Bessho, Y. Nakajima, Y. Hayashi, and R. Shigemoto, “Molecular diversity of glutamate receptors and their physiological functions,” in Experientia Supplementum, vol. 71, Birkhäuser, 1994, pp. 71–80.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2552
R. Ogawa Meguro, R. Shigemoto, K. Itoh, A. Konishi, and N. Mizuno, “Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat,” Neuroscience Letters, vol. 166, no. 2. Elsevier, pp. 135–138, 1994.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2555
R. Shigemoto, T. Abe, S. Nomura, S. Nakanishi, and T. Hirano, “Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells,” Neuron, vol. 12, no. 6. Elsevier, pp. 1245–1255, 1994.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2557
H. Ohishi, R. Ogawa Meguro, R. Shigemoto, T. Kaneko, S. Nakanishi, and N. Mizuno, “Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex,” Neuron, vol. 13, no. 1. Elsevier, pp. 55–66, 1994.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3475 | 
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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
| Download None (ext.)
| PubMed | Europe PMC
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
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4032
T. Dey and H. Edelsbrunner, “Counting triangle crossings and halving planes,” Discrete & Computational Geometry, vol. 12, no. 1. Springer, pp. 281–289, 1994.
View
| DOI
| Download None (ext.)
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
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4420
A. Kapur, T. A. Henzinger, Z. Manna, and A. Pnueli, “Proving safety properties of hybrid systems,” in 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lübeck, Germany, 1994, vol. 863, pp. 431–454.
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4440
T. A. Henzinger and P. Kopke, “Verification methods for the divergent runs of clock systems,” in 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lübeck, Gernany, 1994, vol. 863, pp. 351–372.
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4615
R. Alur, L. Fix, and T. A. Henzinger, “A determinizable class of timed automata,” in International Conference on Computer Aided Verification, Stanford, CA, United States of America, 1994, vol. 818, pp. 1–13.
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4617
R. Alur et al., “The algorithmic analysis of hybrid systems,” in 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, Sophia-Antipolis, France, 1994, vol. 199, pp. 331–351.
View
| DOI
| Download None (ext.)
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
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 3474 |
P. M. Jonas, G. Major, and B. Sakmann, “Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus,” Journal of Physiology, vol. 472. Wiley-Blackwell, pp. 615–663, 1993.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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
| Download None (ext.)
1993 | Book Chapter | IST-REx-ID: 3452
P. M. Jonas, “AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS,” in Nonselective cation channels: Pharmacology, Physiology and Biophysics., vol. 66, D. Siemen, Ed. Birkhäuser, 1993, pp. 61–76.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
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
| Download None (ext.)
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
| Download None (ext.)
| PubMed | Europe PMC
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
| Download None (ext.)
| PubMed | Europe PMC
1993 | Conference Paper | IST-REx-ID: 4506
T. A. Henzinger, Z. Manna, and A. Pnueli, “Towards refining temporal specifications into hybrid systems,” in International Hybrid Systems Workshop, 1993, vol. 736, pp. 60–76.
View
| DOI
| Download None (ext.)
1993 | Conference Paper | 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, 1993, vol. 736, pp. 209–229.
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4620
R. Alur, C. Courcoubetis, and T. A. Henzinger, “Computing accumulated delays in real-time systems,” in 5th International Conference on Computer Aided Verification, Elounda, Greece, 1993, vol. 697, pp. 181–193.
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 2533 |
T. Abe, H. Sugihara, H. Nawa, R. Shigemoto, N. Mizuno, and S. Nakanishi, “Molecular characterization of a novel metabotropic glutamate receptor mGluR5 coupled to inositol phosphate/Ca2+ signal transduction,” Journal of Biological Chemistry, vol. 267, no. 19. American Society for Biochemistry and Molecular Biology, pp. 13361–13368, 1992.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2535 |
Y. Sasai, R. Kageyama, Y. Tagawa, R. Shigemoto, and S. Nakanishi, “Two mammalian helix-loop-helix factors structurally related to Drosophila hairy and Enhancer of split,” Genes and Development, vol. 6, no. 12 B. Cold Spring Harbor Laboratory Press, pp. 2620–2634, 1992.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2532
T. Nishioka et al., “Distribution of the glucose transporters in human brain tumors,” Cancer Research, vol. 52, no. 14. American Association for Cancer Research, pp. 3972–3979, 1992.
View
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 3470 |
P. M. Jonas and B. Sakmann, “Glutamate receptor channels in isolated patches from CA1 and CA3 pyramidal cells of rat hippocampal slices,” Journal of Physiology, vol. 455. Wiley-Blackwell, pp. 143–171, 1992.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 3471 |
D. Colquhoun, P. M. Jonas, and B. Sakmann, “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, pp. 261–287, 1992.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 4053
B. Aronov, H. Edelsbrunner, L. Guibas, and M. Sharir, “The number of edges of many faces in a line segment arrangement,” Combinatorica, vol. 12, no. 3. Springer, pp. 261–274, 1992.
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 3469
N. Burnashev et al., “Calcium-permeable AMPA-kainate receptors in fusiform cerebellar glial cells.,” Science, vol. 256, no. 5063. American Association for the Advancement of Science, pp. 1566–1570, 1992.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 3645
N. Sanderson, J. Szymura, and N. H. Barton, “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, pp. 595–607, 1992.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Conference Paper | IST-REx-ID: 4049
M. Bern, H. Edelsbrunner, D. Eppstein, S. Mitchell, and T. Tan, “Edge insertion for optimal triangulations,” in 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, 1992, vol. 583, pp. 46–60.
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4504
T. A. Henzinger, Z. Manna, and A. Pnueli, “What good are digital clocks?,” in 19th International Colloquium on Automata, Languages and Programming, Vienna, Austria, 1992, vol. 623, pp. 545–558.
View
| DOI
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 2482
M. Masu, Y. Tanabe, K. Tsuchida, R. Shigemoto, and S. Nakanishi, “Sequence and expression of a metabotropic glutamate receptor,” Nature, vol. 349, no. 6312. Nature Publishing Group, pp. 760–765, 1991.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Book Chapter | IST-REx-ID: 3566
H. Edelsbrunner and M. Sharir, “A hyperplane incidence problem with applications to counting distances,” in Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift, vol. 4, American Mathematical Society, 1991, pp. 253–263.
View
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 4056 |
H. Edelsbrunner and P. Hajnal, “A lower bound on the number of unit distances between the vertices of a convex polygon,” Journal of Combinatorial Theory Series A, vol. 56, no. 2. Elsevier, pp. 312–316, 1991.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1991 | Conference Paper | IST-REx-ID: 4054
H. Edelsbrunner, R. Seidel, and M. Sharir, “On the zone theorem for hyperplane arrangements,” presented at the New Results and New Trends in Computer Science , 1991, vol. 555, pp. 108–123.
View
| DOI
| Download None (ext.)
1991 | Conference Paper | IST-REx-ID: 4059
B. Chazelle et al., “Ray shooting in polygons using geodesic triangulations,” in 18th International Colloquium on Automata, Languages and Programming, Madrid, Spain, 1991, vol. 510, pp. 661–673.
View
| DOI
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 4061 |
P. Agarwal, H. Edelsbrunner, O. Schwarzkopf, and E. Welzl, “Euclidean minimum spanning trees and bichromatic closest pairs,” Discrete & Computational Geometry, vol. 6, no. 1. Springer, pp. 407–422, 1991.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1990 | Journal Article | IST-REx-ID: 3651 |
N. H. Barton, “Pleiotropic models of quantitative variation,” Genetics, vol. 124, no. 3. Genetics Society of America, pp. 773–782, 1990.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1990 | Conference Paper | IST-REx-ID: 4067
H. Edelsbrunner and M. Sharir, “A hyperplane Incidence problem with applications to counting distances,” in Proceedings of the International Symposium on Algorithms, Tokyo, Japan, 1990, vol. 450, pp. 419–428.
View
| DOI
| Download None (ext.)
1990 | Journal Article | IST-REx-ID: 4066
H. Edelsbrunner, L. Guibas, and M. Sharir, “The complexity of many cells in arrangements of planes and related problems,” Discrete & Computational Geometry, vol. 5, no. 1. Springer, pp. 197–216, 1990.
View
| DOI
| Download None (ext.)