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.
11107 Publications
2000 | Published | Conference Paper | IST-REx-ID: 4512
Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.” Proceedings of the 1st International Conference on Theoretical Computer Science , vol. 1872, Springer, 2000, pp. 549–63, doi:10.1007/3-540-44929-9_38.
View
| DOI
2000 | Published | Book Chapter | IST-REx-ID: 4513
Henzinger, Thomas A. “The Theory of Hybrid Automata.” Verification of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, vol. 170, Springer, 2000, pp. 265–92, doi:10.1007/978-3-642-59615-5.
View
| DOI
2000 | Published | Journal Article | IST-REx-ID: 4598
Alur, Rajeev, et al. “Discrete Abstractions of Hybrid Systems.” Proceedings of the IEEE, vol. 88, no. 7, IEEE, 2000, pp. 971–84, doi: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.” Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2000, pp. 141–54, doi:10.1109/LICS.2000.855763.
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4637
De Alfaro, Luca, et al. “The Control of Synchronous Systems.” Proceedings of the 11th International Conference on Concurrency Theory, vol. 1877, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–73, doi:10.1007/3-540-44618-4_33.
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4638
De Alfaro, Luca, et al. “Detecting Errors before Reaching Them.” Proceedings of the 12th International Conference on Computer Aided Verification, vol. 1855, Springer, 2000, pp. 186–201, doi:10.1007/10722167_17.
View
| DOI
2000 | Published | Journal Article | IST-REx-ID: 12925
Fürst, Johannes, et al. “Structure and Function of the Ion Channel ICln.” Cellular Physiology and Biochemistry, vol. 10, no. 5–6, S. Karger AG, 2000, pp. 329–34, doi:10.1159/000016374.
View
| DOI
| PubMed | Europe PMC
2000 | Published | Journal Article | IST-REx-ID: 842
Wolf, Yuri, et al. “No Footprints of Primordial Introns in a Eukaryotic Genome.” Trends in Genetics, vol. 16, no. 8, Elsevier, 2000, pp. 333–34, doi:10.1016/S0168-9525(00)02059-X.
View
| DOI
| PubMed | Europe PMC
2000 | Published | Journal Article | IST-REx-ID: 1957
Sazanov, Leonid A., and John Walker. “Cryo-Electron Crystallography of Two Sub-Complexes of Bovine Complex I Reveals the Relationship between the Membrane and Peripheral Arms.” Journal of Molecular Biology, vol. 302, no. 2, Elsevier, 2000, pp. 455–64, doi:10.1006/jmbi.2000.4079.
View
| DOI
| PubMed | Europe PMC
2000 | Published | Journal Article | IST-REx-ID: 1958
Sazanov, Leonid A., et al. “Resolution of the Membrane Domain of Bovine Complex I into Subcomplexes: Implications for the Structural Organization of the Enzyme.” Biochemistry, vol. 39, no. 24, ACS, 2000, pp. 7229–35, doi:10.1021/bi000335t.
View
| DOI
| PubMed | Europe PMC
2000 | Published | Journal Article | IST-REx-ID: 3149 | 
Hwang, Jae, et al. “Interaction of Drosophila Melanogaster Prohormone Convertase 2 and 7B2: Insect Cell Specific Processing and Secretion.” Journal of Biological Chemistry, vol. 275, no. 23, American Society for Biochemistry and Molecular Biology, 2000, pp. 17886–93, doi:10.1074/jbc.M000032200 .
[Published Version]
View
| DOI
| Download Published Version (ext.)
| 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, vol. 20, no. 15, Society for Neuroscience, 2000, pp. 5594–607, doi: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, et al. “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, 2000, pp. 8290–97, doi: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, et al. “Distal Initiation and Active Propagation of Action Potentials in Interneuron Dendrites.” Science, vol. 287, no. 5451, American Association for the Advancement of Science, 2000, pp. 295–300, doi: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, vol. 28, no. 3, Elsevier, 2000, pp. 927–39, doi:10.1016/S0896-6273(00)00164-1.
View
| DOI
| PubMed | Europe PMC
2000 | Published | Journal Article | IST-REx-ID: 3532
Henze, Darrell, et al. “Intracellular Features Predicted by Extracellular Recordings in the Hippocampus in Vivo.” Journal of Neurophysiology, vol. 84, no. 1, American Physiological Society, 2000, pp. 390–400, doi:10.1152/jn.2000.84.1.390.
View
| DOI
| PubMed | Europe PMC
2000 | Published | Journal Article | IST-REx-ID: 3542
Csicsvari, Jozsef L., et al. “Ensemble Patterns of Hippocampal CA3-CA1 Neurons during Sharp Wave-Associated Population Events.” Neuron, vol. 28, no. 2, Elsevier, 2000, pp. 585–94, doi:10.1016/S0896-6273(00)00135-5.
View
| DOI
2000 | Published | Journal Article | IST-REx-ID: 3548
Harris, Kenneth, et al. “Accuracy of Tetrode Spike Separation as Determined by Simultaneous Intracellular and Extracellular Measurements.” Journal of Neurophysiology, vol. 84, no. 1, American Physiological Society, 2000, pp. 401–14, doi:10.1152/jn.2000.84.1.401.
View
| DOI
| PubMed | Europe PMC
2000 | Published | Conference Paper | IST-REx-ID: 3555
Edelsbrunner, Herbert, et al. “Smoothing and Cleaning up Slivers.” Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, ACM, 2000, pp. 273–77, doi: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.” Zur Kunst Des Formalen Denkens, Passagen Verlag, 2000, pp. 153–71.
View