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.
9198 Publications
1999 |Published| Thesis | IST-REx-ID: 4411
S. Qadeer, “Algorithms and Methodology for Scalable Model Checking,” University of California, Berkeley, 1999.
View
| Download None (ext.)
1999 |Published| Conference Paper | IST-REx-ID: 4484
T. A. Henzinger, S. Qadeer, and S. Rajamani, “Verifying sequential consistency on shared-memory multiprocessor systems,” in Proceedings of the 11th International Conference on Computer Aided Verification, Trento, Italy, 1999, vol. 1633, pp. 301–315.
View
| DOI
1999 |Published| Journal Article | IST-REx-ID: 3582 |
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 |Published| Journal Article | IST-REx-ID: 2592 |
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 |Published| Journal Article | IST-REx-ID: 2593 |
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 |Published| 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 |Published| 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
1998 |Published| Conference Paper | IST-REx-ID: 11682
P. K. Agarwal, D. EppsteinL. J. Guibas, and M. H. Henzinger, “Parametric and kinetic minimum spanning trees,” in Proceedings of the 39th Annual Symposium on Foundations of Computer Science, Palo Alto, CA, United States, 1998, pp. 596–605.
View
| DOI
1998 |Published| Conference Paper | IST-REx-ID: 11926
A. Goel, M. H. Henzinger, and S. Plotkin, “An online throughput-competitive algorithm for multicast routing and admission control,” in 9th Annual ACM SIAM Symposium on Discrete Algorithms, San Francisco, CA, United States, 1998, pp. 97–106.
View
| Files available
1998 |Published| Journal Article | IST-REx-ID: 11680
D. Alberts and M. H. Henzinger, “Average-case analysis of dynamic graph algorithms,” Algorithmica, vol. 20. Springer Nature, pp. 31–60, 1998.
View
| Files available
| DOI
1998 |Published| Journal Article | IST-REx-ID: 1450 |
T. Hausel, “Vanishing of intersection numbers on the moduli space of Higgs bundles,” Advances in Theoretical and Mathematical Physics, vol. 2, no. 5. International Press, pp. 1011–1040, 1998.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv