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
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed