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.

50 Publications


1999 | Conference Paper | IST-REx-ID: 4487
T. A. Henzinger, S. Qadeer, and S. Rajamani, “Assume-guarantee refinement between different time scales,” in Proceedings of the 11th International Conference on Computer Aided Verification, Trento, Italy, 1999, vol. 1633, pp. 208–221.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4582
R. Alur and T. A. Henzinger, “Reactive modules,” Formal Methods in System Design, vol. 15, no. 1. Springer, pp. 7–48, 1999.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4601
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” in Proceedings of the International Symposium on Compositionality, Bad Malente, Germany, 1999, vol. 1536, pp. 23–60.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4602
R. Alur, L. De Alfaro, T. A. Henzinger, and F. Mang, “Automating modular verification,” in Proceedings of the 10th International Conference on Concurrency Theory, Eindhoven, The Netherlands, 1999, vol. 1664, pp. 82–97.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 8526
V. Kaloshin, “An extension of the Artin-Mazur theorem,” The Annals of Mathematics, vol. 150, no. 2. JSTOR, pp. 729–741, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3582 | OA
T. Dey, H. Edelsbrunner, S. Guha, and D. Nekhayev, “Topology preserving edge contraction,” Publications de l’Institut Mathématique, vol. 66. Mathematical Institute, Serbian Academy of Sciences and Arts, pp. 23–45, 1999.
View | Download None (ext.)
 

1999 | Journal Article | IST-REx-ID: 2592 | OA
M. Masugi et al., “Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion,” Journal of Neuroscience, vol. 19, no. 3. Society for Neuroscience, pp. 955–963, 1999.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1999 | Journal Article | IST-REx-ID: 2593 | OA
X. Yu, E. Zhang, A. Craig, R. Shigemoto, A. Ribeiro Da Silva, and Y. De Koninck, “NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord,” Journal of Neuroscience, vol. 19, no. 9. Society for Neuroscience, pp. 3545–3555, 1999.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1999 | Journal Article | IST-REx-ID: 2591
W. Kummer, R. Shigemoto, and R. Haberberger, “Smooth muscle cells are the site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic nerve,” Neuroscience Letters, vol. 259, no. 2. Elsevier, pp. 119–122, 1999.
View | DOI | PubMed | Europe PMC
 

1999 | Journal Article | IST-REx-ID: 883
A. Kondrashov and F. Kondrashov, “Interactions among quantitative traits in the course of sympatric speciation,” Nature, vol. 400, no. 6742. Nature Publishing Group, pp. 351–354, 1999.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=1999

Search

Filter Publications