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.

5866 Publications


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.
View
 

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.
View
 

1999 | Journal Article | IST-REx-ID: 2594
Ding Y, Zheng H, Wang D, et al. The distribution of substance P receptor (NK1)-like immunoreactive neurons in the newborn and adult human spinal cord. Neuroscience Letters. 1999;266(2):133-136. doi:10.1016/S0304-3940(99)00283-9
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2595
Lafon Cazal M, Viennois G, Kühn R, et al. mGluR7-like receptor and GABA(B) receptor activation enhance neurotoxic effects of N-methyl-D-aspartate in cultured mouse striatal GABAergic neurones. Neuropharmacology. 1999;38(10):1631-1640. doi:10.1016/S0028-3908(99)00124-0
View | DOI
 

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: 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: 4014
Edelsbrunner H. Deformable smooth surface design. Discrete & Computational Geometry. 1999;21(1):87-115. doi:10.1007/PL00009412
View | DOI
 

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

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

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

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.
View
 

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 | 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: 4487
Henzinger TA, Qadeer S, Rajamani S. Assume-guarantee refinement between different time scales. In: Vol 1633. Springer; 1999:208-221. doi:10.1007/3-540-48683-6_20
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4582
Alur R, Henzinger TA. Reactive modules. Formal Methods in System Design. 1999;15(1):7-48. doi:10.1023/A:1008739929481
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 | Conference Paper | IST-REx-ID: 4602
Alur R, De Alfaro L, Henzinger TA, Mang F. Automating modular verification. In: Vol 1664. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1999:82-97. doi:10.1007/3-540-48320-9_8
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 2711
Erdös L. Linear Boltzmann equation as the weak coupling limit of the random Schrödinger equation. In: Vol 108. World Scientific Publishing; 1999:233-242. doi:10.1007/978-3-0348-8745-8_20
View | DOI
 

Search

Filter Publications