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.

8924 Publications


1995 | Published | Journal Article | IST-REx-ID: 4298 | OA
Barton NH. Appendix to “A simulation study of multilocus clines” by S J E Baird. Evolution. 1995;49(6):1038-1045. doi:10.1111/j.1558-5646.1995.tb04431.x
[Published Version] View | DOI | Download Published Version (ext.)
 

1995 | Published | Thesis | PhD | IST-REx-ID: 4428 | OA
Ho P. Automatic analysis of hybrid systems. 1995:1-188.
[Published Version] View | Download Published Version (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4447
Henzinger TA, Ho P. HyTech: The Cornell Hybrid Technology Tool. In: Panos A, Kohn W, Nerode A, Sastry S, eds. 4th International Hybrid Systems Workshop. Vol 999. LNCS. Springer; 1995:265-293. doi:10.1007/3-540-60472-3_14
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4448
Henzinger TA, Ho P. A note on abstract-interpretation strategies for hybrid automata. In: Panos A, Kohn W, Nerode A, Sastry S, eds. 3rd International Hybrid Systems Workshop. Vol 999. Springer; 1995:252-264. doi:10.1007/3-540-60472-3_13
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4450
Henzinger TA, Ho P. Algorithmic analysis of nonlinear hybrid systems. In: 7th International Conference on Computer Aided Verification. Vol 939. Springer; 1995:225-238. doi:10.1007/3-540-60045-0_53
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4497
Henzinger TA, Ho P, Wong Toi H. A user guide to HyTech. In: 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. Vol 1019. Springer; 1995:41-71. doi:10.1007/3-540-60630-0_3
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4498
Henzinger MH, Henzinger TA, Kopke P. Computing simulations on finite and infinite graphs. In: Proceedings of IEEE 36th Annual Foundations of Computer Science. IEEE; 1995:453-462. doi:10.1109/SFCS.1995.492576
View | DOI
 

1995 | Published | Conference Paper | IST-REx-ID: 4499
Henzinger TA, Ho P, Wong Toi H. HyTech: The next generation. In: Proceedings 16th IEEE Real-Time Systems Symposium. IEEE; 1995:56-65. doi:10.1109/REAL.1995.495196
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4500
Henzinger TA, Kopke P, Wong Toi H. The expressive power of clocks. In: 22nd International Colloquium on Automata, Languages and Programming . Vol 944. Springer; 1995:417-428. doi:10.1007/3-540-60084-1_93
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4502 | OA
Henzinger TA, Kopke P, Puri A, Varaiya P. What’s decidable about hybrid automata? In: Proceedings of the 27th Annual ACM Symposium on Theory of Computing. ACM; 1995:373-382. doi:10.1145/225058.225162
[Published Version] View | DOI | Download Published Version (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4518
Henzinger TA. Hybrid automata with finite bisimulations. In: 22nd International Colloquium on Automata, Languages and Programming . Vol 944. Springer; 1995:324-335. doi:10.1007/3-540-60084-1_85
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4587
Alur R, Henzinger TA. Local liveness for compositional modeling of fair reactive systems. In: 7th International Conference on Computer Aided Verification. Vol 939. Springer; 1995:166-179. doi:10.1007/3-540-60045-0_49
View | DOI | Download None (ext.)
 

1995 | Published | Journal Article | IST-REx-ID: 4613
Alur R, Courcoubetis C, Halbwachs N, et al. The algorithmic analysis of hybrid systems. Theoretical Computer Science. 1995;138(1):3-34. doi:10.1016/0304-3975(94)00202-T
View | DOI | Download None (ext.)
 

1995 | Published | Book Chapter | IST-REx-ID: 2465
Morris D, Friml J, Zažímalová E. Auxin transport. In: Davies P, ed. Plant Hormones: Biosynthesis, Signal Transduction, Action!. Kluwer; 1995:451-484. doi:10.1007/978-1-4020-2686-7_21
View | DOI | Download None (ext.)
 

1995 | Published | Journal Article | IST-REx-ID: 2491
Ohishi H, Akazawa C, Shigemoto R, Nakanishi S, Mizuno N. Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain. Journal of Comparative Neurology. 1995;360(4):555-570. doi:10.1002/cne.903600402
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Published | Journal Article | IST-REx-ID: 2556
Ding Y, Takada M, Shigemoto R, Mizuno N. Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat. Brain Research. 1995;674(2):336-340. doi:10.1016/0006-8993(95)00022-I
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Published | Journal Article | IST-REx-ID: 2558
Mick G, Shigemoto R, Kitahama K. Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents. Comptes Rendus de l’Academie des Sciences - Series III. 1995;318(2):209-217.
View | Download None (ext.) | PubMed | Europe PMC
 

1995 | Published | Journal Article | IST-REx-ID: 2559 | OA
Masu M, Iwakabe H, Tagawa Y, et al. Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene. Cell. 1995;80(5):757-765. doi:10.1016/0092-8674(95)90354-2
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Published | Journal Article | IST-REx-ID: 2560
Lü Y, Jin S, Xu T, et al. Expression of c-fos protein in substance P receptor-like immunoreactive neurons in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord segments of the rat. Neuroscience Letters. 1995;198(2):139-142. doi:10.1016/0304-3940(95)11991-5
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Published | Journal Article | IST-REx-ID: 2561
Ohishi H, Nomura S, Ding Y, et al. Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat. Neuroscience Letters. 1995;202(1-2):85-88. doi:10.1016/0304-3940(95)12207-9
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed