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.

50 Publications


1999 | Book Chapter | IST-REx-ID: 3456
Monyer H, Jonas PM, Rossier J. 1999.Molecular determinants controlling functional properties of AMPARs and NMDARs in the mammalian CNS. In: Ionotropic Glutamate Receptors in the CNS. Handbook of experimental pharmacology, vol. 141, 309–339.
View | DOI
 

1999 | Book Chapter | IST-REx-ID: 3457
Geiger J, Roth A, Taskin B, Jonas PM. 1999.Glutamate-mediated synaptic excitation of cortical interneurons. In: Ionotropic Glutamate Receptors in the CNS. Handbook of experimental pharmacology, vol. 141, 363–398.
View | DOI
 

1999 | 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 | Journal Article | IST-REx-ID: 3518 | OA
Nádasdy Z, Hirase H, Czurkó A, Csicsvari JL, Buzsáki G. 1999. Replay and time compression of recurring spike sequences in the hippocampus. Journal of Neuroscience. 19(21), 9497–9507.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1999 | Journal Article | IST-REx-ID: 3519
Czurkó A, Hirase H, Csicsvari JL, Buzsáki G. 1999. Sustained activation of hippocampal pyramidal cells by ‘space clamping’’ in a running wheel’. European Journal of Neuroscience. 11(1), 344–352.
View | DOI | PubMed | Europe PMC
 

1999 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 3515
Penttonen M, Nurminen N, Miettinen R, Sirviö J, Henze D, Csicsvari JL, Buzsáki G. 1999. Ultra-slow oscillation (0.025 Hz) triggers hippocampal afterdischarges in Wistar rats. Neuroscience. 94(3), 735–743.
View | DOI | PubMed | Europe PMC
 

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

1999 | 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 | 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 | Thesis | IST-REx-ID: 4411
Qadeer S. 1999. Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley.
View | Download None (ext.)
 

1999 | 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 | 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 | 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 | 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
 

Filters and Search Terms

year=1999

Search

Filter Publications