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.
6978 Publications
1999 |Published| Conference Paper | IST-REx-ID: 4484
Henzinger TA, Qadeer S, Rajamani S. Verifying sequential consistency on shared-memory multiprocessor systems. In: Proceedings of the 11th International Conference on Computer Aided Verification. Vol 1633. Springer; 1999:301-315. doi:10.1007/3-540-48683-6_27
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4485
Henzinger TA, Horowitz B, Majumdar R. Rectangular hybrid games. In: Proceedings of the 10th International Conference on Concurrency Theory. Vol 1664. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1999:320-335. doi:10.1007/3-540-48320-9_23
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4480
Henzinger TA, Liu X, Qadeer S, Rajamani S. Formal specification and verification of a dataflow processor array. In: IEEE; 1999:494-499. doi:10.1109/ICCAD.1999.810700
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4487
Henzinger TA, Qadeer S, Rajamani S. Assume-guarantee refinement between different time scales. In: Proceedings of the 11th International Conference on Computer Aided Verification. Vol 1633. Springer; 1999:208-221. doi:10.1007/3-540-48683-6_20
View
| DOI
1999 |Published| Journal Article | IST-REx-ID: 4582
Alur R, Henzinger TA. Reactive modules. Formal Methods in System Design. 1999;15(1):7-48. doi:10.1023/A:1008739929481
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4601
Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. In: Proceedings of the International Symposium on Compositionality. Vol 1536. Springer; 1999:23-60. doi:10.1007/3-540-49213-5_2
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4602
Alur R, De Alfaro L, Henzinger TA, Mang F. Automating modular verification. In: Proceedings of the 10th International Conference on Concurrency Theory. Vol 1664. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1999:82-97. doi:10.1007/3-540-48320-9_8
View
| DOI
1999 |Published| Journal Article | IST-REx-ID: 3582 | 
Dey T, Edelsbrunner H, Guha S, Nekhayev D. Topology preserving edge contraction. Publications de l’Institut Mathématique. 1999;66:23-45.
View
| Download None (ext.)
1999 |Published| Journal Article | IST-REx-ID: 2592 |
Masugi M, Yokoi M, Shigemoto R, et al. Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion. Journal of Neuroscience. 1999;19(3):955-963. doi:10.1523/JNEUROSCI.19-03-00955.1999
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 |Published| Journal Article | IST-REx-ID: 2593 |
Yu X, Zhang E, Craig A, Shigemoto R, Ribeiro Da Silva A, De Koninck Y. NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord. Journal of Neuroscience. 1999;19(9):3545-3555. doi:10.1523/JNEUROSCI.19-09-03545.1999
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1999 |Published| Journal Article | IST-REx-ID: 2591
Kummer W, Shigemoto R, Haberberger R. Smooth muscle cells are the site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic nerve. Neuroscience Letters. 1999;259(2):119-122. doi:10.1016/S0304-3940(98)00926-4
View
| DOI
| PubMed | Europe PMC
1999 |Published| Journal Article | IST-REx-ID: 883
Kondrashov A, Kondrashov F. Interactions among quantitative traits in the course of sympatric speciation. Nature. 1999;400(6742):351-354. doi:10.1038/22514
View
| DOI
| PubMed | Europe PMC
1998 |Published| Journal Article | IST-REx-ID: 1450 |
Hausel T. Vanishing of intersection numbers on the moduli space of Higgs bundles. Advances in Theoretical and Mathematical Physics. 1998;2(5):1011-1040. doi:10.4310/ATMP.1998.v2.n5.a3
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
1998 |Published| Journal Article | IST-REx-ID: 1449 |
Hausel T. Compactification of moduli of Higgs bundles. Journal fur die Reine und Angewandte Mathematik. 1998;1998(503):169-192. doi:10.1515/crll.1998.096
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
1998 |Published| Journal Article | IST-REx-ID: 1956 |
Sazanov LA, Burrows P, Nixon P. The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes. PNAS. 1998;95(3):1319-1324. doi:10.1073/pnas.95.3.1319
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1998 |Published| Journal Article | IST-REx-ID: 1955 |
Burrows P, Sazanov LA, Sváb Z, Maliga P, Nixon P. Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes. EMBO Journal. 1998;17(4):868-876. doi:10.1093/emboj/17.4.868
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1998 |Published| Journal Article | IST-REx-ID: 1954
Sazanov LA, Burrows P, Nixon P. The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves. FEBS Letters. 1998;429(1):115-118. doi:10.1016/S0014-5793(98)00573-0
View
| DOI
| PubMed | Europe PMC
1998 |Published| Journal Article | IST-REx-ID: 2584
Kinoshita A, Shigemoto R, Ohishi H, Van Der Putten H, Mizuno N. Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study. Journal of Comparative Neurology. 1998;393(3):332-352. doi:10.1002/(SICI)1096-9861(19980413)393:3<332::AID-CNE6>3.0.CO;2-2
View
| DOI
| PubMed | Europe PMC
1998 |Published| Journal Article | IST-REx-ID: 2585
Wada E, Shigemoto R, Kinoshita A, Ohishi H, Mizuno N. Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology. 1998;393(4):493-504. doi:10.1002/(SICI)1096-9861(19980420)393:4<493::AID-CNE8>3.0.CO;2-W
View
| DOI
| PubMed | Europe PMC
1998 |Published| Journal Article | IST-REx-ID: 2586
Watanabe D, Inokawa H, Hashimoto K, et al. Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination. Cell. 1998;95(1):17-27. doi:10.1016/S0092-8674(00)81779-1
View
| DOI
| PubMed | Europe PMC