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.
8920 Publications
2000 |
Published |
Conference Paper |
IST-REx-ID: 4435
Henzinger, Thomas A, and Ritankar Majumdar. “Symbolic Model Checking for Rectangular Hybrid Systems.” In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 1785:142–56. Springer, 2000. https://doi.org/10.1007/3-540-46419-0_11.
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4439
Henzinger, Thomas A, and Ritankar Majumdar. “A Classification of Symbolic Transition Systems.” In Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, 1770:13–34. Springer, 2000. https://doi.org/10.1007/3-540-46541-3_2.
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4481
Henzinger, Thomas A, Benjamin Horowitz, Ritankar Majumdar, and Howard Wong Toi. “Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods.” In Proceedings of the 3rd International Workshop on Hybrid Systems, 1790:130–44. Springer, 2000. https://doi.org/10.1007/3-540-46430-1_14.
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4482
Henzinger, Thomas A, Ritankar Majumdar, Freddy Mang, and Jean Raskin. “Abstract Interpretation of Game Properties.” In Proceedings of the 7th International Symposium on Static Analysis, 1824:220–39. Springer, 2000. https://doi.org/10.1007/978-3-540-45099-3_12.
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4483
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Decomposing Refinement Proofs Using Assume-Guarantee Reasoning.” In Proceedings of the 2000 International Conference on Computer-Aided Design, 245–52. IEEE, 2000. https://doi.org/10.1109/ICCAD.2000.896481.
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4512
Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.” In Proceedings of the 1st International Conference on Theoretical Computer Science , 1872:549–63. Springer, 2000. https://doi.org/10.1007/3-540-44929-9_38.
View
| DOI
2000 |
Published |
Book Chapter |
IST-REx-ID: 4513
Henzinger, Thomas A. “The Theory of Hybrid Automata.” In Verification of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, 170:265–92. Springer, 2000. https://doi.org/10.1007/978-3-642-59615-5.
View
| DOI
1999 |
Published |
Journal Article |
IST-REx-ID: 2591
Kummer, Wolfgang, Ryuichi Shigemoto, and Rainer Haberberger. “Smooth Muscle Cells Are the Site of Neurokinin-1 Receptor Localization in the Arterial Supply of the Rat Sciatic Nerve.” Neuroscience Letters. Elsevier, 1999. https://doi.org/10.1016/S0304-3940(98)00926-4.
View
| DOI
| PubMed | Europe PMC
1999 |
Published |
Journal Article |
IST-REx-ID: 2592 |
Masugi, Miwako, Mineto Yokoi, Ryuichi Shigemoto, Keiko Muguruma, Yasuyoshi Watanabe, Gilles Sansig, Herman Van Der Putten, and Shigetada Nakanishi. “Metabotropic Glutamate Receptor Subtype 7 Ablation Causes Deficit in Fear Response and Conditioned Taste Aversion.” Journal of Neuroscience. Society for Neuroscience, 1999. https://doi.org/10.1523/JNEUROSCI.19-03-00955.1999.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 |
Published |
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
1999 |
Published |
Journal Article |
IST-REx-ID: 2594
Ding, Yu, Heng Zheng, Dian Wang, Jun Xu, Liang Gong, Yan Lü, Bing Qin, et al. “The Distribution of Substance P Receptor (NK1)-like Immunoreactive Neurons in the Newborn and Adult Human Spinal Cord.” Neuroscience Letters. Elsevier, 1999. https://doi.org/10.1016/S0304-3940(99)00283-9.
View
| DOI
| PubMed | Europe PMC
1999 |
Published |
Journal Article |
IST-REx-ID: 2595
Lafon Cazal, Mireille, Gaëlle Viennois, Rainer Kühn, Barbara Malitschek, Jean Pin, Ryuichi Shigemoto, and Joël Bockaërt. “MGluR7-like Receptor and GABA(B) Receptor Activation Enhance Neurotoxic Effects of N-Methyl-D-Aspartate in Cultured Mouse Striatal GABAergic Neurones.” Neuropharmacology. Elsevier, 1999. https://doi.org/10.1016/S0028-3908(99)00124-0.
View
| DOI
| PubMed | Europe PMC
1999 |
Published |
Journal Article |
IST-REx-ID: 2596
Bischoff, Serge, Sabine Leonhard, Nicole Reymann, Valérie Schuler, Ryuichi Shigemoto, Klemens Kaupmann, and Bernhard Bettler. “Spatial Distribution of GABA(B)R1 Receptor MRNA and Binding Sites in the Rat Brain^.” Journal of Comparative Neurology. Wiley-Blackwell, 1999. https://doi.org/10.1002/(SICI)1096-9861(19990913)412:1<1::AID-CNE1>3.0.CO;2-D.
View
| DOI
| PubMed | Europe PMC
1999 |
Published |
Journal Article |
IST-REx-ID: 2597
Bushell, Trevor, Chong Lee, Ryuichi Shigemoto, and Richard Miller. “Modulation of Synaptic Transmission and Differential Localisation of MGlus in Cultured Hippocampal Autapses.” Neuropharmacology. Elsevier, 1999. https://doi.org/10.1016/S0028-3908(99)00103-3.
View
| DOI
| PubMed | Europe PMC
1999 |
Published |
Conference Paper |
IST-REx-ID: 2711
Erdös, László. “Linear Boltzmann Equation as the Weak Coupling Limit of the Random Schrödinger Equation.” In Proceedings of the 7th QMath Conference, 108:233–42. World Scientific Publishing, 1999. https://doi.org/10.1007/978-3-0348-8745-8_20.
View
| DOI
1999 |
Published |
Journal Article |
IST-REx-ID: 2730
Erdös, László, and Jan Solovej. “Semiclassical Eigenvalue Estimates for the Pauli Operator with Strong Nonhomogeneous Magnetic Fields, I: Nonasymptotic Lieb-Thirring-Type Estimate.” Duke Mathematical Journal. Duke University Press, 1999. https://doi.org/10.1215/S0012-7094-99-09604-7.
View
| DOI
1999 |
Published |
Journal Article |
IST-REx-ID: 2783
Hof, Björn, Peter Lucas, and Tom Mullin. “Flow State Multiplicity in Convection.” Physics of Fluids. American Institute of Physics, 1999. https://doi.org/10.1063/1.870178 .
View
| DOI
1999 |
Published |
Journal Article |
IST-REx-ID: 2864
Witters, Erwin, Koen Vanhoutte, Walter Dewitte, Ivana Macháčková, Eva Benková, Walter Van Dongen, Eddy Esmans, and Henri Van Onckelen. “Analysis of Cyclic Nucleotides and Cytokinins in Minute Plant Samples Using Phase System Switching Capillary Electrospray Liquid Chromatography Tandem Mass Spectrometry.” Phytochemical Analysis. Wiley-Blackwell, 1999. https://doi.org/10.1002/(SICI)1099-1565(199905/06)10:3<143::AID-PCA441>3.0.CO;2-G.
View
| DOI
1999 |
Published |
Journal Article |
IST-REx-ID: 2865 |
Benková, Eva, Erwin Witters, Walter Van Dongen, Jan Kolář, Václav Motyka, Břetislav Brzobohatý, Henri Van Onckelen, and Ivana Macháčková. “Cytokinins in Tobacco and Wheat Chloroplasts. Occurrence and Changes Due to Light/Dark Treatment.” Plant Physiology. American Society of Plant Biologists, 1999. https://doi.org/10.1104/pp.121.1.245.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 |
Published |
Book (Editor) |
IST-REx-ID: 3137
Jonas, Peter M, and Hannah Monyer, eds. Ionotropic Glutamate Receptors in the CNS. 1st ed. Vol. 141. Berlin ; Heidelberg: Springer, 1999. https://doi.org/10.1007/978-3-662-08022-1.
View
| DOI
| Download None (ext.)