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, Thomas A, Zohar Manna, and Amir Pnueli. “An Interleaving Model for Real Time.” In Proceedings of the 5th Jerusalem Conference on Information Technology, 717–30. IEEE, 1990. https://doi.org/10.1109/JCIT.1990.128356.
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4522
Henzinger, Thomas A. “Half-Order Modal Logic: How to Prove Real-Time Properties.” In Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, 281–96. ACM, 1990. https://doi.org/10.1145/93385.93429.
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4597
Alur, Rajeev, and Thomas A Henzinger. “Real-Time Logics: Complexity and Expressiveness.” In 5th Annual IEEE Symposium on Logic in Computer Science, 390–401. IEEE, 1990. https://doi.org/10.1109/LICS.1990.113764.
View
| DOI
| Download None (ext.)
1989 | Journal Article | IST-REx-ID: 2479
Kaneko, Takeshi, Kazuo Itoh, Ryuichi Shigemoto, and Noboru Mizuno. “Glutaminase-like Immunoreactivity in the Lower Brainstem and Cerebellum of the Adult Rat.” Neuroscience. Elsevier, 1989. 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, Yoshifumi, Yoshiki Sasai, Kohichi Tanaka, Tsutomu Fujiwara, Kunihiro Tsuchida, Ryuichi Shigemoto, Akira Kakizuka, Hiroaki Ohkubo, and Shigetada Nakanishi. “Molecular Characterization of a Functional CDNA for Rat Substance P Receptor.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 1989. https://doi.org/doi.org/10.1016/S0021-9258(19)84619-7.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC