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.

508 Publications


2000 | Book Chapter | IST-REx-ID: 4513
Henzinger TA. 2000.The theory of hybrid automata. In: Verification of Digital and Hybrid Systems. NATO ASI Series F: Computer and Systems Sciences, vol. 170, 265–292.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
Henzinger TA, Majumdar R. 2000. A classification of symbolic transition systems. Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 1770, 13–34.
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4275
Barton NH. 2000.Differentiation. In: Encyclopedia of Biodiversity. , 85–94.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3542
Csicsvari JL, Hirase H, Mamiya A, Buzsáki G. 2000. Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events. Neuron. 28(2), 585–594.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3489 | OA
Kraushaar U, Jonas PM. 2000. Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse. Journal of Neuroscience. 20(15), 5594–5607.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 3490 | OA
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: 2731
Erdös L, Yau H. 2000. Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation. Communications on Pure and Applied Mathematics. 53(6), 667–735.
[Preprint] View | DOI | arXiv
 

2000 | Book Chapter | IST-REx-ID: 2494
Shigemoto R, Mizuno N. 2000.Chapter III Metabotropic glutamate receptors - immunocytochemical and in situ hybridization analyses. In: Glutamate. Handbook of Chemical Neuroanatomy, vol. 18, 63–98.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 11687
Dean J, Henzinger MH. 1999. Finding related pages in the world wide Web. Computer Networks. 31(11–16), 1467–1479.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2864
Witters E, Vanhoutte K, Dewitte W, Macháčková I, Benková E, Van Dongen W, Esmans E, Van Onckelen H. 1999. Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry. Phytochemical Analysis. 10(3), 143–151.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2865 | OA
Benková E, Witters E, Van Dongen W, Kolář J, Motyka V, Brzobohatý B, Van Onckelen H, Macháčková I. 1999. Cytokinins in tobacco and wheat chloroplasts. Occurrence and changes due to light/dark treatment. Plant Physiology. 121(1), 245–251.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1999 | Book Chapter | IST-REx-ID: 3456
Monyer H, Jonas PM, Rossier J. 1999.Molecular determinants controlling functional properties of AMPARs and NMDARs in the mammalian CNS. In: Ionotropic Glutamate Receptors in the CNS. Handbook of experimental pharmacology, vol. 141, 309–339.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3521
Csicsvari JL, Hirase H, Czurkó A, Buzsáki G. 1998. Reliability and state dependence of pyramidal cell-interneuron synapses in the hippocampus: an ensemble approach in the behaving rat. Neuron. 21(1), 179–189.
View | DOI | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 4013 | OA
Edelsbrunner H, Facello M, Liang J. 1998. On the definition and the construction of pockets in macromolecules. Discrete Applied Mathematics. 88(1–3), 83–102.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 2493
Acsády L, Katona I, Gulyás A, Shigemoto R, Freund T. 1997. Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus. Journal of Comparative Neurology. 378(3), 320–336.
View | DOI | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 4022
Edelsbrunner H, Valtr P, Welzl E. 1997. Cutting dense point sets in half. Discrete & Computational Geometry. 17(3), 243–255.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4021 | OA
Edelsbrunner H, Waupotitsch R. 1997. A combinatorial approach to cartograms. Computational Geometry: Theory and Applications. 7(5–6), 343–360.
[Published Version] View | DOI | Download Published Version (ext.)
 

1997 | Journal Article | IST-REx-ID: 3485 | OA
Martina M, Jonas PM. 1997. Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus. Journal of Physiology. 505(3), 593–603.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 8527
Hunt BR, Kaloshin V. 1997. How projections affect the dimension spectrum of fractal measures. Nonlinearity. 10(5), 1031–1046.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 11927 | OA
Henzinger MH, King V, Warnow T. 1996. Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology. 7th Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 333–340.
[Published Version] View | Files available | Download Published Version (ext.)
 

Filters and Search Terms

isbn%3D978-973-703-602-5

Search

Filter Publications