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.
7036 Publications
1995 |Published| Journal Article | IST-REx-ID: 4297 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. Sites, N. H. Barton, and K. Reed, “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, pp. 9–36, 1995.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 4296 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
L. Partridge, B. Barrie, N. H. Barton, K. Fowler, and V. French, “Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature,” Evolution, vol. 49, no. 3. Wiley-Blackwell, pp. 538–544, 1995.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 4298 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
N. H. Barton, “Appendix to ‘A simulation study of multilocus clines’ by S J E Baird,” Evolution, vol. 49, no. 6. Wiley, pp. 1038–1045, 1995.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 |Published| Thesis | IST-REx-ID: 4428 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
P. Ho, “Automatic analysis of hybrid systems,” Cornell University, 1995.
[Published Version]
View
| Download Published Version (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4450
T. A. Henzinger and P. Ho, “Algorithmic analysis of nonlinear hybrid systems,” in 7th International Conference on Computer Aided Verification, Liege, Belgium, 1995, vol. 939, pp. 225–238.
View
| DOI
| Download None (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4448
T. A. Henzinger and P. Ho, “A note on abstract-interpretation strategies for hybrid automata,” in 3rd International Hybrid Systems Workshop, Ithaca, NY, United States of America, 1995, vol. 999, pp. 252–264.
View
| DOI
| Download None (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4447
T. A. Henzinger and P. Ho, “HyTech: The Cornell Hybrid Technology Tool,” in 4th International Hybrid Systems Workshop, New Brunswick, NJ, United States of America, 1995, vol. 999, pp. 265–293.
View
| DOI
| Download None (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4497
T. A. Henzinger, P. Ho, and H. Wong Toi, “A user guide to HyTech,” in 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Aarhus, Denmark, 1995, vol. 1019, pp. 41–71.
View
| DOI
| Download None (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4499
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: The next generation,” in Proceedings 16th IEEE Real-Time Systems Symposium, Pisa, Italy, 1995, pp. 56–65.
View
| DOI
| Download None (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4502 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about hybrid automata?,” in Proceedings of the 27th annual ACM symposium on Theory of computing, Las Vegas, NV, United States of America, 1995, pp. 373–382.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4500
T. A. Henzinger, P. Kopke, and H. Wong Toi, “The expressive power of clocks,” in 22nd International Colloquium on Automata, Languages and Programming , Szeged, Hungary, 1995, vol. 944, pp. 417–428.
View
| DOI
| Download None (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4518
T. A. Henzinger, “Hybrid automata with finite bisimulations,” in 22nd International Colloquium on Automata, Languages and Programming , Szeged, Hungary, 1995, vol. 944, pp. 324–335.
View
| DOI
| Download None (ext.)
1995 |Published| Conference Paper | IST-REx-ID: 4587
R. Alur and T. A. Henzinger, “Local liveness for compositional modeling of fair reactive systems,” in 7th International Conference on Computer Aided Verification, Liege, Belgium, 1995, vol. 939, pp. 166–179.
View
| DOI
| Download None (ext.)
1995 |Published| Journal Article | IST-REx-ID: 4613
R. Alur et al., “The algorithmic analysis of hybrid systems,” Theoretical Computer Science, vol. 138, no. 1. Elsevier, pp. 3–34, 1995.
View
| DOI
| Download None (ext.)
1995 |Published| Journal Article | IST-REx-ID: 6162
M. de Bono, D. Zarkower, and J. Hodgkin, “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, pp. 155–167, 1995.
View
| DOI
| PubMed | Europe PMC
1994 |Published| Journal Article | IST-REx-ID: 1949 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
L. A. Sazanov and J. Jackson, “Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria,” FEBS Letters, vol. 344, no. 2–3. Elsevier, pp. 109–116, 1994.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 |Published| Journal Article | IST-REx-ID: 1953 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Efanov, A. Koshkin, L. A. Sazanov, O. I. Borodulina, S. Varfolomeev, and S. Zaǐtsev, “Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism,” FEBS Letters, vol. 355, no. 2. Elsevier, pp. 114–116, 1994.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 |Published| Journal Article | IST-REx-ID: 2488
T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex,” Neuroscience, vol. 60, no. 1. Elsevier, pp. 199–211, 1994.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 |Published| Journal Article | IST-REx-ID: 2489
C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, and N. Mizuno, “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, pp. 150–160, 1994.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC