ISTA Research Explorer

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

Search / Filter

1997 | Published | Conference Paper | IST-REx-ID: 4496

T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” in Proceedings of the 8th International Conference on Concurrency Theory, Warsaw, Poland, 1997, vol. 1243, pp. 273–287.

View | DOI

1997 | Published | Conference Paper | IST-REx-ID: 4520

V. Gupta, T. A. Henzinger, and R. Jagadeesan, “Robust timed automata,” in Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Grenoble, France, 1997, vol. 1201, pp. 331–345.

View | DOI

1997 | Published | Conference Paper | IST-REx-ID: 4583

R. Alur and T. A. Henzinger, “Modularity for timed and hybrid systems,” in 8th International Conference on Concurrency Theory, Warsaw, Poland, 1997, vol. 1243, pp. 74–88.

View | DOI

1997 | Published | Journal Article | IST-REx-ID: 4584

R. Alur and T. A. Henzinger, “Real-time system = discrete system + clock variables,” Software Tools For Technology Transfer, vol. 1, no. 1–2. Springer, pp. 86–109, 1997.

View | DOI

1997 | Published | Conference Paper | IST-REx-ID: 4605

R. Alur, T. A. Henzinger, and H. Wong Toi, “Symbolic analysis of hybrid systems,” in Proceedings of the 36th IEEE Conference on Decision and Control, San Diego, CA, USA, 1997, pp. 702–707.

View | DOI

1997 | Published | Journal Article | IST-REx-ID: 4607

R. Alur, C. Courcoubetis, and T. A. Henzinger, “Computing accumulated delays in real-time systems,” Formal Methods in System Design, vol. 11, no. 2. Springer, pp. 137–156, 1997.

View | DOI

1997 | Published | Conference Paper | IST-REx-ID: 4608

R. Alur, R. Brayton, T. A. Henzinger, S. Qadeer, and S. Rajamani, “Partial-order reduction in symbolic state-space exploration,” in 9th International Conference on Computer Aided Verification, Haifa, Israel, 1997, vol. 1254, pp. 340–351.

View | DOI

1997 | Published | Conference Paper | IST-REx-ID: 4609

R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” in Proceedings of the 38th Annual Symposium on Foundations of Computer Science, Washington, DC, United States, 1997, pp. 100–109.

View | DOI

1997 | Published | Journal Article | IST-REx-ID: 2493

L. Acsády, I. Katona, A. Gulyás, R. Shigemoto, and T. Freund, “Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus,” Journal of Comparative Neurology, vol. 378, no. 3. Wiley-Blackwell, pp. 320–336, 1997.

View | DOI | PubMed | Europe PMC

1997 | Published | Journal Article | IST-REx-ID: 2575

H. Li, H. Ohishi, A. Kinoshita, R. Shigemoto, S. Nomura, and N. Mizuno, “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, vol. 223, no. 3. Elsevier, pp. 153–156, 1997.

View | DOI | PubMed | Europe PMC

1997 | Published | Journal Article | IST-REx-ID: 2576

J. Li, T. Kaneko, R. Shigemoto, and N. Mizuno, “Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat,” Journal of Comparative Neurology, vol. 378, no. 4. Wiley-Blackwell, pp. 508–521, 1997.

View | DOI | PubMed | Europe PMC

1997 | Published | Journal Article | IST-REx-ID: 2577

Y. Tone et al., “The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase,” European Journal of Cell Biology, vol. 72, no. 3. Elsevier, pp. 268–277, 1997.

View | PubMed | Europe PMC

1997 | Published | Journal Article | IST-REx-ID: 2578

V. Seybold et al., “Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord,” Journal of Comparative Neurology, vol. 381, no. 4. Wiley-Blackwell, pp. 439–448, 1997.

View | DOI | PubMed | Europe PMC

1997 | Published | Journal Article | IST-REx-ID: 2579

P. Mann, B. Southwell, Y. Ding, R. Shigemoto, N. Mizuno, and J. Furness, “Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract,” Cell and Tissue Research, vol. 289, no. 1. Springer, pp. 1–9, 1997.

View | DOI | PubMed | Europe PMC

1997 | Published | Journal Article | IST-REx-ID: 2580

R. Luján, J. Roberts, R. Shigemoto, H. Ohishi, and P. Somogyi, “Differential plasma membrane distribution of metabotropic glutamate receptors mGluR1α, mGluR2 and mGluR5, relative to neurotransmitter release sites,” Journal of Chemical Neuroanatomy, vol. 13, no. 4. Elsevier, pp. 219–241, 1997.

View | DOI | PubMed | Europe PMC

1997 | Published | Journal Article | IST-REx-ID: 2581

T. Lee, T. Kaneko, R. Shigemoto, S. Nomura, and N. Mizuno, “Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat,” Journal of Comparative Neurology, vol. 388, no. 2. Wiley-Blackwell, pp. 250–264, 1997.

View | DOI | PubMed | Europe PMC

1997 | Published | Journal Article | IST-REx-ID: 2582 |

R. Shigemoto et al., “Differential presynaptic localization of metabotropic glutamate receptor subtypes in the rat hippocampus,” Journal of Neuroscience, vol. 17, no. 19. Society for Neuroscience, pp. 7503–7522, 1997.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

1997 | Published | Journal Article | IST-REx-ID: 2727

L. Erdös, “Dia- and paramagnetism for nonhomogeneous magnetic fields,” Journal of Mathematical Physics, vol. 38, no. 3. American Institute of Physics, pp. 1289–1317, 1997.

View | DOI

1997 | Published | Journal Article | IST-REx-ID: 2729

L. Erdös and J. Solovej, “Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates,” Communications in Mathematical Physics, vol. 188, no. 3. Springer, pp. 599–656, 1997.

View | DOI

1997 | Published | Journal Article | IST-REx-ID: 11666

J. M. Anderson et al., “Continuous profiling: Where have all the cycles gone?,” ACM Transactions on Computer Systems, vol. 15, no. 4. Association for Computing Machinery, pp. 357–390, 1997.

View | DOI