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.
6978 Publications
1998 |Published| Conference Paper | IST-REx-ID: 4490
Henzinger, Thomas A, Jean Raskin, and Pierre Schobbens. “The Regular Real-Time Languages.” In Proceedings of the 25th International Colloqium on Automata, Languages and Programming, 1443:580–91. Springer, 1998. https://doi.org/10.1007/BFb0055086.
View
| DOI
1998 |Published| Conference Paper | IST-REx-ID: 4489
Henzinger, Thomas A, Orna Kupferman, and Shaz Qadeer. “From Pre-Historic to Post-Modern Symbolic Model Checking.” In Proceedings of the 10th International Conference on Computer Aided Verification, 1427:195–206. Springer, 1998. https://doi.org/10.1007/BFb0028745.
View
| DOI
1998 |Published| Conference Paper | IST-REx-ID: 4488
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “You Assume, We Guarantee: Methodology and Case Studies.” In Proceedings of the 10th International Conference on Computer Aided Verification, 1427:440–51. Springer, 1998. https://doi.org/10.1007/BFb0028765.
View
| DOI
1998 |Published| Journal Article | IST-REx-ID: 4491
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “Algorithmic Analysis of Nonlinear Hybrid Systems.” IEEE Transactions on Automatic Control. IEEE, 1998. https://doi.org/10.1109/9.664156 .
View
| DOI
1998 |Published| Journal Article | IST-REx-ID: 4492 | 
Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable about Hybrid Automata?” Journal of Computer and System Sciences. Elsevier, 1998. 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, Thomas A. “It’s about Time: Real-Time Logics Reviewed.” In Proceedings of the 9th Interantional Conference on Concurrency Theory, 1466:439–54. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998. https://doi.org/10.1007/BFb0055640.
View
| DOI
1998 |Published| Conference Paper | IST-REx-ID: 4606
Alur, Rajeev, Thomas A Henzinger, and Sriram Rajamani. “Symbolic Exploration of Transition Hierarchies.” In Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 1384:330–44. Springer, 1998. https://doi.org/10.1007/BFb0054181.
View
| DOI
1998 |Published| Conference Paper | IST-REx-ID: 4603
Alur, Rajeev, Thomas A Henzinger, Orna Kupferman, and Moshe Vardi. “Alternating Refinement Relations.” In Proceedings of the 9th Interantional Conference on Concurrency Theory, 1466:163–78. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998. https://doi.org/10.1007/BFb0055622.
View
| DOI
1998 |Published| Conference Paper | IST-REx-ID: 4604
Alur, Rajeev, Thomas A Henzinger, Freddy Mang, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “Mocha: Modularity in Model Checking.” In Proceedings of the 10th International Conference on Computer Aided Verification, 1427:521–25. Springer, 1998. https://doi.org/10.1007/BFb0028774.
View
| DOI
1998 |Published| Conference Paper | IST-REx-ID: 4639
De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.” In Proceedings 39th Annual Symposium on Foundations of Computer Science, 564–75. IEEE, 1998. https://doi.org/10.1109/SFCS.1998.743507 .
View
| DOI
1998 |Published| Journal Article | IST-REx-ID: 6160
Bono, Mario de, and Cornelia I Bargmann. “Natural Variation in a Neuropeptide Y Receptor Homolog Modifies Social Behavior and Food Response in C. Elegans.” Cell. Elsevier, 1998. https://doi.org/10.1016/s0092-8674(00)81609-8.
View
| DOI
| PubMed | Europe PMC
1997 |Published| Journal Article | IST-REx-ID: 2493
Acsády, László, István Katona, Attila Gulyás, Ryuichi Shigemoto, and Tamás Freund. “Immunostaining for Substance P Receptor Labels GABAergic Cells with Distinct Termination Patterns in the Hippocampus.” Journal of Comparative Neurology. Wiley-Blackwell, 1997. 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: 2576
Li, Jin, Takeshi Kaneko, Ryuichi Shigemoto, and Noboru Mizuno. “Distribution of Trigeminohypothalamic and Spinohypothalamic Tract Neurons Displaying Substance P Receptor-like Immunoreactivity in the Rat.” Journal of Comparative Neurology. Wiley-Blackwell, 1997. 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: 2578
Seybold, Virginia, Ivica Grković, Andrea Portbury, Yu Ding, Ryuichi Shigemoto, Noboru Mizuno, John Furness, and Bridget Southwell. “Relationship of NK3 Receptor-Immunoreactivity to Subpopulations of Neurons in Rat Spinal Cord.” Journal of Comparative Neurology. Wiley-Blackwell, 1997. 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: 2575
Li, He, Hitoshi Ohishi, Ayae Kinoshita, Ryuichi Shigemoto, Sakashi Nomura, and Noboru 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. Elsevier, 1997. https://doi.org/10.1016/S0304-3940(97)13429-2.
View
| DOI
| PubMed | Europe PMC
1997 |Published| Journal Article | IST-REx-ID: 2577
Tone, Yoshinori, Hiroyasu Inoue, Shuntaro Hara, Chieko Yokoyama, Toshihisa Hatae, Hiroji Oida, Shuh Narumiya, Ryuichi Shigemoto, Susumu Yukawa, and Tadashi Tanabe. “The Regional Distribution and Cellular Localization of MRNA Encoding Rat Prostacyclin Synthase.” European Journal of Cell Biology. Elsevier, 1997.
View
| PubMed | Europe PMC
1997 |Published| Journal Article | IST-REx-ID: 2580
Luján, Rafael, John Roberts, Ryuichi Shigemoto, Hitoshi Ohishi, and Péter Somogyi. “Differential Plasma Membrane Distribution of Metabotropic Glutamate Receptors MGluR1α, MGluR2 and MGluR5, Relative to Neurotransmitter Release Sites.” Journal of Chemical Neuroanatomy. Elsevier, 1997. https://doi.org/10.1016/S0891-0618(97)00051-3.
View
| DOI
| PubMed | Europe PMC
1997 |Published| Journal Article | IST-REx-ID: 2582 |
Shigemoto, Ryuichi, Ayae Kinoshita, Eiki Wada, Sakashi Nomura, Hitoshi Ohishi, Masahiko Takada, Peter Flor, et al. “Differential Presynaptic Localization of Metabotropic Glutamate Receptor Subtypes in the Rat Hippocampus.” Journal of Neuroscience. Society for Neuroscience, 1997. 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: 2581
Lee, Teffy, Takeshi Kaneko, Ryuichi Shigemoto, Sakashi Nomura, and Noboru Mizuno. “Collateral Projections from Striatonigral Neurons to Substance P Receptor-Expressing Intrinsic Neurons in the Striatum of the Rat.” Journal of Comparative Neurology. Wiley-Blackwell, 1997. 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: 2579
Mann, Patricia, Bridget Southwell, Yu Ding, Ryuichi Shigemoto, Noboru Mizuno, and John Furness. “Localisation of Neurokinin 3 (NK3) Receptor Immunoreactivity in the Rat Gastrointestinal Tract.” Cell and Tissue Research. Springer, 1997. https://doi.org/10.1007/s004410050846.
View
| DOI
| PubMed | Europe PMC