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.

54 Publications


1995 | Published | Journal Article | IST-REx-ID: 11677
M. Henzinger, “Fully dynamic biconnectivity in graphs,” Algorithmica, vol. 13, no. 6. Springer Nature, pp. 503–538, 1995.
View | DOI
 

1995 | Published | Conference Paper | IST-REx-ID: 11684
M. Henzinger and V. King, “Fully dynamic biconnectivity and transitive closure,” in Proceedings of IEEE 36th Annual Foundations of Computer Science, Milwaukee, WI, United States, 1995, pp. 664–672.
View | DOI
 

1995 | Published | Conference Paper | IST-REx-ID: 11805
M. Henzinger and H. Poutré, “Certificates and fast algorithms for biconnectivity in fully-dynamic graphs,” in 3rd Annual European Symposium on Algorithms, Corfu, Greece, 1995, vol. 979, pp. 171–184.
View | DOI
 

1995 | Published | Conference Paper | IST-REx-ID: 11806
M. Henzinger, “Approximating minimum cuts under insertions,” in 22nd International Colloquium on Automata, Languages and Programming, Szeged, Hungary, 1995, vol. 944, pp. 280–291.
View | DOI
 

earlier version | 1995 | Published | Conference Paper | IST-REx-ID: 11928 | OA
D. Alberts and M. Henzinger, “Average case analysis of dynamic graph algorithms,” in 6th Annual ACM-SIAM Symposium on Discrete Algorithms, San Francisco, CA, United States, 1995, pp. 312–321.
[Published Version] View | Files available | Download Published Version (ext.)
 

1995 | Published | Book Chapter | IST-REx-ID: 2465
D. Morris, J. Friml, and E. Zažímalová, “Auxin transport,” in Plant Hormones: Biosynthesis, Signal Transduction, Action!, P. Davies, Ed. Kluwer, 1995, pp. 451–484.
View | DOI | Download None (ext.)
 

1995 | Published | Journal Article | IST-REx-ID: 2491
H. Ohishi, C. Akazawa, R. Shigemoto, S. Nakanishi, and N. Mizuno, “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, vol. 360, no. 4. Wiley-Blackwell, pp. 555–570, 1995.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Published | Journal Article | IST-REx-ID: 2556
Y. Ding, M. Takada, R. Shigemoto, and N. Mizuno, “Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat,” Brain Research, vol. 674, no. 2. Elsevier, pp. 336–340, 1995.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

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

1995 | Published | Journal Article | IST-REx-ID: 2559 | OA
M. Masu et al., “Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene,” Cell, vol. 80, no. 5. Cell Press, pp. 757–765, 1995.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Published | Journal Article | IST-REx-ID: 2560
Y. Lü 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, vol. 198, no. 2. Elsevier, pp. 139–142, 1995.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Published | Journal Article | IST-REx-ID: 2561
H. Ohishi et al., “Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat,” Neuroscience Letters, vol. 202, no. 1–2. Elsevier, pp. 85–88, 1995.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Published | Journal Article | IST-REx-ID: 2563
Y. Ding, M. Takada, R. Shigemoto, and N. Mizuno, “Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat,” Neuroscience Research, vol. 23, no. 4. Elsevier, pp. 415–418, 1995.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Published | Conference Paper | IST-REx-ID: 2712
L. Erdös, “Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals,” presented at the International Conference on Partial Differential Operators and Mathematical Physics, Holzhau, Germany, 1995, vol. 78, pp. 127–132.
View | DOI | Download None (ext.)
 

1995 | Published | Journal Article | IST-REx-ID: 2724
L. Erdös, “Magnetic Lieb-Thirring inequalities,” Communications in Mathematical Physics, vol. 170, no. 3. Springer, pp. 629–668, 1995.
View | DOI | Download None (ext.)
 

1995 | Published | Journal Article | IST-REx-ID: 1943 | OA
L. A. Sazanov and B. Jackson, “Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation,” Biochimica et Biophysica Acta - Bioenergetics, vol. 1231, no. 3. Elsevier, pp. 304–312, 1995.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

1995 | Published | Conference Paper | IST-REx-ID: 4447
T. A. Henzinger and P. Ho, “HyTech: The Cornell Hybrid Technology Tool,” in 4th International Hybrid Systems Workshop, New Brunswick, NJ, United States of America, 1995, vol. 999, pp. 265–293.
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4448
T. A. Henzinger and P. Ho, “A note on abstract-interpretation strategies for hybrid automata,” in 3rd International Hybrid Systems Workshop, Ithaca, NY, United States of America, 1995, vol. 999, pp. 252–264.
View | DOI | Download None (ext.)
 

1995 | Published | Conference Paper | IST-REx-ID: 4450
T. A. Henzinger and P. Ho, “Algorithmic analysis of nonlinear hybrid systems,” in 7th International Conference on Computer Aided Verification, Liege, Belgium, 1995, vol. 939, pp. 225–238.
View | DOI | Download None (ext.)
 

Filters and Search Terms

year=1995

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed