Please note that ISTA 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.
725 Publications
2000 | Conference Paper | IST-REx-ID: 4435
Henzinger TA, Majumdar R. 2000. Symbolic model checking for rectangular hybrid systems. Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1785, 142–156.
View
| DOI
2000 | Journal Article | IST-REx-ID: 3798
Jonas PM. 2000. The time course of signaling at central glutamatergic synapses. Physiology. 15(2), 83–89.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3548
Harris K, Henze D, Csicsvari JL, Hirase H, Buzsáki G. 2000. Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements. Journal of Neurophysiology. 84(1), 401–414.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3623
Barton NH, Patridge L. 2000. Measuring fitness by means of balancer chromosomes. Genetical Research. 75(3), 297–314.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3490 | 
Normann C, Peckys D, Schulze C, Walden J, Jonas PM, Bischofberger J. 2000. Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels. Journal of Neuroscience. 20(22), 8290–8297.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 2602 |
Perroy J, Prezèau L, De Waard M, Shigemoto R, Bockaërt J, Fagni L. 2000. Selective blockade of P/Q-type calcium channels by the metabotropic glutamate receptor type 7 involves a phospholipase C pathway in neurons. Journal of Neuroscience. 20(21), 7896–7904.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 2598 |
Sillevis Smitt P, Kinoshita A, De Leeuw B, Moll W, Coesmans M, Jaarsma D, Henzen Logmans S, Vecht C, De Zeeuw C, Sekiyama N, Nakanishi S, Shigemoto R. 2000. Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor. New England Journal of Medicine. 342(1), 21–27.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 11895 |
Silverstein C, Marais H, Henzinger MH, Moricz M. 1999. Analysis of a very large web search engine query log. ACM SIGIR Forum. 33(1), 6–12.
[Published Version]
View
| DOI
| Download Published Version (ext.)