Please note that IST 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.

5491 Publications

1999 | Journal Article | IST-REx-ID: 2596
Bischoff S, Leonhard S, Reymann N, et al. Spatial distribution of GABA(B)R1 receptor mRNA and binding sites in the rat brain^. Journal of Comparative Neurology. 1999;412(1):1-16. doi:10.1002/(SICI)1096-9861(19990913)412:1<1::AID-CNE1>3.0.CO;2-D
View | DOI

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

1999 | Journal Article | IST-REx-ID: 3518
Nádasdy Z, Hirase H, Czurkó A, Csicsvari JL, Buzsáki G. Replay and time compression of recurring spike sequences in the hippocampus. Journal of Neuroscience. 1999;19(21):9497-9507.

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

1999 | Conference Paper | IST-REx-ID: 4484
Henzinger TA, Qadeer S, Rajamani S. Verifying sequential consistency on shared-memory multiprocessor systems. In: Vol 1633. Springer; 1999:301-315. doi:10.1007/3-540-48683-6_27
View | DOI

1999 | Journal Article | IST-REx-ID: 2592
Masugi M, Yokoi M, Shigemoto R, et al. Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion. Journal of Neuroscience. 1999;19(3):955-963.

1999 | Journal Article | IST-REx-ID: 2597
Bushell T, Lee C, Shigemoto R, Miller R. Modulation of synaptic transmission and differential localisation of mGlus in cultured hippocampal autapses. Neuropharmacology. 1999;38(10):1553-1567. doi:10.1016/S0028-3908(99)00103-3
View | DOI

1999 | Journal Article | IST-REx-ID: 2864
Witters E, Vanhoutte K, Dewitte W, et al. Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry. Phytochemical Analysis. 1999;10(3):143-151. doi:10.1002/(SICI)1099-1565(199905/06)10:3<143::AID-PCA441>3.0.CO;2-G
View | DOI

1999 | Journal Article | IST-REx-ID: 3444
Csicsvari JL, Hirase H, Czurkó A, Mamiya A, Buzsáki G. Fast  network  oscillations  in the  hippocampal  CA1 region of the behaving rat. Journal of Neuroscience. 1999;19(16).

1999 | Book Chapter | IST-REx-ID: 3456
Monyer H, Jonas PM, Rossier J. Molecular determinants controlling functional properties of AMPARs and NMDARs in the mammalian CNS. In: Jonas PM, Monyer H, eds. Ionotropic Glutamate Receptors in the CNS. Vol 141. Springer; 1999:309-339. doi:10.1007/978-3-662-08022-1_9
View | DOI

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

1999 | Book Chapter | IST-REx-ID: 3571
Dey T, Edelsbrunner H, Guha S. Computational topology. In: Advances in Discrete and Computational Geometry. Vol 223. American Mathematical Society; 1999:109-143.
View | Download (ext.)

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

1999 | Journal Article | IST-REx-ID: 4442
Henzinger TA, Kopke P. Discrete-time control for rectangular hybrid automata. Theoretical Computer Science. 1999;221(1-2):369-392. doi:10.1016/S0304-3975(99)00038-9
View | DOI

1999 | Conference Paper | IST-REx-ID: 4480
Henzinger TA, Liu X, Qadeer S, Rajamani S. Formal specification and verification of a dataflow processor array. In: IEEE; 1999:494-499.

1999 | Conference Paper | IST-REx-ID: 4485
Henzinger TA, Horowitz B, Majumdar R. Rectangular hybrid games. In: Vol 1664. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1999:320-335. doi:10.1007/3-540-48320-9_23
View | DOI

1999 | Conference Paper | IST-REx-ID: 4601
Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. In: Vol 1536. Springer; 1999:23-60. doi:10.1007/3-540-49213-5_2
View | DOI

1999 | Journal Article | IST-REx-ID: 2593
Yu X, Zhang E, Craig A, Shigemoto R, Ribeiro Da Silva A, De Koninck Y. NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord. Journal of Neuroscience. 1999;19(9):3545-3555.

1999 | Journal Article | IST-REx-ID: 2783
Hof B, Lucas P, Mullin T. Flow state multiplicity in convection. Physics of Fluids. 1999;11(10):2815-2817. doi:10.1063/1.870178
View | DOI

1999 | Journal Article | IST-REx-ID: 2865
Benková E, Witters E, Van Dongen W, et al. Cytokinins in tobacco and wheat chloroplasts. Occurrence and changes due to light/dark treatment. Plant Physiology. 1999;121(1):245-251. doi:10.​1104/​pp.​121.​1.​245
View | DOI


Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed