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
Henzinger, T. A., Qadeer, S., & Rajamani, S. (1999). Assume-guarantee refinement between different time scales. In Proceedings of the 11th International Conference on Computer Aided Verification (Vol. 1633, pp. 208–221). Trento, Italy: Springer. https://doi.org/10.1007/3-540-48683-6_20
View
| DOI
1999 | Journal Article | IST-REx-ID: 4582
Alur, R., & Henzinger, T. A. (1999). Reactive modules. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1008739929481
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4601
Alur, R., Henzinger, T. A., & Kupferman, O. (1999). Alternating-time temporal logic. In Proceedings of the International Symposium on Compositionality (Vol. 1536, pp. 23–60). Bad Malente, Germany: Springer. https://doi.org/10.1007/3-540-49213-5_2
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4602
Alur, R., De Alfaro, L., Henzinger, T. A., & Mang, F. (1999). Automating modular verification. In Proceedings of the 10th International Conference on Concurrency Theory (Vol. 1664, pp. 82–97). Eindhoven, The Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-48320-9_8
View
| DOI
1999 | Journal Article | IST-REx-ID: 8526
Kaloshin, V. (1999). An extension of the Artin-Mazur theorem. The Annals of Mathematics. JSTOR. https://doi.org/10.2307/121093
View
| DOI
1999 | Journal Article | IST-REx-ID: 3582 | 
Dey, T., Edelsbrunner, H., Guha, S., & Nekhayev, D. (1999). Topology preserving edge contraction. Publications de l’Institut Mathématique. Mathematical Institute, Serbian Academy of Sciences and Arts.
View
| Download None (ext.)
1999 | Journal Article | IST-REx-ID: 2592 |
Masugi, M., Yokoi, M., Shigemoto, R., Muguruma, K., Watanabe, Y., Sansig, G., … Nakanishi, S. (1999). Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.19-03-00955.1999
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 2593 |
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. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.19-09-03545.1999
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1999 | 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. Elsevier. https://doi.org/10.1016/S0304-3940(98)00926-4
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 883
Kondrashov, A., & Kondrashov, F. (1999). Interactions among quantitative traits in the course of sympatric speciation. Nature. Nature Publishing Group. https://doi.org/10.1038/22514
View
| DOI
| PubMed | Europe PMC