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.

8920 Publications


2000 | Published | Journal Article | IST-REx-ID: 4598
R. Alur, T. A. Henzinger, G. Lafferriere, and G. Pappas, “Discrete abstractions of hybrid systems,” Proceedings of the IEEE, vol. 88, no. 7. IEEE, pp. 971–984, 2000.
View | DOI
 

2000 | Published | Conference Paper | IST-REx-ID: 4627
L. De Alfaro and T. A. Henzinger, “Concurrent omega-regular games,” in Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, CA, USA, 2000, pp. 141–154.
View | DOI
 

2000 | Published | Conference Paper | IST-REx-ID: 4637
L. De Alfaro, T. A. Henzinger, and F. Mang, “The control of synchronous systems,” in Proceedings of the 11th International Conference on Concurrency Theory, University Park, PA, USA, 2000, vol. 1877, pp. 458–473.
View | DOI
 

2000 | Published | Conference Paper | IST-REx-ID: 4638
L. De Alfaro, T. A. Henzinger, and F. Mang, “Detecting errors before reaching them,” in Proceedings of the 12th International Conference on Computer Aided Verification, Chicago, IL, USA, 2000, vol. 1855, pp. 186–201.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 1455 | OA
T. Hausel, E. Makai, and A. Szücs, “Inscribing cubes and covering by rhombic dodecahedra via equivariant topology,” Mathematika, vol. 47, no. 1–2. University College London, pp. 371–397, 2000.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2000 | Published | Journal Article | IST-REx-ID: 13437
M. Macogonkosza, J. Przyborowski, R. Klajn, and A. Kwast, “Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles,” Synlett, vol. 2000, no. 12. Georg Thieme Verlag, pp. 1773–1774, 2000.
View | DOI
 

2000 | Published | Conference Paper | IST-REx-ID: 11802
M. H. Henzinger, “Web information retrieval - an algorithmic perspective,” in 8th Annual European Symposium on Algorithms, Saarbrücken, Germany, 2000, vol. 1879, pp. 1–8.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 11893
M. H. Henzinger, “Improved data structures for fully dynamic biconnectivity,” SIAM Journal on Computing, vol. 29, no. 6. Society for Industrial & Applied Mathematics, pp. 1761–1815, 2000.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 12925
J. Fürst et al., “Structure and Function of the Ion Channel ICln,” Cellular Physiology and Biochemistry, vol. 10, no. 5–6. S. Karger AG, pp. 329–334, 2000.
View | DOI | PubMed | Europe PMC
 

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

2000 | Published | 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 | Published | Journal Article | IST-REx-ID: 3491
M. Martina, I. Vida, and P. M. Jonas, “Distal initiation and active propagation of action potentials in interneuron dendrites,” Science, vol. 287, no. 5451. American Association for the Advancement of Science, pp. 295–300, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Published | Journal Article | IST-REx-ID: 3492
J. Geiger and P. M. Jonas, “Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons,” Neuron, vol. 28, no. 3. Elsevier, pp. 927–939, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Published | Journal Article | IST-REx-ID: 3532
D. Henze, Z. Borhegyi, J. L. Csicsvari, A. Mamiya, K. Harris, and G. Buzsáki, “Intracellular features predicted by extracellular recordings in the hippocampus in vivo,” Journal of Neurophysiology, vol. 84, no. 1. American Physiological Society, pp. 390–400, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Published | Journal Article | IST-REx-ID: 3542
J. L. Csicsvari, H. Hirase, A. Mamiya, and G. Buzsáki, “Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events,” Neuron, vol. 28, no. 2. Elsevier, pp. 585–594, 2000.
View | DOI
 

2000 | Published | 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 | Published | Conference Paper | IST-REx-ID: 3555
H. Edelsbrunner et al., “Smoothing and cleaning up slivers,” in Proceedings of the 32nd annual ACM symposium on Theory of computing, Portland, OR, USA, 2000, pp. 273–277.
View | DOI
 

2000 | Published | Book Chapter | IST-REx-ID: 3572
H. Edelsbrunner, “Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung,” in Zur Kunst des formalen Denkens, Passagen Verlag, 2000, pp. 153–171.
View
 

2000 | Published | Journal Article | IST-REx-ID: 3583
H. Edelsbrunner, “Triangulations and meshes in computational geometry,” Acta Numerica, vol. 9. Cambridge University Press, pp. 133–213, 2000.
View | DOI
 

2000 | Published | 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
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed