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.

8923 Publications


1998 | Published | Conference (Editor) | IST-REx-ID: 4430
Henzinger, T. A. (Ed.). (1998). HSCC: Hybrid Systems—Computation and Control (Vol. 1386). Presented at the HSCC: Hybrid Systems: Computation and Control, Berkeley, CA, United States of America: Springer. https://doi.org/10.1007/3-540-64358-3
View | DOI
 

1998 | Published | Conference Paper | IST-REx-ID: 4486
Henzinger, T. A., Qadeer, S., Rajamani, S., & Tasiran, S. (1998). An assume-guarantee rule for checking simulation. In Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design (Vol. 1522, pp. 421–432). Palo Alto, CA, United States of America: Springer. https://doi.org/10.1007/3-540-49519-3_27
View | DOI
 

1998 | Published | Conference Paper | IST-REx-ID: 4488
Henzinger, T. A., Qadeer, S., & Rajamani, S. (1998). You assume, we guarantee: Methodology and case studies. In Proceedings of the 10th International Conference on Computer Aided Verification (Vol. 1427, pp. 440–451). Vancouver, Canada: Springer. https://doi.org/10.1007/BFb0028765
View | DOI
 

1998 | Published | Conference Paper | IST-REx-ID: 4489
Henzinger, T. A., Kupferman, O., & Qadeer, S. (1998). From pre-historic to post-modern symbolic model checking. In Proceedings of the 10th International Conference on Computer Aided Verification (Vol. 1427, pp. 195–206). Vancouver, Canada: Springer. https://doi.org/10.1007/BFb0028745
View | DOI
 

1998 | Published | Conference Paper | IST-REx-ID: 4490
Henzinger, T. A., Raskin, J., & Schobbens, P. (1998). The regular real-time languages. In Proceedings of the 25th International Colloqium on Automata, Languages and Programming (Vol. 1443, pp. 580–591). Aalborg, Denmark: Springer. https://doi.org/10.1007/BFb0055086
View | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 4491
Henzinger, T. A., Ho, P., & Wong Toi, H. (1998). Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. IEEE. https://doi.org/10.1109/9.664156
View | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 4492 | OA
Henzinger, T. A., Kopke, P., Puri, A., & Varaiya, P. (1998). What’s decidable about hybrid automata? Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1006/jcss.1998.1581
[Published Version] View | DOI | Download Published Version (ext.)
 

1998 | Published | Conference Paper | IST-REx-ID: 4515
Henzinger, T. A. (1998). It’s about time: Real-time logics reviewed. In Proceedings of the 9th Interantional Conference on Concurrency Theory (Vol. 1466, pp. 439–454). Nice, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0055640
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 2493
Acsády, L., Katona, I., Gulyás, A., Shigemoto, R., & Freund, T. (1997). Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19970217)378:3<320::AID-CNE2>3.0.CO;2-5
View | DOI | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 2575
Li, H., Ohishi, H., Kinoshita, A., Shigemoto, R., Nomura, S., & Mizuno, N. (1997). Localization of a metabotropic glutamate receptor, mGluR7, in axon terminals of presumed nociceptive, primary afferent fibers in the superficial layers of the spinal dorsal horn: An electron microscope study in the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/S0304-3940(97)13429-2
View | DOI | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 2576
Li, J., Kaneko, T., Shigemoto, R., & Mizuno, N. (1997). Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19970224)378:4<508::AID-CNE6>3.0.CO;2-6
View | DOI | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 2577
Tone, Y., Inoue, H., Hara, S., Yokoyama, C., Hatae, T., Oida, H., … Tanabe, T. (1997). The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase. European Journal of Cell Biology. Elsevier.
View | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 2578
Seybold, V., Grković, I., Portbury, A., Ding, Y., Shigemoto, R., Mizuno, N., … Southwell, B. (1997). Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19970519)381:4<439::AID-CNE4>3.0.CO;2-3
View | DOI | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 2579
Mann, P., Southwell, B., Ding, Y., Shigemoto, R., Mizuno, N., & Furness, J. (1997). Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract. Cell and Tissue Research. Springer. https://doi.org/10.1007/s004410050846
View | DOI | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 2580
Luján, R., Roberts, J., Shigemoto, R., Ohishi, H., & Somogyi, P. (1997). Differential plasma membrane distribution of metabotropic glutamate receptors mGluR1α, mGluR2 and mGluR5, relative to neurotransmitter release sites. Journal of Chemical Neuroanatomy. Elsevier. https://doi.org/10.1016/S0891-0618(97)00051-3
View | DOI | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 2581
Lee, T., Kaneko, T., Shigemoto, R., Nomura, S., & Mizuno, N. (1997). Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19971117)388:2<250::AID-CNE5>3.0.CO;2-0
View | DOI | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 2582 | OA
Shigemoto, R., Kinoshita, A., Wada, E., Nomura, S., Ohishi, H., Takada, M., … Mizuno, N. (1997). Differential presynaptic localization of metabotropic glutamate receptor subtypes in the rat hippocampus. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.17-19-07503.1997
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 2727
Erdös, L. (1997). Dia- and paramagnetism for nonhomogeneous magnetic fields. Journal of Mathematical Physics. American Institute of Physics. https://doi.org/10.1063/1.531909
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 2729
Erdös, L., & Solovej, J. (1997). Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s002200050181
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 11666
Anderson, J. M., Berc, L. M., Dean, J., Ghemawat, S., Henzinger, M. H., Leung, S.-T. A., … Weihl, W. E. (1997). Continuous profiling: Where have all the cycles gone? ACM Transactions on Computer Systems. Association for Computing Machinery. https://doi.org/10.1145/265924.265925
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed