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


1999 | Published | Journal Article | IST-REx-ID: 3524 | OA
Csicsvari JL, Hirase H, Czurkó A, Mamiya A, Buzsáki G. 1999. Oscillatory coupling of hippocampal pyramidal cells and interneurons in the behaving rat. Journal of Neuroscience. 19(1), 274–287.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1999 | Published | Journal Article | IST-REx-ID: 3539
Hirase H, Czurkó A, Csicsvari JL, Buzsáki G. 1999. Firing rate and theta-phase coding by hippocampal pyramidal neurons during ‘space clamping’. European Journal of Neuroscience. 11(12), 4373–4380.
View | DOI | PubMed | Europe PMC
 

1999 | Published | Conference Paper | IST-REx-ID: 3554
Jiao X, Edelsbrunner H, Heath M. 1999. Mesh association: formulation and algorithms. Proceedings of the 8th International Meshing Roundtable. IMR: International Meshing Roundtable, 75–82.
View | Download None (ext.)
 

1999 | Published | Book Chapter | IST-REx-ID: 3571
Dey T, Edelsbrunner H, Guha S. 1999.Computational topology. In: Advances in Discrete and Computational Geometry. Contemporary Mathematics, vol. 223, 109–143.
View
 

1999 | Published | Journal Article | IST-REx-ID: 3582 | OA
Dey T, Edelsbrunner H, Guha S, Nekhayev D. 1999. Topology preserving edge contraction. Publications de l’Institut Mathématique. 66, 23–45.
View | Download None (ext.)
 

1999 | Published | Journal Article | IST-REx-ID: 3625
Barton NH. 1999. Clines in polygenic traits. Genetical Research. 74(3), 223–236.
View | DOI | PubMed | Europe PMC
 

1999 | Published | Journal Article | IST-REx-ID: 3626
Kruuk L, Baird S, Gale K, Barton NH. 1999. A comparison of multilocus clines maintained by environmental adaptation or by selection against hybrids. Genetics. 153(4), 1959–1971.
View | DOI | PubMed | Europe PMC
 

1999 | Published | Journal Article | IST-REx-ID: 4014
Edelsbrunner H. 1999. Deformable smooth surface design. Discrete & Computational Geometry. 21(1), 87–115.
View | DOI
 

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

1999 | Published | Journal Article | IST-REx-ID: 4277
Kruuk L, Gilchrist J, Barton NH. 1999. Hybrid dysfunction in fire-bellied toads (Bombina). Evolution; International Journal of Organic Evolution. 53(5), 1611–1616.
View | DOI | PubMed | Europe PMC
 

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

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

1999 | Published | Journal Article | IST-REx-ID: 4442
Henzinger TA, Kopke P. 1999. Discrete-time control for rectangular hybrid automata. Theoretical Computer Science. 221(1–2), 369–392.
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4480
Henzinger TA, Liu X, Qadeer S, Rajamani S. 1999. Formal specification and verification of a dataflow processor array. ICCAD: Computer-Aided Design, 494–499.
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4484
Henzinger TA, Qadeer S, Rajamani S. 1999. Verifying sequential consistency on shared-memory multiprocessor systems. Proceedings of the 11th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1633, 301–315.
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4485
Henzinger TA, Horowitz B, Majumdar R. 1999. Rectangular hybrid games. Proceedings of the 10th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1664, 320–335.
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4487
Henzinger TA, Qadeer S, Rajamani S. 1999. Assume-guarantee refinement between different time scales. Proceedings of the 11th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1633, 208–221.
View | DOI
 

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

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

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

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed