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
H. Edelsbrunner, “Deformable smooth surface design,” Discrete & Computational Geometry, vol. 21, no. 1. Springer, pp. 87–115, 1999.
View | DOI
 

1999 | Published | Journal Article | IST-REx-ID: 4204
C.-P. J. Heisenberg, C. Brennan, and S. Wilson, “Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development,” Development, vol. 126, no. 10. Company of Biologists, pp. 2129–2140, 1999.
View | DOI | PubMed | Europe PMC
 

1999 | Published | Journal Article | IST-REx-ID: 4277
L. Kruuk, J. Gilchrist, and N. H. Barton, “Hybrid dysfunction in fire-bellied toads (Bombina),” Evolution; International Journal of Organic Evolution, vol. 53, no. 5. Wiley-Blackwell, pp. 1611–1616, 1999.
View | DOI | PubMed | Europe PMC
 

1999 | Published | Journal Article | IST-REx-ID: 4279
S. Goodman, N. H. Barton, G. Swanson, K. Abernethy, and J. Pemberton, “Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland,” Genetics, vol. 152, no. 1. Genetics Society of America, pp. 355–371, 1999.
View | DOI | PubMed | Europe PMC
 

1999 | Published | Thesis | PhD | IST-REx-ID: 4411
S. Qadeer, “Algorithms and Methodology for Scalable Model Checking,” University of California, Berkeley, 1999.
View | Download None (ext.)
 

1999 | Published | Journal Article | IST-REx-ID: 4442
T. A. Henzinger and P. Kopke, “Discrete-time control for rectangular hybrid automata,” Theoretical Computer Science, vol. 221, no. 1–2. Elsevier, pp. 369–392, 1999.
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4480
T. A. Henzinger, X. Liu, S. Qadeer, and S. Rajamani, “Formal specification and verification of a dataflow processor array,” presented at the ICCAD: Computer-Aided Design, San Jose, CA, United States of America, 1999, pp. 494–499.
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4484
T. A. Henzinger, S. Qadeer, and S. Rajamani, “Verifying sequential consistency on shared-memory multiprocessor systems,” in Proceedings of the 11th International Conference on Computer Aided Verification, Trento, Italy, 1999, vol. 1633, pp. 301–315.
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4485
T. A. Henzinger, B. Horowitz, and R. Majumdar, “Rectangular hybrid games,” in Proceedings of the 10th International Conference on Concurrency Theory, Eindhoven, The Netherlands, 1999, vol. 1664, pp. 320–335.
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4487
T. A. Henzinger, S. Qadeer, and S. Rajamani, “Assume-guarantee refinement between different time scales,” in Proceedings of the 11th International Conference on Computer Aided Verification, Trento, Italy, 1999, vol. 1633, pp. 208–221.
View | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 2583
J. Li, Y. Ding, K. Xiong, J. Li, R. Shigemoto, and N. 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, vol. 30, no. 3. Elsevier, pp. 219–225, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Published | Journal Article | IST-REx-ID: 2584
A. Kinoshita, R. Shigemoto, H. Ohishi, H. Van Der Putten, and N. 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, vol. 393, no. 3. Wiley-Blackwell, pp. 332–352, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Published | Journal Article | IST-REx-ID: 2585
E. Wada, R. Shigemoto, A. Kinoshita, H. Ohishi, and N. 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, vol. 393, no. 4. Wiley-Blackwell, pp. 493–504, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Published | Journal Article | IST-REx-ID: 2586
D. Watanabe et al., “Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination,” Cell, vol. 95, no. 1. Cell Press, pp. 17–27, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Published | Journal Article | IST-REx-ID: 2588
K. Kaupmann et al., “ GABA(B)-receptor subtypes assemble into functional heteromeric complexes,” Nature, vol. 396, no. 6712. Nature Publishing Group, pp. 683–687, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Published | Journal Article | IST-REx-ID: 2589
A. Baude and R. 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, vol. 402, no. 2. Wiley-Blackwell, pp. 181–196, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Published | Journal Article | IST-REx-ID: 2590
D. Jaarsma, M. Diño, H. Ohishi, R. Shigemoto, and E. 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, vol. 27, no. 5. Kluwer, pp. 303–327, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Published | Book Chapter | IST-REx-ID: 2695
L. Erdös and H. Yau, “Linear Boltzmann equation as scaling limit of quantum Lorentz gas,” in Advances in Differential Equations and Mathematical Physics, vol. 217, American Mathematical Society, 1998, pp. 137–155.
View | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 2728
L. Erdös, “Lifschitz tail in a magnetic field: The nonclassical regime,” Probability Theory and Related Fields, vol. 112, no. 3. Springer, pp. 321–371, 1998.
View | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 11680
D. Alberts and M. H. Henzinger, “Average-case analysis of dynamic graph algorithms,” Algorithmica, vol. 20. Springer Nature, pp. 31–60, 1998.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed