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.
1606 Publications
1994 | Conference Paper | IST-REx-ID: 4440
Henzinger, T. A., & Kopke, P. (1994). Verification methods for the divergent runs of clock systems. In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (Vol. 863, pp. 351–372). Lübeck, Gernany: Springer. https://doi.org/10.1007/3-540-58468-4_173
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4615
Alur, R., Fix, L., & Henzinger, T. A. (1994). A determinizable class of timed automata. In International Conference on Computer Aided Verification (Vol. 818, pp. 1–13). Stanford, CA, United States of America: Springer. https://doi.org/10.1007/3-540-58179-0_39
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4617
Alur, R., Courcoubetis, C., Henzinger, T. A., Ho, P., Nicollin, X., Olivero, A., … Yovine, S. (1994). The algorithmic analysis of hybrid systems. In 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems (Vol. 199, pp. 331–351). Sophia-Antipolis, France: Springer. https://doi.org/10.1007/BFb0033565
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 2541
Shigemoto, R., Nakaya, Y., Nomura, S., Ogawa Meguro, R., Ohishi, H., Kaneko, T., … Mizuno, N. (1993). Immunocytochemical localization of rat substance P receptor in the striatum. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(93)90311-8
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 3474 | 
Jonas, P. M., Major, G., & Sakmann, B. (1993). Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1993.sp019965
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 4041
Edelsbrunner, H., Seidel, R., & Sharir, M. (1993). On the zone theorem for hyperplane arrangements. SIAM Journal on Computing. SIAM. https://doi.org/10.1137/0222031
View
| DOI
| Download None (ext.)
1993 | Book Chapter | IST-REx-ID: 3452
Jonas, P. M. (1993). AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS. In D. Siemen (Ed.), Nonselective cation channels: Pharmacology, Physiology and Biophysics. (Vol. 66, pp. 61–76). Birkhäuser. https://doi.org/10.1007/978-3-0348-7327-7_4
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 4045
Chazelle, B., Edelsbrunner, H., Guibas, L., & Sharir, M. (1993). Diameter, width, closest line pair, and parametric searching. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02573973
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4177 |
Lindholm, D., Castrén, E., Tsoulfas, P., Kolbeck, R., Berzaghi, M., Leingärtner, A., … Thoenen, H. (1993). Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.122.2.443
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 4175
Lindholm, D., Dechant, G., Heisenberg, C.-P. J., & Thoenen, H. (1993). 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. Wiley-Blackwell. https://doi.org/10.1111/j.1460-9568.1993.tb00213.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Conference Paper | IST-REx-ID: 4506
Henzinger, T. A., Manna, Z., & Pnueli, A. (1993). Towards refining temporal specifications into hybrid systems. In R. Grossman, A. Nerode, A. Ravn, & H. Rischel (Eds.), International Hybrid Systems Workshop (Vol. 736, pp. 60–76). Springer. https://doi.org/10.1007/3-540-57318-6_24
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4618
Alur, R., Courcoubetis, C., Henzinger, T. A., & Ho, P. (1993). Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In R. Grossman, A. Nerode, A. Ravn, & H. Rischel (Eds.), Hybrid Systems (Vol. 736, pp. 209–229). Springer. https://doi.org/10.1007/3-540-57318-6_30
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4620
Alur, R., Courcoubetis, C., & Henzinger, T. A. (1993). Computing accumulated delays in real-time systems. In 5th International Conference on Computer Aided Verification (Vol. 697, pp. 181–193). Elounda, Greece: Springer. https://doi.org/10.1007/3-540-56922-7_16
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 2533 |
Abe, T., Sugihara, H., Nawa, H., Shigemoto, R., Mizuno, N., & Nakanishi, S. (1992). Molecular characterization of a novel metabotropic glutamate receptor mGluR5 coupled to inositol phosphate/Ca2+ signal transduction. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/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, Y., Kageyama, R., Tagawa, Y., Shigemoto, R., & Nakanishi, S. (1992). Two mammalian helix-loop-helix factors structurally related to Drosophila hairy and Enhancer of split. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/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, T., Oda, Y., Seino, Y., Yamamoto, T., Inagaki, N., Yano, H., … Kikuchi, H. (1992). Distribution of the glucose transporters in human brain tumors. Cancer Research. American Association for Cancer Research.
View
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 3470 |
Jonas, P. M., & Sakmann, B. (1992). Glutamate receptor channels in isolated patches from CA1 and CA3 pyramidal cells of rat hippocampal slices. Journal of Physiology. Wiley-Blackwell. https://doi.org/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., Jonas, P. M., & Sakmann, B. (1992). Action of brief pulses of glutamate on AMPA/kainate receptors in patches from different neurones of rat hippocampal slices. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1992.sp019417
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 4053
Aronov, B., Edelsbrunner, H., Guibas, L., & Sharir, M. (1992). The number of edges of many faces in a line segment arrangement. Combinatorica. Springer. https://doi.org/10.1007/BF01285815
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 3469
Burnashev, N., Khodorova, A., Jonas, P. M., Helm, P., Wisden, W., Monyer, H., … Sakmann, B. (1992). Calcium-permeable AMPA-kainate receptors in fusiform cerebellar glial cells. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1317970
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Conference Paper | IST-REx-ID: 4049
Bern, M., Edelsbrunner, H., Eppstein, D., Mitchell, S., & Tan, T. (1992). Edge insertion for optimal triangulations. In I. Simon (Ed.), 1st Latin American Symposium on Theoretical Informatics (Vol. 583, pp. 46–60). São Paulo, Brazil: Springer. https://doi.org/10.1007/BFb0023816
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4504
Henzinger, T. A., Manna, Z., & Pnueli, A. (1992). What good are digital clocks? In 19th International Colloquium on Automata, Languages and Programming (Vol. 623, pp. 545–558). Vienna, Austria: Springer. https://doi.org/10.1007/3-540-55719-9_103
View
| DOI
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 2482
Masu, M., Tanabe, Y., Tsuchida, K., Shigemoto, R., & Nakanishi, S. (1991). Sequence and expression of a metabotropic glutamate receptor. Nature. Nature Publishing Group. https://doi.org/10.1038/349760a0
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Book Chapter | IST-REx-ID: 3566
Edelsbrunner, H., & Sharir, M. (1991). A hyperplane incidence problem with applications to counting distances. In Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift (Vol. 4, pp. 253–263). American Mathematical Society.
View
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 4056 |
Edelsbrunner, H., & Hajnal, P. (1991). A lower bound on the number of unit distances between the vertices of a convex polygon. Journal of Combinatorial Theory Series A. Elsevier. https://doi.org/10.1016/0097-3165(91)90042-F
[Published Version]
View
| DOI
| Download Published Version (ext.)
1991 | Conference Paper | IST-REx-ID: 4054
Edelsbrunner, H., Seidel, R., & Sharir, M. (1991). On the zone theorem for hyperplane arrangements (Vol. 555, pp. 108–123). Presented at the New Results and New Trends in Computer Science , Springer. https://doi.org/10.1007/BFb0038185
View
| DOI
| Download None (ext.)
1991 | Conference Paper | IST-REx-ID: 4059
Chazelle, B., Edelsbrunner, H., Grigni, M., Guibas, L., Hershberger, J., Sharir, M., & Snoeyink, J. (1991). Ray shooting in polygons using geodesic triangulations. In 18th International Colloquium on Automata, Languages and Programming (Vol. 510, pp. 661–673). Madrid, Spain: Springer. https://doi.org/10.1007/3-540-54233-7_172
View
| DOI
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 4061 |
Agarwal, P., Edelsbrunner, H., Schwarzkopf, O., & Welzl, E. (1991). Euclidean minimum spanning trees and bichromatic closest pairs. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02574698
[Published Version]
View
| DOI
| Download Published Version (ext.)
1990 | Journal Article | IST-REx-ID: 3651 |
Barton, N. H. (1990). Pleiotropic models of quantitative variation. Genetics. Genetics Society of America. https://doi.org/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, H., & Sharir, M. (1990). A hyperplane Incidence problem with applications to counting distances. In Proceedings of the International Symposium on Algorithms (Vol. 450, pp. 419–428). Tokyo, Japan: Springer. https://doi.org/10.1007/3-540-52921-7_91
View
| DOI
| Download None (ext.)
1990 | Journal Article | IST-REx-ID: 4066
Edelsbrunner, H., Guibas, L., & Sharir, M. (1990). The complexity of many cells in arrangements of planes and related problems. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02187785
View
| DOI
| Download None (ext.)
1990 | Journal Article | IST-REx-ID: 4072
Edelsbrunner, H., Guibas, L., & Sharir, M. (1990). The complexity and construction of many faces in arrangements of lines and of segments. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02187784
View
| DOI
| Download None (ext.)
1990 | Journal Article | IST-REx-ID: 4065
Edelsbrunner, H., Robison, A., & Shen, X. (1990). Covering convex sets with non-overlapping polygons. Discrete Mathematics. Elsevier. https://doi.org/10.1016/0012-365X(90)90147-A
View
| DOI
| Download None (ext.)
1990 | Journal Article | IST-REx-ID: 4074
Clarkson, K., Edelsbrunner, H., Guibas, L., Sharir, M., & Welzl, E. (1990). Combinatorial complexity bounds for arrangements of curves and spheres. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02187783
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4076
Agarwal, P., Edelsbrunner, H., Schwarzkopf, O., & Welzl, E. (1990). Euclidean minimum spanning trees and bichromatic closest pairs. In Proceedings of the 6th annual symposium on Computational geometry (pp. 203–210). Berkeley, CA, United States: ACM. https://doi.org/10.1145/98524.98567
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4077
Aronov, B., Chazelle, B., Edelsbrunner, H., Guibas, L., Sharir, M., & Wenger, R. (1990). Points and triangles in the plane and halving planes in space. In Proceedings of the 6th annual symposium on Computational geometry (pp. 112–115). Berkley, CA, United States: ACM. https://doi.org/10.1145/98524.98548
View
| DOI
| Download None (ext.)
1990 | Journal Article | IST-REx-ID: 4075
Dobkin, D., Edelsbrunner, H., & Overmars, M. (1990). Searching for empty convex polygons. Algorithmica. Springer. https://doi.org/10.1007/BF01840404
View
| DOI
| Download None (ext.)
1990 | Book Chapter | IST-REx-ID: 4311
Barton, N. H., & Clark, A. (1990). Population structure and processes in evolution. In K. Wöhrmann & S. Jain (Eds.), Population biology: Ecological and evolutionary viewpoints (pp. 115–174). Springer. https://doi.org/10.1007/978-3-642-74474-7_5
View
| DOI
| Download None (ext.)
1989 | Journal Article | IST-REx-ID: 4088 |
Edelsbrunner, H., Guibas, L., Hershberger, J., Seidel, R., Sharir, M., Snoeyink, J., & Welzl, E. (1989). Implicitly representing arrangements of lines or segments. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02187742
[Published Version]
View
| DOI
| Download Published Version (ext.)
1989 | Journal Article | IST-REx-ID: 4083 |
Yao, F., Dobkin, D., Edelsbrunner, H., & Paterson, M. (1989). Partitioning space for range queries. SIAM Journal on Computing. SIAM. https://doi.org/10.1137/0218025
[Published Version]
View
| DOI
| Download Published Version (ext.)
1989 | Journal Article | IST-REx-ID: 4084 |
Edelsbrunner, H., Rote, G., & Welzl, E. (1989). Testing the necklace condition for shortest tours and optimal factors in the plane. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/0304-3975(89)90133-3
[Published Version]
View
| DOI
| Download Published Version (ext.)
1989 | Conference Paper | IST-REx-ID: 4087
Edelsbrunner, H., Preparata, F., & West, D. (1989). Tetrahedrizing point sets in three dimensions. In International Symposium on Symbolic and Algebraic Computation (Vol. 358, pp. 315–331). Rome, Italy: Springer. https://doi.org/10.1007/3-540-51084-2_31
View
| DOI
| Download None (ext.)
1988 | Conference Paper | IST-REx-ID: 4097
Edelsbrunner, H., Guibas, L., Pach, J., Pollack, R., Seidel, R., & Sharir, M. (1988). Arrangements of curves in the plane - topology, combinatorics, and algorithms. In 15th International Colloquium on Automata, Languages and Programming (Vol. 317, pp. 214–229). Tampere, Finland: Springer. https://doi.org/10.1007/3-540-19488-6_118
View
| DOI
| Download None (ext.)
1988 | Conference Paper | IST-REx-ID: 4096
Edelsbrunner, H. (1988). Geometric structures in computational geometry. In 15th International Colloquium on Automata, Languages and Programming (Vol. 317, pp. 201–213). Tampere, Finland: Springer. https://doi.org/10.1007/3-540-19488-6_117
View
| DOI
| Download None (ext.)
1987 | Journal Article | IST-REx-ID: 4100
Chazelle, B., & Edelsbrunner, H. (1987). Linear space data structures for two types of range search. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02187875
View
| DOI
1987 | Book | IST-REx-ID: 3900
Edelsbrunner, H. (1987). Algorithms in Combinatorial Geometry (Vol. 10). Berlin ; Heidelberg: Springer. https://doi.org/10.1007/978-3-642-61568-9
View
| Files available
| DOI
1986 | Journal Article | IST-REx-ID: 3580
Edelsbrunner, H. (1986). Edge-skeletons in arrangements with applications. Algorithmica. Springer. https://doi.org/10.1007/BF01840438
View
| DOI
1986 | Journal Article | IST-REx-ID: 4098 |
Edelsbrunner, H., & Stöckl, G. (1986). The number of extreme pairs of finite point-sets in Euclidean spaces. Journal of Combinatorial Theory Series A. Elsevier. https://doi.org/10.1016/0097-3165(86)90075-0
View
| DOI
| Download None (ext.)
1986 | Journal Article | IST-REx-ID: 4107
Edelsbrunner, H., & Haussler, D. (1986). The complexity of cells in 3-dimensional arrangements. Discrete Mathematics. Elsevier. https://doi.org/10.1016/0012-365X(86)90008-7
View
| DOI
1985 | Journal Article | IST-REx-ID: 4111
Edelsbrunner, H., & Maurer, H. (1985). Finding extreme-points in 3-dimensions and solving the post-office problem in the plane. Information Processing Letters. Elsevier. https://doi.org/10.1016/0020-0190(85)90107-3
View
| DOI