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.
9101 Publications
1990 | Conference Paper | IST-REx-ID: 4510
Henzinger, T. A., Manna, Z., & Pnueli, A. (1990). An interleaving model for real time. In Proceedings of the 5th Jerusalem Conference on Information Technology (pp. 717–730). Jerusalem, Israel: IEEE. https://doi.org/10.1109/JCIT.1990.128356
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4522
Henzinger, T. A. (1990). Half-order modal logic: How to prove real-time properties. In Proceedings of the 9th annual ACM symposium on Principles of distributed computing (pp. 281–296). Quebec City, Canada: ACM. https://doi.org/10.1145/93385.93429
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4597
Alur, R., & Henzinger, T. A. (1990). Real-time logics: Complexity and expressiveness. In 5th Annual IEEE Symposium on Logic in Computer Science (pp. 390–401). Philadelphia, PA, USA: IEEE. https://doi.org/10.1109/LICS.1990.113764
View
| DOI
| Download None (ext.)
1989 | Journal Article | IST-REx-ID: 2479
Kaneko, T., Itoh, K., Shigemoto, R., & Mizuno, N. (1989). Glutaminase-like immunoreactivity in the lower brainstem and cerebellum of the adult rat. Neuroscience. Elsevier. https://doi.org/10.1016/0306-4522(89)90109-7
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1989 | Journal Article | IST-REx-ID: 2525 | 
Yokota, Y., Sasai, Y., Tanaka, K., Fujiwara, T., Tsuchida, K., Shigemoto, R., … Nakanishi, S. (1989). Molecular characterization of a functional cDNA for rat substance P receptor. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/doi.org/10.1016/S0021-9258(19)84619-7
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC