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
1993 | Conference Paper | IST-REx-ID: 4506
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Towards Refining Temporal Specifications into Hybrid Systems.” In International Hybrid Systems Workshop, 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
| Download None (ext.)
1993 | Conference Paper | 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
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4620
Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “Computing Accumulated Delays in Real-Time Systems.” In 5th International Conference on Computer Aided Verification, 697:181–93. Springer, 1993. https://doi.org/10.1007/3-540-56922-7_16.
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 2533 | 
Abe, Takaaki, Hidemitsu Sugihara, Hiroyuki Nawa, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “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, 1992. 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, Yoshiki, Ryoichiro Kageyama, Yoshiaki Tagawa, Ryuichi Shigemoto, and Shigetada Nakanishi. “Two Mammalian Helix-Loop-Helix Factors Structurally Related to Drosophila Hairy and Enhancer of Split.” Genes and Development. Cold Spring Harbor Laboratory Press, 1992. 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, 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. American Association for Cancer Research, 1992.
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. Wiley-Blackwell, 1992. 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., Peter M Jonas, and Bert Sakmann. “Action of Brief Pulses of Glutamate on AMPA/Kainate Receptors in Patches from Different Neurones of Rat Hippocampal Slices.” Journal of Physiology. Wiley-Blackwell, 1992. 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, Boris, Herbert Edelsbrunner, Leonidas Guibas, and Micha Sharir. “The Number of Edges of Many Faces in a Line Segment Arrangement.” Combinatorica. Springer, 1992. https://doi.org/10.1007/BF01285815.
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 3469
Burnashev, Nail, Alla Khodorova, Peter M Jonas, P. Helm, William Wisden, Hannah Monyer, Peter Seeburg, and Bert Sakmann. “Calcium-Permeable AMPA-Kainate Receptors in Fusiform Cerebellar Glial Cells.” Science. American Association for the Advancement of Science, 1992. https://doi.org/10.1126/science.1317970.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Conference Paper | IST-REx-ID: 4049
Bern, Marshall, Herbert Edelsbrunner, David Eppstein, Stephen Mitchell, and Tiow Tan. “Edge Insertion for Optimal Triangulations.” In 1st Latin American Symposium on Theoretical Informatics, edited by Imre Simon, 583:46–60. Springer, 1992. https://doi.org/10.1007/BFb0023816.
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4504
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “What Good Are Digital Clocks?” In 19th International Colloquium on Automata, Languages and Programming, 623:545–58. Springer, 1992. https://doi.org/10.1007/3-540-55719-9_103.
View
| DOI
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 2482
Masu, Masayuki, Yasuto Tanabe, Kunihiro Tsuchida, Ryuichi Shigemoto, and Shigetada Nakanishi. “Sequence and Expression of a Metabotropic Glutamate Receptor.” Nature. Nature Publishing Group, 1991. https://doi.org/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.” In Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift, 4:253–63. American Mathematical Society, 1991.
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. Elsevier, 1991. 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, Herbert, Raimund Seidel, and Micha Sharir. “On the Zone Theorem for Hyperplane Arrangements,” 555:108–23. Springer, 1991. https://doi.org/10.1007/BFb0038185.
View
| DOI
| Download None (ext.)
1991 | Conference Paper | IST-REx-ID: 4059
Chazelle, Bernard, Herbert Edelsbrunner, Michelangelo Grigni, Leonidas Guibas, John Hershberger, Micha Sharir, and Jack Snoeyink. “Ray Shooting in Polygons Using Geodesic Triangulations.” In 18th International Colloquium on Automata, Languages and Programming, 510:661–73. Springer, 1991. https://doi.org/10.1007/3-540-54233-7_172.
View
| DOI
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 4061 |
Agarwal, Pankaj, Herbert Edelsbrunner, Otfried Schwarzkopf, and Emo Welzl. “Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs.” Discrete & Computational Geometry. Springer, 1991. https://doi.org/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. Genetics Society of America, 1990. 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, Herbert, and Micha Sharir. “A Hyperplane Incidence Problem with Applications to Counting Distances.” In Proceedings of the International Symposium on Algorithms, 450:419–28. Springer, 1990. https://doi.org/10.1007/3-540-52921-7_91.
View
| DOI
| Download None (ext.)