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.

5630 Publications


2000 | Conference Paper | IST-REx-ID: 4481
Henzinger TA, Horowitz B, Majumdar R, Wong Toi H. Beyond HyTech: Hybrid systems analysis using interval numerical methods. In: Vol 1790. Springer; 2000:130-144. doi:10.1007/3-540-46430-1_14
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
Henzinger TA. The theory of hybrid automata. In: Inan M, Kurshan R, eds. Verification of Digital and Hybrid Systems. Vol 170. Springer; 2000:265-292.
View
 

2000 | Conference Paper | IST-REx-ID: 4638
De Alfaro L, Henzinger TA, Mang F. Detecting errors before reaching them. In: Vol 1855. Springer; 2000:186-201. doi:10.1007/10722167_17
View | DOI
 

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: 3148
Siekhaus DE, Fuller R. A role for amontillado the Drosophila homolog of the neuropeptide precursor processing protease PC2 in triggering hatching behavior. Journal of Neuroscience. 1999;19(16):6942-6954.
View
 

1999 | Conference Paper | IST-REx-ID: 3554
Jiao X, Edelsbrunner H, Heath M. Mesh association: formulation and algorithms. In: Elsevier; 1999:75-82.
View | Download (ext.)
 

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 | 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: 883
Kondrashov A, Kondrashov F. Interactions among quantitative traits in the course of sympatric speciation. Nature. 1999;400(6742):351-354. doi:10.1038/22514
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: 2730
Erdös L, Solovej J. Semiclassical eigenvalue estimates for the Pauli operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type estimate. Duke Mathematical Journal. 1999;96(1):127-173. doi:10.1215/S0012-7094-99-09604-7
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
 

1999 | Book | IST-REx-ID: 3137
Jonas PM, Monyer H, eds. Ionotropic Glutamate Receptors in the CNS. Vol 141. Springer; 1999.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3625
Barton NH. Clines in polygenic traits. Genetical Research. 1999;74(3):223-236. doi:10.1017/S001667239900422X
View | DOI
 

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

1999 | Journal Article | IST-REx-ID: 3531
Dragoi G, Carpi D, Recce M, Csicsvari JL, Buzsáki G. Interactions between hippocampus and medial septum during sharp waves and theta oscillation in the behaving rat. Journal of Neuroscience. 1999;19(14):6191-6199.
View
 

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 | Journal Article | IST-REx-ID: 2591
Kummer W, Shigemoto R, Haberberger R. Smooth muscle cells are the site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic nerve. Neuroscience Letters. 1999;259(2):119-122. doi:10.1016/S0304-3940(98)00926-4
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
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed