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.

8919 Publications


1995 | Published | Journal Article | IST-REx-ID: 4296 | OA
Partridge, Linda, et al. “Rapid Laboratory Evolution of Adult Life History Traits in Drosophila Melanogaster in Response to Temperature.” Evolution, vol. 49, no. 3, Wiley-Blackwell, 1995, pp. 538–44, doi:10.1111/j.1558-5646.1995.tb02285.x.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Published | Journal Article | IST-REx-ID: 4297 | OA
Sites, Jack, et al. “The Genetic Structure of a Mosaic Hybrid Zone between Two Chromosome Races of the Sceloporus Grammicus Complex (Sauria, Phrynosomatidae) in Central Mexico.” Evolution, vol. 49, no. 1, Wiley-Blackwell, 1995, pp. 9–36, doi:10.1111/j.1558-5646.1995.tb05955.x.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Published | Journal Article | IST-REx-ID: 4298 | OA
Barton, Nicholas H. “Appendix to ‘A Simulation Study of Multilocus Clines’ by S J E Baird.” Evolution, vol. 49, no. 6, Wiley, 1995, pp. 1038–45, doi:10.1111/j.1558-5646.1995.tb04431.x.
[Published Version] View | DOI | Download Published Version (ext.)
 

1995 | Published | Thesis | PhD | IST-REx-ID: 4428 | OA
Ho, Pei. Automatic Analysis of Hybrid Systems. Cornell University, 1995, pp. 1–188.
[Published Version] View | Download Published Version (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4447
Henzinger, Thomas A., and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.” 4th International Hybrid Systems Workshop, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 265–93, doi: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.” 3rd International Hybrid Systems Workshop, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 252–64, doi: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.” 7th International Conference on Computer Aided Verification, vol. 939, Springer, 1995, pp. 225–38, doi:10.1007/3-540-60045-0_53.
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4497
Henzinger, Thomas A., et al. “A User Guide to HyTech.” 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1019, Springer, 1995, pp. 41–71, doi:10.1007/3-540-60630-0_3.
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4498
Henzinger, Monika H., et al. “Computing Simulations on Finite and Infinite Graphs.” Proceedings of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 453–62, doi:10.1109/SFCS.1995.492576.
View | DOI
 

1995 | Published | Conference Paper | IST-REx-ID: 4499
Henzinger, Thomas A., et al. “HyTech: The next Generation.” Proceedings 16th IEEE Real-Time Systems Symposium, IEEE, 1995, pp. 56–65, doi:10.1109/REAL.1995.495196 .
View | DOI | Download None (ext.)
 

1995 | Published | 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 | Published | Conference Paper | IST-REx-ID: 4502 | OA
Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?” Proceedings of the 27th Annual ACM Symposium on Theory of Computing, ACM, 1995, pp. 373–82, doi:10.1145/225058.225162.
[Published Version] View | DOI | Download Published Version (ext.)
 

1995 | Published | 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.)
 

1994 | Published | Journal Article | IST-REx-ID: 2488
Kaneko, Takeshi, et al. “Morphological and Chemical Characteristics of Substance P Receptor Immunoreactive Neurons in the Rat Neocortex.” Neuroscience, vol. 60, no. 1, Elsevier, 1994, pp. 199–211, doi:10.1016/0306-4522(94)90215-1.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Published | 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 | Published | Journal Article | IST-REx-ID: 2490
Sugimoto, Yukihiko, et al. “Distribution of the Messenger Rna for the Prostaglandin e Receptor Subtype Ep3 in the Mouse Nervous System.” Neuroscience, vol. 62, no. 3, Elsevier, 1994, pp. 919–28, doi:10.1016/0306-4522(94)90483-9.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Published | 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 | Published | Conference Paper | IST-REx-ID: 2548
Hirano, Tomoo, et al. Induction Mechanism of Long Term Depression in Cultured Purkinje Neurons. Vol. 15, no. SUPPL. 1, Biomedical Research Foundation, 1994, pp. 79–81.
View
 

1994 | Published | Journal Article | IST-REx-ID: 2549
Nakaya, Yoshifumi, et al. “Immunohistochemical Localization of Substance P Receptor in the Central Nervous System of the Adult Rat.” Journal of Comparative Neurology, vol. 347, no. 2, Wiley-Blackwell, 1994, pp. 249–74, doi:10.1002/cne.903470208.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Published | Journal Article | IST-REx-ID: 2550 | OA
Okamoto, Naoyuki, et al. “Molecular Characterization of a New Metabotropic Glutamate Receptor MGluR7 Coupled to Inhibitory Cyclic AMP Signal Transduction.” Journal of Biological Chemistry, vol. 269, no. 2, American Society for Biochemistry and Molecular Biology, 1994, pp. 1231–36, doi:10.1016/S0021-9258(17)42247-2.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed