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.
1849 Publications
1999 | Book Chapter | IST-REx-ID: 3457
Geiger, Jörg, Arnd Roth, Birol Taskin, and Peter M Jonas. “Glutamate-Mediated Synaptic Excitation of Cortical Interneurons.” In Ionotropic Glutamate Receptors in the CNS, edited by Hannah Monyer and Peter M Jonas, 141:363–98. Springer, 1999. https://doi.org/10.1007/978-3-662-08022-1_11.
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4484
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.” In Proceedings of the 11th International Conference on Computer Aided Verification, 1633:301–15. Springer, 1999. https://doi.org/10.1007/3-540-48683-6_27.
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4485
Henzinger, Thomas A, Benjamin Horowitz, and Ritankar Majumdar. “Rectangular Hybrid Games.” In Proceedings of the 10th International Conference on Concurrency Theory, 1664:320–35. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999. https://doi.org/10.1007/3-540-48320-9_23.
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4487
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Assume-Guarantee Refinement between Different Time Scales.” In Proceedings of the 11th International Conference on Computer Aided Verification, 1633:208–21. Springer, 1999. https://doi.org/10.1007/3-540-48683-6_20.
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4601
Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.” In Proceedings of the International Symposium on Compositionality, 1536:23–60. Springer, 1999. https://doi.org/10.1007/3-540-49213-5_2.
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4602
Alur, Rajeev, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Automating Modular Verification.” In Proceedings of the 10th International Conference on Concurrency Theory, 1664:82–97. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999. https://doi.org/10.1007/3-540-48320-9_8.
View
| DOI
1999 | Journal Article | IST-REx-ID: 2593 | 
Yu, Xiao, En Zhang, Arthur Craig, Ryuichi Shigemoto, Alfredo Ribeiro Da Silva, and Yves De Koninck. “NK-1 Receptor Immunoreactivity in Distinct Morphological Types of Lamina I Neurons of the Primate Spinal Cord.” Journal of Neuroscience. Society for Neuroscience, 1999. https://doi.org/10.1523/JNEUROSCI.19-09-03545.1999.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1998 | Conference Paper | IST-REx-ID: 11682
Agarwal, P. K., D. EppsteinL. J. Guibas, and Monika H Henzinger. “Parametric and Kinetic Minimum Spanning Trees.” In Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 596–605, 1998. https://doi.org/10.1109/SFCS.1998.743510.
View
| DOI
1998 | Journal Article | IST-REx-ID: 2584
Kinoshita, Ayae, Ryuichi Shigemoto, Hitoshi Ohishi, Herman Van Der Putten, and Noboru Mizuno. “Immunohistochemical Localization of Metabotropic Glutamate Receptors, MGluR7a and MGluR7b, in the Central Nervous System of the Adult Rat and Mouse: A Light and Electron Microscopic Study.” Journal of Comparative Neurology. Wiley-Blackwell, 1998. https://doi.org/10.1002/(SICI)1096-9861(19980413)393:3<332::AID-CNE6>3.0.CO;2-2.
View
| DOI
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 2585
Wada, Eiki, Ryuichi Shigemoto, Ayae Kinoshita, Hitoshi Ohishi, and Noboru Mizuno. “Metabotropic Glutamate Receptor Subtypes in Axon Terminals of Projection Fibers from the Main and Accessory Olfactory Bulbs: A Light and Electron Microscopic Immunohistochemical Study in the Rat.” Journal of Comparative Neurology. Wiley-Blackwell, 1998. https://doi.org/10.1002/(SICI)1096-9861(19980420)393:4<493::AID-CNE8>3.0.CO;2-W.
View
| DOI
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 2583
Li, Jin, Yu Ding, Kang Xiong, Ji Li, Ryuichi Shigemoto, and Noboru Mizuno. “Substance P Receptor (NK1)-Immunoreactive Neurons Projecting to the Periaqueductal Gray: Distribution in the Spinal Trigeminal Nucleus and the Spinal Cord of the Rat.” Neuroscience Research. Elsevier, 1998. https://doi.org/10.1016/S0168-0102(97)00132-6.
View
| DOI
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 2590
Jaarsma, Dick, Maria Diño, Hitoshi Ohishi, Ryuichi Shigemoto, and Enrico Mugnaini. “ Metabotropic Glutamate Receptors Are Associated with Non-Synaptic Appendages of Unipolar Brush Cells in Rat Cerebellar Cortex and Cochlear Nuclear Complex.” Journal of Neurocytology. Kluwer, 1998. https://doi.org/10.1023/A:1006982023657.
View
| DOI
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 3521
Csicsvari, Jozsef L, Hajima Hirase, András Czurkó, and György Buzsáki. “Reliability and State Dependence of Pyramidal Cell-Interneuron Synapses in the Hippocampus: An Ensemble Approach in the Behaving Rat.” Neuron. Elsevier, 1998. https://doi.org/10.1016/S0896-6273(00)80525-5.
View
| DOI
| PubMed | Europe PMC
1998 | Book Chapter | IST-REx-ID: 3570
Axen, Ulrike, and Herbert Edelsbrunner. “Auditory Morse Analysis of Triangulated Manifolds.” In Mathematical Visualization, 223–36. Springer, 1998. https://doi.org/10.1007/978-3-662-03567-2_17.
View
| DOI
1998 | Journal Article | IST-REx-ID: 3629
Maccallum, Catriona, Beate Nürnberger, Nicholas H Barton, and Jacek Szymura. “Habitat Preference in the Bombina Hybrid Zone in Croatia.” Evolution. Wiley-Blackwell, 1998. https://doi.org/10.1111/j.1558-5646.1998.tb05156.x.
View
| DOI
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 4017 |
Liang, Jie, Herbert Edelsbrunner, and Clare Woodward. “Anatomy of Protein Pockets and Cavities: Measurement of Binding Site Geometry and Implications for Ligand Design.” Protein Science. Wiley-Blackwell, 1998. https://doi.org/10.1002/pro.5560070905.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1998 | Conference Paper | IST-REx-ID: 4410
Preußig, Jörg, Stefan Kowalewski, Howard Wong Toi, and Thomas A Henzinger. “An Algorithm for the Approximative Analysis of Rectangular Automata.” In Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 1486:228–40. Springer, 1998. https://doi.org/10.1007/BFb0055350.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4429
Henzinger, Thomas A, and Vlad Rusu. “Reachability Verification for Hybrid Automata.” In Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control, 1386:190–204. Springer, 1998. https://doi.org/10.1007/3-540-64358-3_40.
View
| DOI
1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger, Thomas A, ed. HSCC: Hybrid Systems—Computation and Control. Vol. 1386. Springer, 1998. https://doi.org/10.1007/3-540-64358-3.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4486
Henzinger, Thomas A, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “An Assume-Guarantee Rule for Checking Simulation.” In Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, 1522:421–32. Springer, 1998. https://doi.org/10.1007/3-540-49519-3_27.
View
| DOI