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.
1832 Publications
1995 | Conference Paper | IST-REx-ID: 4500
Henzinger, Thomas A., et al. “The Expressive Power of Clocks.” 22nd International Colloquium on Automata, Languages and Programming , vol. 944, Springer, 1995, pp. 417–28, doi:10.1007/3-540-60084-1_93.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4518
Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations.” 22nd International Colloquium on Automata, Languages and Programming , vol. 944, Springer, 1995, pp. 324–35, doi:10.1007/3-540-60084-1_85.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4587
Alur, Rajeev, and Thomas A. Henzinger. “Local Liveness for Compositional Modeling of Fair Reactive Systems.” 7th International Conference on Computer Aided Verification, vol. 939, Springer, 1995, pp. 166–79, doi:10.1007/3-540-60045-0_49.
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 6162
de Bono, Mario, et al. “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, 1995, pp. 155–67, doi:10.1101/gad.9.2.155.
View
| DOI
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2489
Akazawa, Chihiro, et al. “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, 1994, pp. 150–60, doi:10.1002/cne.903470112.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Book Chapter | IST-REx-ID: 2545
Nakanishi, Shigetada, et al. “Molecular Diversity of Glutamate Receptors and Their Physiological Functions.” Experientia Supplementum, vol. 71, Birkhäuser, 1994, pp. 71–80, doi:10.1007/978-3-0348-7330-7_8.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2552
Ogawa Meguro, Reiko, et al. “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, 1994, pp. 135–38, doi:10.1016/0304-3940(94)90469-3.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2555
Shigemoto, Ryuichi, et al. “Antibodies Inactivating MGluR1 Metabotropic Glutamate Receptor Block Long-Term Depression in Cultured Purkinje Cells.” Neuron, vol. 12, no. 6, Elsevier, 1994, pp. 1245–55, doi:10.1016/0896-6273(94)90441-3.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2557
Ohishi, Hitoshi, et al. “Immunohistochemical Localization of Metabotropic Glutamate Receptors, MGluR2 and MGluR3, in Rat Cerebellar Cortex.” Neuron, vol. 13, no. 1, Elsevier, 1994, pp. 55–66, doi:10.1016/0896-6273(94)90459-6.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3475 | 
Koh, Duk, et al. “Na+-Activated K+ Channels Localized in the Nodal Region of Myelinated Axons of Xenopus.” Journal of Physiology, vol. 479, Wiley-Blackwell, 1994, pp. 183–97, doi:10.1113/jphysiol.1994.sp020287.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3477
Jonas, Peter M., et al. “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, 1994, pp. 1281–89, doi:10.1016/0896-6273(94)90444-8.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3641
Barton, Nicholas H. “The Reduction in Fixation Probability Caused by Substitutions at Linked Loci.” Genetical Research, vol. 64, no. 3, Cambridge University Press, 1994, pp. 199–208, doi:10.1017/S0016672300032857 .
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4032
Dey, Tamal, and Herbert Edelsbrunner. “Counting Triangle Crossings and Halving Planes.” Discrete & Computational Geometry, vol. 12, no. 1, Springer, 1994, pp. 281–89, doi:10.1007/BF02574381.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4179 |
Leingärtner, Axel, et al. “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, 1994, pp. 828–30, doi:10.1016/s0021-9258(17)42186-7.
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4420
Kapur, Arjun, et al. “Proving Safety Properties of Hybrid Systems.” 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, vol. 863, Springer, 1994, pp. 431–54, doi:10.1007/3-540-58468-4_177.
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4440
Henzinger, Thomas A., and Peter Kopke. “Verification Methods for the Divergent Runs of Clock Systems.” 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, vol. 863, Springer, 1994, pp. 351–72, doi:10.1007/3-540-58468-4_173.
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4615
Alur, Rajeev, et al. “A Determinizable Class of Timed Automata.” International Conference on Computer Aided Verification, vol. 818, Springer, 1994, pp. 1–13, doi:10.1007/3-540-58179-0_39.
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4617
Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.” 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, vol. 199, Springer, 1994, pp. 331–51, doi:10.1007/BFb0033565.
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 2541
Shigemoto, Ryuichi, et al. “Immunocytochemical Localization of Rat Substance P Receptor in the Striatum.” Neuroscience Letters, vol. 153, no. 2, Elsevier, 1993, pp. 157–60, doi:10.1016/0304-3940(93)90311-8.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 3474 |
Jonas, Peter M., et al. “Quantal Components of Unitary EPSCs at the Mossy Fibre Synapse on CA3 Pyramidal Cells of Rat Hippocampus.” Journal of Physiology, vol. 472, Wiley-Blackwell, 1993, pp. 615–63, doi:10.1113/jphysiol.1993.sp019965.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 4041
Edelsbrunner, Herbert, et al. “On the Zone Theorem for Hyperplane Arrangements.” SIAM Journal on Computing, vol. 22, no. 2, SIAM, 1993, pp. 418–29, doi:10.1137/0222031.
View
| DOI
| Download None (ext.)
1993 | Book Chapter | IST-REx-ID: 3452
Jonas, Peter M. “AMPA-Type Glutamate Receptors - Nonselective Cation Channels Mediating Fast Excitatory Transmission in the CNS.” Nonselective Cation Channels: Pharmacology, Physiology and Biophysics., edited by Detlef Siemen, vol. 66, Birkhäuser, 1993, pp. 61–76, doi:10.1007/978-3-0348-7327-7_4.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 4045
Chazelle, Bernard, et al. “Diameter, Width, Closest Line Pair, and Parametric Searching.” Discrete & Computational Geometry, vol. 10, no. 1, Springer, 1993, pp. 183–96, doi:10.1007/BF02573973.
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4177 |
Lindholm, Dan, 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, 1993, pp. 443–50, doi:10.1083/jcb.122.2.443.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 4175
Lindholm, Dan, et al. “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, 1993, pp. 1455–64, doi:10.1111/j.1460-9568.1993.tb00213.x.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Conference Paper | IST-REx-ID: 4506
Henzinger, Thomas A., et al. “Towards Refining Temporal Specifications into Hybrid Systems.” International Hybrid Systems Workshop, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 60–76, doi:10.1007/3-540-57318-6_24.
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4618
Alur, Rajeev, et al. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.” Hybrid Systems, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 209–29, doi:10.1007/3-540-57318-6_30.
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4620
Alur, Rajeev, et al. “Computing Accumulated Delays in Real-Time Systems.” 5th International Conference on Computer Aided Verification, vol. 697, Springer, 1993, pp. 181–93, doi:10.1007/3-540-56922-7_16.
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 2533 |
Abe, Takaaki, et al. “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, 1992, pp. 13361–68, doi:10.1016/S0021-9258(18)42219-3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2535 |
Sasai, Yoshiki, et al. “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, 1992, pp. 2620–34, doi:10.1101/gad.6.12b.2620.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2532
Nishioka, Tatsuya, et al. “Distribution of the Glucose Transporters in Human Brain Tumors.” Cancer Research, vol. 52, no. 14, American Association for Cancer Research, 1992, pp. 3972–79.
View
| Download None (ext.)
| PubMed | Europe PMC
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, doi:10.1113/jphysiol.1992.sp019294 .
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 3471 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 4053
Aronov, Boris, et al. “The Number of Edges of Many Faces in a Line Segment Arrangement.” Combinatorica, vol. 12, no. 3, Springer, 1992, pp. 261–74, doi:10.1007/BF01285815.
View
| DOI
| Download None (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
| Download None (ext.)
| PubMed | Europe PMC
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, doi:10.1111/j.1558-5646.1992.tb02068.x.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Conference Paper | IST-REx-ID: 4049
Bern, Marshall, et al. “Edge Insertion for Optimal Triangulations.” 1st Latin American Symposium on Theoretical Informatics, edited by Imre Simon, vol. 583, Springer, 1992, pp. 46–60, doi:10.1007/BFb0023816.
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4504
Henzinger, Thomas A., et al. “What Good Are Digital Clocks?” 19th International Colloquium on Automata, Languages and Programming, vol. 623, Springer, 1992, pp. 545–58, doi:10.1007/3-540-55719-9_103.
View
| DOI
| Download None (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
| Download None (ext.)
| PubMed | Europe PMC
1991 | Book Chapter | IST-REx-ID: 3566
Edelsbrunner, Herbert, and Micha Sharir. “A Hyperplane Incidence Problem with Applications to Counting Distances.” Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift, vol. 4, American Mathematical Society, 1991, pp. 253–63.
View
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 4056 |
Edelsbrunner, Herbert, and Péter 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, 1991, pp. 312–16, doi:10.1016/0097-3165(91)90042-F.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1991 | Conference Paper | IST-REx-ID: 4054
Edelsbrunner, Herbert, et al. On the Zone Theorem for Hyperplane Arrangements. Vol. 555, Springer, 1991, pp. 108–23, doi:10.1007/BFb0038185.
View
| DOI
| Download None (ext.)
1991 | Conference Paper | IST-REx-ID: 4059
Chazelle, Bernard, et al. “Ray Shooting in Polygons Using Geodesic Triangulations.” 18th International Colloquium on Automata, Languages and Programming, vol. 510, Springer, 1991, pp. 661–73, doi:10.1007/3-540-54233-7_172.
View
| DOI
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 4061 |
Agarwal, Pankaj, et al. “Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs.” Discrete & Computational Geometry, vol. 6, no. 1, Springer, 1991, pp. 407–22, doi:10.1007/BF02574698.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1990 | Journal Article | IST-REx-ID: 3651 |
Barton, Nicholas H. “Pleiotropic Models of Quantitative Variation.” Genetics, vol. 124, no. 3, Genetics Society of America, 1990, pp. 773–82, doi:10.1093/genetics/124.3.773 .
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1990 | Conference Paper | IST-REx-ID: 4067
Edelsbrunner, Herbert, and Micha Sharir. “A Hyperplane Incidence Problem with Applications to Counting Distances.” Proceedings of the International Symposium on Algorithms, vol. 450, Springer, 1990, pp. 419–28, doi:10.1007/3-540-52921-7_91.
View
| DOI
| Download None (ext.)
1990 | Journal Article | IST-REx-ID: 4066
Edelsbrunner, Herbert, et al. “The Complexity of Many Cells in Arrangements of Planes and Related Problems.” Discrete & Computational Geometry, vol. 5, no. 1, Springer, 1990, pp. 197–216, doi:10.1007/BF02187785.
View
| DOI
| Download None (ext.)
1990 | Journal Article | IST-REx-ID: 4072
Edelsbrunner, Herbert, et al. “The Complexity and Construction of Many Faces in Arrangements of Lines and of Segments.” Discrete & Computational Geometry, vol. 5, no. 1, Springer, 1990, pp. 161–96, doi:10.1007/BF02187784.
View
| DOI
| Download None (ext.)
1990 | Journal Article | IST-REx-ID: 4065
Edelsbrunner, Herbert, et al. “Covering Convex Sets with Non-Overlapping Polygons.” Discrete Mathematics, vol. 81, no. 2, Elsevier, 1990, pp. 153–64, doi:10.1016/0012-365X(90)90147-A.
View
| DOI
| Download None (ext.)
1990 | Journal Article | IST-REx-ID: 4074
Clarkson, Kenneth, et al. “Combinatorial Complexity Bounds for Arrangements of Curves and Spheres.” Discrete & Computational Geometry, vol. 5, no. 1, Springer, 1990, pp. 99–160, doi:10.1007/BF02187783.
View
| DOI
| Download None (ext.)