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
1999 |Published| Journal Article | IST-REx-ID: 4279
Goodman S, Barton NH, Swanson G, Abernethy K, Pemberton J. 1999. Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland. Genetics. 152(1), 355–371.
View
| DOI
| PubMed | Europe PMC
1999 |Published| Thesis | IST-REx-ID: 4411
Qadeer S. 1999. Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley.
View
| Download None (ext.)
1999 |Published| Conference Paper | IST-REx-ID: 4484
Henzinger TA, Qadeer S, Rajamani S. 1999. Verifying sequential consistency on shared-memory multiprocessor systems. Proceedings of the 11th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1633, 301–315.
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4487
Henzinger TA, Qadeer S, Rajamani S. 1999. Assume-guarantee refinement between different time scales. Proceedings of the 11th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1633, 208–221.
View
| DOI
1999 |Published| Journal Article | IST-REx-ID: 3582 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dey T, Edelsbrunner H, Guha S, Nekhayev D. 1999. Topology preserving edge contraction. Publications de l’Institut Mathématique. 66, 23–45.
View
| Download None (ext.)
1999 |Published| Journal Article | IST-REx-ID: 2592 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Masugi M, Yokoi M, Shigemoto R, Muguruma K, Watanabe Y, Sansig G, Van Der Putten H, Nakanishi S. 1999. Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion. Journal of Neuroscience. 19(3), 955–963.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 |Published| Journal Article | IST-REx-ID: 2593 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Yu X, Zhang E, Craig A, Shigemoto R, Ribeiro Da Silva A, De Koninck Y. 1999. NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord. Journal of Neuroscience. 19(9), 3545–3555.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1999 |Published| Journal Article | IST-REx-ID: 2591
Kummer W, Shigemoto R, Haberberger R. 1999. Smooth muscle cells are the site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic nerve. Neuroscience Letters. 259(2), 119–122.
View
| DOI
| PubMed | Europe PMC
1999 |Published| Journal Article | IST-REx-ID: 883
Kondrashov A, Kondrashov F. 1999. Interactions among quantitative traits in the course of sympatric speciation. Nature. 400(6742), 351–354.
View
| DOI
| PubMed | Europe PMC
1998 |Published| Journal Article | IST-REx-ID: 1450 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hausel T. 1998. Vanishing of intersection numbers on the moduli space of Higgs bundles. Advances in Theoretical and Mathematical Physics. 2(5), 1011–1040.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
1998 |Published| Journal Article | IST-REx-ID: 1449 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hausel T. 1998. Compactification of moduli of Higgs bundles. Journal fur die Reine und Angewandte Mathematik. 1998(503), 169–192.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
1998 |Published| Journal Article | IST-REx-ID: 1956 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sazanov LA, Burrows P, Nixon P. 1998. The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes. PNAS. 95(3), 1319–1324.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1998 |Published| Journal Article | IST-REx-ID: 1955 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Burrows P, Sazanov LA, Sváb Z, Maliga P, Nixon P. 1998. Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes. EMBO Journal. 17(4), 868–876.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1998 |Published| Journal Article | IST-REx-ID: 1954
Sazanov LA, Burrows P, Nixon P. 1998. The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves. FEBS Letters. 429(1), 115–118.
View
| DOI
| PubMed | Europe PMC