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.

5483 Publications


2000 | Journal Article | IST-REx-ID: 4271
Barton NH, Shpak M. The effects of epistasis on the structure of hybrid zones. Genetical Research. 2000;75(2):179-198. doi:10.1017/S0016672399004334
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
Henzinger TA, Majumdar R. Symbolic model checking for rectangular hybrid systems. In: Vol 1785. Springer; 2000:142-156. doi:10.1007/3-540-46419-0_11
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
Henzinger TA. Masaccio: A formal model for embedded components. In: Vol 1872. Springer; 2000:549-563. doi:10.1007/3-540-44929-9_38
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro L, Henzinger TA, Mang F. The control of synchronous systems. In: Vol 1877. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2000:458-473. doi:10.1007/3-540-44618-4_33
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4598
Alur R, Henzinger TA, Lafferriere G, Pappas G. Discrete abstractions of hybrid systems. Proceedings of the IEEE. 2000;88(7):971-984. doi:10.1109/5.871304
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2601
Ichise T, Kano M, Hashimoto K, et al. mGluR1 in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination. Science. 2000;288(5472):1832-1835. doi:10.1126/science.288.5472.1832
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2598
Sillevis Smitt P, Kinoshita A, De Leeuw B, et al. Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor. New England Journal of Medicine. 2000;342(1):21-27. doi:10.1056/NEJM200001063420104
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2733
Erdös L, Loss M, Vougalter V. Diamagnetic behavior of sums Dirichlet eigenvalues. Annales de l’Institut Fourier. 2000;50(3):891-907. doi:10.5802/aif.1777
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3798
Jonas PM. The time course of signaling at central glutamatergic synapses. Physiology. 2000;15(2):83-89.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3623
Barton NH, Patridge L. Measuring fitness by means of balancer chromosomes. Genetical Research. 2000;75(3):297-314. doi:10.1017/S0016672399004346
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 3572
Edelsbrunner H. Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung. In: Zur Kunst Des Formalen Denkens. Passagen Verlag; 2000:153-171.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3490
Normann C, Peckys D, Schulze C, Walden J, Jonas PM, Bischofberger J. Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels. Journal of Neuroscience. 2000;20(22):8290-8297.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 4272
Barton NH, Shpak M. The stability of symmetrical solutions to polygenic models. Theoretical Population Biology. 2000;57(3):249-263. doi:10.1006/tpbi.2000.1455
View | DOI
 

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
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed