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 TA, Manna Z, Pnueli A. An interleaving model for real time. In: Proceedings of the 5th Jerusalem Conference on Information Technology. IEEE; 1990:717-730. doi:10.1109/JCIT.1990.128356
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4522
Henzinger TA. Half-order modal logic: How to prove real-time properties. In: Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing. ACM; 1990:281-296. doi:10.1145/93385.93429
View
| DOI
| Download None (ext.)
1990 | Conference Paper | IST-REx-ID: 4597
Alur R, Henzinger TA. Real-time logics: Complexity and expressiveness. In: 5th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1990:390-401. doi: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. Glutaminase-like immunoreactivity in the lower brainstem and cerebellum of the adult rat. Neuroscience. 1989;32(1):79-98. doi: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, et al. Molecular characterization of a functional cDNA for rat substance P receptor. Journal of Biological Chemistry. 1989;264(30):17649-17652. doi:doi.org/10.1016/S0021-9258(19)84619-7
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC