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
An interleaving model for real time
T.A. Henzinger, Z. Manna, A. Pnueli, in:, Proceedings of the 5th Jerusalem Conference on Information Technology, IEEE, 1990, pp. 717–730.
View
| DOI
| Download None (ext.)
T.A. Henzinger, Z. Manna, A. Pnueli, in:, Proceedings of the 5th Jerusalem Conference on Information Technology, IEEE, 1990, pp. 717–730.
1990 | Conference Paper | IST-REx-ID: 4522
Half-order modal logic: How to prove real-time properties
T.A. Henzinger, in:, Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, ACM, 1990, pp. 281–296.
View
| DOI
| Download None (ext.)
T.A. Henzinger, in:, Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, ACM, 1990, pp. 281–296.
1990 | Conference Paper | IST-REx-ID: 4597
Real-time logics: Complexity and expressiveness
R. Alur, T.A. Henzinger, in:, 5th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1990, pp. 390–401.
View
| DOI
| Download None (ext.)
R. Alur, T.A. Henzinger, in:, 5th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1990, pp. 390–401.
1989 | Journal Article | IST-REx-ID: 2479
Glutaminase-like immunoreactivity in the lower brainstem and cerebellum of the adult rat
T. Kaneko, K. Itoh, R. Shigemoto, N. Mizuno, Neuroscience 32 (1989) 79–98.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
T. Kaneko, K. Itoh, R. Shigemoto, N. Mizuno, Neuroscience 32 (1989) 79–98.
1989 | Journal Article | IST-REx-ID: 2525 |
Molecular characterization of a functional cDNA for rat substance P receptor
Y. Yokota, Y. Sasai, K. Tanaka, T. Fujiwara, K. Tsuchida, R. Shigemoto, A. Kakizuka, H. Ohkubo, S. Nakanishi, Journal of Biological Chemistry 264 (1989) 17649–17652.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
Y. Yokota, Y. Sasai, K. Tanaka, T. Fujiwara, K. Tsuchida, R. Shigemoto, A. Kakizuka, H. Ohkubo, S. Nakanishi, Journal of Biological Chemistry 264 (1989) 17649–17652.