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
Alur, Rajeev, Thomas A Henzinger, Gerardo Lafferriere, and George Pappas. “Discrete Abstractions of Hybrid Systems.” Proceedings of the IEEE. IEEE, 2000. https://doi.org/10.1109/5.871304 .
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4627
De Alfaro, Luca, and Thomas A Henzinger. “Concurrent Omega-Regular Games.” In Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 141–54. IEEE, 2000. https://doi.org/10.1109/LICS.2000.855763.
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4637
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems.” In Proceedings of the 11th International Conference on Concurrency Theory, 1877:458–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000. https://doi.org/10.1007/3-540-44618-4_33.
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4638
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “Detecting Errors before Reaching Them.” In Proceedings of the 12th International Conference on Computer Aided Verification, 1855:186–201. Springer, 2000. https://doi.org/10.1007/10722167_17.
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 1455 |
Hausel, Tamás, Endre Makai, and András Szücs. “Inscribing Cubes and Covering by Rhombic Dodecahedra via Equivariant Topology.” Mathematika. University College London, 2000. https://doi.org/10.1112/S0025579300015965.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2000 |
Published |
Journal Article |
IST-REx-ID: 13437
Macogonkosza, Mieczysław, Jacek Przyborowski, Rafal Klajn, and Andrzej Kwast. “Simple Synthesis of 2-Substituted Tetrahydrofuran-3-Carbonitriles.” Synlett. Georg Thieme Verlag, 2000. https://doi.org/10.1055/s-2000-8670.
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 11802
Henzinger, Monika H. “Web Information Retrieval - an Algorithmic Perspective.” In 8th Annual European Symposium on Algorithms, 1879:1–8. Springer Nature, 2000. https://doi.org/10.1007/3-540-45253-2_1.
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 11893
Henzinger, Monika H. “Improved Data Structures for Fully Dynamic Biconnectivity.” SIAM Journal on Computing. Society for Industrial & Applied Mathematics, 2000. https://doi.org/10.1137/s0097539794263907.
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 12925
Fürst, Johannes, Martin Jakab, Matthias König, Markus Ritter, Martin Gschwentner, Jakob Rudzki, Johann G Danzl, et al. “Structure and Function of the Ion Channel ICln.” Cellular Physiology and Biochemistry. S. Karger AG, 2000. https://doi.org/10.1159/000016374.
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 3489 |
Kraushaar, Udo, and Peter M Jonas. “Efficacy and Stability of Quantal GABA Release at a Hippocampal Interneuron-Principal Neuron Synapse.” Journal of Neuroscience. Society for Neuroscience, 2000. https://doi.org/10.1523/JNEUROSCI.20-15-05594.2000.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 3490 |
Normann, Claus, Diana Peckys, Christian Schulze, Jörg Walden, Peter M Jonas, and Joseph Bischofberger. “Associative Long-Term Depression in the Hippocampus Is Dependent on Postsynaptic N-Type Ca(2+) Channels.” Journal of Neuroscience. Society for Neuroscience, 2000. https://doi.org/10.1523/JNEUROSCI.20-22-08290.2000.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 3491
Martina, Marco, Imre Vida, and Peter M Jonas. “Distal Initiation and Active Propagation of Action Potentials in Interneuron Dendrites.” Science. American Association for the Advancement of Science, 2000. https://doi.org/10.1126/science.287.5451.295.
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 3492
Geiger, Jörg, and Peter M Jonas. “Dynamic Control of Presynaptic Ca(2+) Inflow by Fast-Inactivating K+ Channels in Hippocampal Mossy Fiber Boutons.” Neuron. Elsevier, 2000. https://doi.org/10.1016/S0896-6273(00)00164-1.
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 3532
Henze, Darrell, Zsolt Borhegyi, Jozsef L Csicsvari, Akira Mamiya, Kenneth Harris, and György Buzsáki. “Intracellular Features Predicted by Extracellular Recordings in the Hippocampus in Vivo.” Journal of Neurophysiology. American Physiological Society, 2000. https://doi.org/10.1152/jn.2000.84.1.390.
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 3542
Csicsvari, Jozsef L, Hajima Hirase, Akira Mamiya, and György Buzsáki. “Ensemble Patterns of Hippocampal CA3-CA1 Neurons during Sharp Wave-Associated Population Events.” Neuron. Elsevier, 2000. https://doi.org/10.1016/S0896-6273(00)00135-5.
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 3548
Harris, Kenneth, Darrell Henze, Jozsef L Csicsvari, Hajima Hirase, and György Buzsáki. “Accuracy of Tetrode Spike Separation as Determined by Simultaneous Intracellular and Extracellular Measurements.” Journal of Neurophysiology. American Physiological Society, 2000. https://doi.org/10.1152/jn.2000.84.1.401.
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Conference Paper |
IST-REx-ID: 3555
Edelsbrunner, Herbert, Xiang Li, Gary Miller, Andreas Stathopoulos, Dafna Talmor, Shang Teng, Alper Üngör, and Noel Walkington. “Smoothing and Cleaning up Slivers.” In Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, 273–77. ACM, 2000. https://doi.org/10.1145/335305.335338.
View
| DOI
2000 |
Published |
Book Chapter |
IST-REx-ID: 3572
Edelsbrunner, Herbert. “Spielereien Mit Kreisen Und Kugeln. Zum Thema Form Und Verformung.” In Zur Kunst Des Formalen Denkens, 153–71. Passagen Verlag, 2000.
View
2000 |
Published |
Journal Article |
IST-REx-ID: 3583
Edelsbrunner, Herbert. “Triangulations and Meshes in Computational Geometry.” Acta Numerica. Cambridge University Press, 2000. https://doi.org/10.1017/S0962492900001331.
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 3623
Barton, Nicholas H, and Linda Patridge. “Measuring Fitness by Means of Balancer Chromosomes.” Genetical Research. Cambridge University Press, 2000. https://doi.org/10.1017/S0016672399004346.
View
| DOI
| PubMed | Europe PMC