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
1998 | Published | Conference Paper | IST-REx-ID: 4488
Henzinger, Thomas A., et al. “You Assume, We Guarantee: Methodology and Case Studies.” Proceedings of the 10th International Conference on Computer Aided Verification, vol. 1427, Springer, 1998, pp. 440–51, doi:10.1007/BFb0028765.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4489
Henzinger, Thomas A., et al. “From Pre-Historic to Post-Modern Symbolic Model Checking.” Proceedings of the 10th International Conference on Computer Aided Verification, vol. 1427, Springer, 1998, pp. 195–206, doi:10.1007/BFb0028745.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4490
Henzinger, Thomas A., et al. “The Regular Real-Time Languages.” Proceedings of the 25th International Colloqium on Automata, Languages and Programming, vol. 1443, Springer, 1998, pp. 580–91, doi:10.1007/BFb0055086.
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 4491
Henzinger, Thomas A., et al. “Algorithmic Analysis of Nonlinear Hybrid Systems.” IEEE Transactions on Automatic Control, vol. 43, no. 4, IEEE, 1998, pp. 540–54, doi:10.1109/9.664156 .
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 4492 | 
Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?” Journal of Computer and System Sciences, vol. 57, no. 1, Elsevier, 1998, pp. 94–124, doi:10.1006/jcss.1998.1581.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1998 | Published | Conference Paper | IST-REx-ID: 4515
Henzinger, Thomas A. “It’s about Time: Real-Time Logics Reviewed.” Proceedings of the 9th Interantional Conference on Concurrency Theory, vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 439–54, doi:10.1007/BFb0055640.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4603
Alur, Rajeev, et al. “Alternating Refinement Relations.” Proceedings of the 9th Interantional Conference on Concurrency Theory, vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–78, doi:10.1007/BFb0055622.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4604
Alur, Rajeev, et al. “Mocha: Modularity in Model Checking.” Proceedings of the 10th International Conference on Computer Aided Verification, vol. 1427, Springer, 1998, pp. 521–25, doi:10.1007/BFb0028774.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4606
Alur, Rajeev, et al. “Symbolic Exploration of Transition Hierarchies.” Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1384, Springer, 1998, pp. 330–44, doi:10.1007/BFb0054181.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4639
De Alfaro, Luca, et al. “Concurrent Reachability Games.” Proceedings 39th Annual Symposium on Foundations of Computer Science, IEEE, 1998, pp. 564–75, doi:10.1109/SFCS.1998.743507 .
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 6160
de Bono, Mario, and Cornelia I. Bargmann. “Natural Variation in a Neuropeptide Y Receptor Homolog Modifies Social Behavior and Food Response in C. Elegans.” Cell, vol. 94, no. 5, Elsevier, 1998, pp. 679–89, doi:10.1016/s0092-8674(00)81609-8.
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 1954
Sazanov, Leonid A., et al. “The Chloroplast Ndh Complex Mediates the Dark Reduction of the Plastoquinone Pool in Response to Heat Stress in Tobacco Leaves.” FEBS Letters, vol. 429, no. 1, Elsevier, 1998, pp. 115–18, doi:10.1016/S0014-5793(98)00573-0.
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 1955 |
Burrows, Paul, et al. “Identification of a Functional Respiratory Complex in Chloroplasts through Analysis of Tobacco Mutants Containing Disrupted Plastid Ndh Genes.” EMBO Journal, vol. 17, no. 4, Wiley-Blackwell, 1998, pp. 868–76, doi:10.1093/emboj/17.4.868.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 1956 |
Sazanov, Leonid A., et al. “The Plastid Ndh Genes Code for an NADH-Specific Dehydrogenase: Isolation of a Complex I Analogue from Pea Thylakoid Membranes.” PNAS, vol. 95, no. 3, National Academy of Sciences, 1998, pp. 1319–24, doi:10.1073/pnas.95.3.1319.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 3487
Jonas, Peter M., et al. “Corelease of Two Fast Neurotransmitters at a Central Synapse.” Science, vol. 281, no. 5375, American Association for the Advancement of Science, 1998, pp. 419–24, doi:10.1126/science.281.5375.419.
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 3488 |
Martina, Marco, et al. “Functional and Molecular Differences between Voltage-Gated K+ Channels of Fast-Spiking Interneurons and Pyramidal Neurons of Rat Hippocampus.” Journal of Neuroscience, vol. 18, no. 20, Society for Neuroscience, 1998, pp. 8111–25, doi:10.1523/JNEUROSCI.18-20-08111.1998.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1998 | Patent | IST-REx-ID: 3506 |
Edelsbrunner, Herbert, and Ping Fu. Apparatus and Method for Geometric Morphing. 1998.
[Published Version]
View
| Download Published Version (ext.)
1998 | Published | Journal Article | IST-REx-ID: 3521
Csicsvari, Jozsef L., et al. “Reliability and State Dependence of Pyramidal Cell-Interneuron Synapses in the Hippocampus: An Ensemble Approach in the Behaving Rat.” Neuron, vol. 21, no. 1, Elsevier, 1998, pp. 179–89, doi:10.1016/S0896-6273(00)80525-5.
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 3525
Nádasdy, Zoltán, et al. “Persistence and Temporal Compression of Spike Sequences during Fast Field Oscillation in the Hippocampus.” European Journal of Neuroscience, vol. 10, no. Suppl. 10, Wiley-Blackwell, 1998, pp. 9409–9409.
View
1998 | Published | Journal Article | IST-REx-ID: 3527
Csicsvari, Jozsef L., et al. “Monosynaptic Interactions between CA1 Pyramidal Cells and Interneuron in the Behaving Rat.” European Journal of Neuroscience, vol. 10, no. Suppl. 10, Wiley-Blackwell, 1998, pp. 2553–2553.
View