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
T. A. Henzinger and R. Majumdar, “Symbolic model checking for rectangular hybrid systems,” in Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Berlin, Germany, 2000, vol. 1785, pp. 142–156.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3798
P. M. Jonas, “The time course of signaling at central glutamatergic synapses,” Physiology, vol. 15, no. 2. American Physiological Society, pp. 83–89, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 3548
K. Harris, D. Henze, J. L. Csicsvari, H. Hirase, and G. Buzsáki, “Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements,” Journal of Neurophysiology, vol. 84, no. 1. American Physiological Society, pp. 401–414, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 3623
N. H. Barton and L. Patridge, “Measuring fitness by means of balancer chromosomes,” Genetical Research, vol. 75, no. 3. Cambridge University Press, pp. 297–314, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 3490 | OA
C. Normann, D. Peckys, C. Schulze, J. Walden, P. M. Jonas, and J. Bischofberger, “Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels,” Journal of Neuroscience, vol. 20, no. 22. Society for Neuroscience, pp. 8290–8297, 2000.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 2602 | OA
J. Perroy, L. Prezèau, M. De Waard, R. Shigemoto, J. Bockaërt, and L. Fagni, “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, vol. 20, no. 21. Society for Neuroscience, pp. 7896–7904, 2000.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 2598 | OA
P. Sillevis Smitt et al., “Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor,” New England Journal of Medicine, vol. 342, no. 1. Massachussetts Medical Society, pp. 21–27, 2000.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1999 | Journal Article | IST-REx-ID: 11769
M. H. Henzinger and V. King, “Randomized fully dynamic graph algorithms with polylogarithmic time per operation,” Journal of the ACM, vol. 46, no. 4. Association for Computing Machinery, pp. 502–516, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 11895 | OA
C. Silverstein, H. Marais, M. H. Henzinger, and M. Moricz, “Analysis of a very large web search engine query log,” ACM SIGIR Forum, vol. 33, no. 1. Association for Computing Machinery, pp. 6–12, 1999.
[Published Version] View | DOI | Download Published Version (ext.)
 

1999 | Journal Article | IST-REx-ID: 2730
L. Erdös and J. Solovej, “Semiclassical eigenvalue estimates for the Pauli operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type estimate,” Duke Mathematical Journal, vol. 96, no. 1. Duke University Press, pp. 127–173, 1999.
View | DOI
 

Filters and Search Terms

type%3Ddissertation

Search

Filter Publications