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.
2059 Publications
1995 |
Published |
Conference Paper |
IST-REx-ID: 3551
Edelsbrunner, Herbert, Michael Facello, Ping Fu, and Jie Liang. “Measuring Proteins and Voids in Proteins.” In Proceedings of the 28th Annual Hawaii International Conference on System Sciences, 256–64. IEEE, 1995. https://doi.org/10.1109/HICSS.1995.375331.
View
| DOI
| Download None (ext.)
1995 |
Published |
Conference Paper |
IST-REx-ID: 3552
Akkiraju, Nataraj, Herbert Edelsbrunner, Michael Facello, Ping Fu, Ernst Mücke, and Carlos Varela. “Alpha Shapes: Definition and Software,” 63–66. Elsevier, 1995.
View
| Download None (ext.)
1995 |
Published |
Journal Article |
IST-REx-ID: 3639
Barton, Nicholas H. “A General Model for the Evolution of Recombination.” Genetical Research. Cambridge University Press, 1995. https://doi.org/10.1017/S0016672300033140.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 |
Published |
Journal Article |
IST-REx-ID: 4028 |
Edelsbrunner, Herbert. “The Union of Balls and Its Dual Shape.” Discrete & Computational Geometry. Springer, 1995. https://doi.org/10.1007/BF02574053.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 |
Published |
Journal Article |
IST-REx-ID: 4029
Delfinado, Cecil, and Herbert Edelsbrunner. “An Incremental Algorithm for Betti Numbers of Simplicial Complexes on the 3-Sphere.” Computer Aided Geometric Design. Elsevier, 1995. https://doi.org/10.1016/0167-8396(95)00016-Y.
View
| DOI
| Download None (ext.)
1995 |
Published |
Journal Article |
IST-REx-ID: 4297 |
Sites, Jack, Nicholas H Barton, and Kent Reed. “The Genetic Structure of a Mosaic Hybrid Zone between Two Chromosome Races of the Sceloporus Grammicus Complex (Sauria, Phrynosomatidae) in Central Mexico.” Evolution. Wiley-Blackwell, 1995. https://doi.org/10.1111/j.1558-5646.1995.tb05955.x.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 |
Published |
Conference Paper |
IST-REx-ID: 4447
Henzinger, Thomas A, and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.” In 4th International Hybrid Systems Workshop, edited by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:265–93. LNCS. Springer, 1995. https://doi.org/10.1007/3-540-60472-3_14.
View
| DOI
| Download None (ext.)
1995 |
Published |
Conference Paper |
IST-REx-ID: 4448
Henzinger, Thomas A, and Pei Ho. “A Note on Abstract-Interpretation Strategies for Hybrid Automata.” In 3rd International Hybrid Systems Workshop, edited by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:252–64. Springer, 1995. https://doi.org/10.1007/3-540-60472-3_13.
View
| DOI
| Download None (ext.)
1995 |
Published |
Conference Paper |
IST-REx-ID: 4450
Henzinger, Thomas A, and Pei Ho. “Algorithmic Analysis of Nonlinear Hybrid Systems.” In 7th International Conference on Computer Aided Verification, 939:225–38. Springer, 1995. https://doi.org/10.1007/3-540-60045-0_53.
View
| DOI
| Download None (ext.)
1995 |
Published |
Conference Paper |
IST-REx-ID: 4497
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “A User Guide to HyTech.” In 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, 1019:41–71. Springer, 1995. https://doi.org/10.1007/3-540-60630-0_3.
View
| DOI
| Download None (ext.)
1995 |
Published |
Conference Paper |
IST-REx-ID: 4500
Henzinger, Thomas A, Peter Kopke, and Howard Wong Toi. “The Expressive Power of Clocks.” In 22nd International Colloquium on Automata, Languages and Programming , 944:417–28. Springer, 1995. https://doi.org/10.1007/3-540-60084-1_93.
View
| DOI
| Download None (ext.)
1995 |
Published |
Conference Paper |
IST-REx-ID: 4518
Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations.” In 22nd International Colloquium on Automata, Languages and Programming , 944:324–35. Springer, 1995. https://doi.org/10.1007/3-540-60084-1_85.
View
| DOI
1995 |
Published |
Conference Paper |
IST-REx-ID: 4587
Alur, Rajeev, and Thomas A Henzinger. “Local Liveness for Compositional Modeling of Fair Reactive Systems.” In 7th International Conference on Computer Aided Verification, 939:166–79. Springer, 1995. https://doi.org/10.1007/3-540-60045-0_49.
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 2489
Akazawa, Chihiro, Ryuichi Shigemoto, Yasumasa Bessho, Shigetada Nakanishi, and Noboru Mizuno. “Differential Expression of Five N-Methyl-D-Aspartate Receptor Subunit MRNAs in the Cerebellum of Developing and Adult Rats.” Journal of Comparative Neurology. Wiley-Blackwell, 1994. https://doi.org/10.1002/cne.903470112.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 |
Published |
Book Chapter |
IST-REx-ID: 2545
Nakanishi, Shigetada, Masayuki Masu, Yasumasa Bessho, Yoshiaki Nakajima, Yasunori Hayashi, and Ryuichi Shigemoto. “Molecular Diversity of Glutamate Receptors and Their Physiological Functions.” In Experientia Supplementum, 71:71–80. Birkhäuser, 1994. https://doi.org/10.1007/978-3-0348-7330-7_8.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 |
Published |
Journal Article |
IST-REx-ID: 2552
Ogawa Meguro, Reiko, Ryuichi Shigemoto, Kazuo Itoh, Akira Konishi, and Noboru Mizuno. “Immunohistochemical Localization of Substance P Receptor in the Superior Colliculus. A Light and Electron Microscope Study in the Rat.” Neuroscience Letters. Elsevier, 1994. https://doi.org/10.1016/0304-3940(94)90469-3.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 |
Published |
Journal Article |
IST-REx-ID: 2555
Shigemoto, Ryuichi, Takaaki Abe, Sakashi Nomura, Shigetada Nakanishi, and Tomoo Hirano. “Antibodies Inactivating MGluR1 Metabotropic Glutamate Receptor Block Long-Term Depression in Cultured Purkinje Cells.” Neuron. Elsevier, 1994. https://doi.org/10.1016/0896-6273(94)90441-3.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 |
Published |
Journal Article |
IST-REx-ID: 2557
Ohishi, Hitoshi, Reiko Ogawa Meguro, Ryuichi Shigemoto, Takeshi Kaneko, Shigetada Nakanishi, and Noboru Mizuno. “Immunohistochemical Localization of Metabotropic Glutamate Receptors, MGluR2 and MGluR3, in Rat Cerebellar Cortex.” Neuron. Elsevier, 1994. https://doi.org/10.1016/0896-6273(94)90459-6.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 |
Published |
Conference Paper |
IST-REx-ID: 4615
Alur, Rajeev, Limor Fix, and Thomas A Henzinger. “A Determinizable Class of Timed Automata.” In International Conference on Computer Aided Verification, 818:1–13. Springer, 1994. https://doi.org/10.1007/3-540-58179-0_39.
View
| DOI
| Download None (ext.)
1994 |
Published |
Conference Paper |
IST-REx-ID: 4617
Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems.” In 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, 199:331–51. Springer, 1994. https://doi.org/10.1007/BFb0033565.
View
| DOI
| Download None (ext.)