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
1999 |
Published |
Journal Article |
IST-REx-ID: 4014
Edelsbrunner, Herbert. “Deformable Smooth Surface Design.” Discrete & Computational Geometry. Springer, 1999. https://doi.org/10.1007/PL00009412.
View
| DOI
1999 |
Published |
Journal Article |
IST-REx-ID: 4204
Heisenberg, Carl-Philipp J, Caroline Brennan, and Stephen Wilson. “Zebrafish Aussicht Mutant Embryos Exhibit Widespread Overexpression of Ace (Fgf8) and Coincident Defects in CNS Development.” Development. Company of Biologists, 1999. https://doi.org/10.1242/dev.126.10.2129.
View
| DOI
| PubMed | Europe PMC
1999 |
Published |
Journal Article |
IST-REx-ID: 4277
Kruuk, Loeske, Jason Gilchrist, and Nicholas H Barton. “Hybrid Dysfunction in Fire-Bellied Toads (Bombina).” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 1999. https://doi.org/10.2307/2640907.
View
| DOI
| PubMed | Europe PMC
1999 |
Published |
Journal Article |
IST-REx-ID: 4279
Goodman, Simon, Nicholas H Barton, Graeme Swanson, Kate Abernethy, and Josephine Pemberton. “Introgression through Rare Hybridisation: A Genetic Study of a Hybrid Zone between Red and Sika Deer (Genus Cervus), in Argyll, Scotland.” Genetics. Genetics Society of America, 1999. https://doi.org/10.1093/genetics/152.1.355.
View
| DOI
| PubMed | Europe PMC
1999 |
Published |
Thesis | PhD |
IST-REx-ID: 4411
Qadeer, Shaz. “Algorithms and Methodology for Scalable Model Checking.” University of California, Berkeley, 1999.
View
| Download None (ext.)
1999 |
Published |
Journal Article |
IST-REx-ID: 4442
Henzinger, Thomas A, and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” Theoretical Computer Science. Elsevier, 1999. https://doi.org/10.1016/S0304-3975(99)00038-9.
View
| DOI
1999 |
Published |
Conference Paper |
IST-REx-ID: 4480
Henzinger, Thomas A, Xiaojun Liu, Shaz Qadeer, and Sriram Rajamani. “Formal Specification and Verification of a Dataflow Processor Array,” 494–99. IEEE, 1999. https://doi.org/10.1109/ICCAD.1999.810700.
View
| DOI
1999 |
Published |
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 |
Published |
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 |
Published |
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
1998 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
Journal Article |
IST-REx-ID: 2586
Watanabe, Dai, Hitoshi Inokawa, Kouichi Hashimoto, Noboru Suzuki, Masanobu Kano, Ryuichi Shigemoto, Tomoo Hirano, et al. “Ablation of Cerebellar Golgi Cells Disrupts Synaptic Integration Involving GABA Inhibition and NMDA Receptor Activation in Motor Coordination.” Cell. Cell Press, 1998. https://doi.org/10.1016/S0092-8674(00)81779-1.
View
| DOI
| PubMed | Europe PMC
1998 |
Published |
Journal Article |
IST-REx-ID: 2588
Kaupmann, Klemens, Barbara Malitschek, Valérie Schuler, Jacob Heid, Wolfgang Froestl, Pascal Beck, Johannes Mosbacher, et al. “ GABA(B)-Receptor Subtypes Assemble into Functional Heteromeric Complexes.” Nature. Nature Publishing Group, 1998. https://doi.org/10.1038/25360.
View
| DOI
| PubMed | Europe PMC
1998 |
Published |
Journal Article |
IST-REx-ID: 2589
Baude, Agnès, and Ryuichi Shigemoto. “Cellular and Subcellular Distribution of Substance P Receptor Immunoreactivity in the Dorsal Vagal Complex of the Rat and Cat: A Light and Electron Microscope Study.” Journal of Comparative Neurology. Wiley-Blackwell, 1998. https://doi.org/10.1002/(SICI)1096-9861(19981214)402:2<181::AID-CNE4>3.0.CO;2-B.
View
| DOI
| PubMed | Europe PMC
1998 |
Published |
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 |
Published |
Book Chapter |
IST-REx-ID: 2695
Erdös, László, and Horng Yau. “Linear Boltzmann Equation as Scaling Limit of Quantum Lorentz Gas.” In Advances in Differential Equations and Mathematical Physics, 217:137–55. American Mathematical Society, 1998. https://doi.org/10.1090/conm/217.
View
| DOI
1998 |
Published |
Journal Article |
IST-REx-ID: 2728
Erdös, László. “Lifschitz Tail in a Magnetic Field: The Nonclassical Regime.” Probability Theory and Related Fields. Springer, 1998. https://doi.org/10.1007/s004400050193.
View
| DOI
1998 |
Published |
Journal Article |
IST-REx-ID: 11680
Alberts, D., and Monika H Henzinger. “Average-Case Analysis of Dynamic Graph Algorithms.” Algorithmica. Springer Nature, 1998. https://doi.org/10.1007/pl00009186.
View
| Files available
| DOI