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.
59 Publications
1998 | Published | Conference Paper | IST-REx-ID: 4408
Raskin, Jean, Pierre Schobbens, and Thomas A Henzinger. “Axioms for Real-Time Logics.” In Proceedings of the 9th Interantional Conference on Concurrency Theory, 1466:219–36. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998. https://doi.org/10.1007/BFb0055625.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4410
Preußig, Jörg, Stefan Kowalewski, Howard Wong Toi, and Thomas A Henzinger. “An Algorithm for the Approximative Analysis of Rectangular Automata.” In Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 1486:228–40. Springer, 1998. https://doi.org/10.1007/BFb0055350.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4429
Henzinger, Thomas A, and Vlad Rusu. “Reachability Verification for Hybrid Automata.” In Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control, 1386:190–204. Springer, 1998. https://doi.org/10.1007/3-540-64358-3_40.
View
| DOI
1998 | Published | Conference (Editor) | IST-REx-ID: 4430
Henzinger, Thomas A, ed. HSCC: Hybrid Systems—Computation and Control. Vol. 1386. Springer, 1998. https://doi.org/10.1007/3-540-64358-3.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4486
Henzinger, Thomas A, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “An Assume-Guarantee Rule for Checking Simulation.” In Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, 1522:421–32. Springer, 1998. https://doi.org/10.1007/3-540-49519-3_27.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4488
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “You Assume, We Guarantee: Methodology and Case Studies.” In Proceedings of the 10th International Conference on Computer Aided Verification, 1427:440–51. Springer, 1998. https://doi.org/10.1007/BFb0028765.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4489
Henzinger, Thomas A, Orna Kupferman, and Shaz Qadeer. “From Pre-Historic to Post-Modern Symbolic Model Checking.” In Proceedings of the 10th International Conference on Computer Aided Verification, 1427:195–206. Springer, 1998. https://doi.org/10.1007/BFb0028745.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4490
Henzinger, Thomas A, Jean Raskin, and Pierre Schobbens. “The Regular Real-Time Languages.” In Proceedings of the 25th International Colloqium on Automata, Languages and Programming, 1443:580–91. Springer, 1998. https://doi.org/10.1007/BFb0055086.
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 4491
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “Algorithmic Analysis of Nonlinear Hybrid Systems.” IEEE Transactions on Automatic Control. IEEE, 1998. https://doi.org/10.1109/9.664156 .
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 4492 | 
Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable about Hybrid Automata?” Journal of Computer and System Sciences. Elsevier, 1998. https://doi.org/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.” In Proceedings of the 9th Interantional Conference on Concurrency Theory, 1466:439–54. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998. https://doi.org/10.1007/BFb0055640.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4603
Alur, Rajeev, Thomas A Henzinger, Orna Kupferman, and Moshe Vardi. “Alternating Refinement Relations.” In Proceedings of the 9th Interantional Conference on Concurrency Theory, 1466:163–78. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998. https://doi.org/10.1007/BFb0055622.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4604
Alur, Rajeev, Thomas A Henzinger, Freddy Mang, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “Mocha: Modularity in Model Checking.” In Proceedings of the 10th International Conference on Computer Aided Verification, 1427:521–25. Springer, 1998. https://doi.org/10.1007/BFb0028774.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4606
Alur, Rajeev, Thomas A Henzinger, and Sriram Rajamani. “Symbolic Exploration of Transition Hierarchies.” In Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 1384:330–44. Springer, 1998. https://doi.org/10.1007/BFb0054181.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4639
De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.” In Proceedings 39th Annual Symposium on Foundations of Computer Science, 564–75. IEEE, 1998. https://doi.org/10.1109/SFCS.1998.743507 .
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 6160
Bono, Mario de, and Cornelia I Bargmann. “Natural Variation in a Neuropeptide Y Receptor Homolog Modifies Social Behavior and Food Response in C. Elegans.” Cell. Elsevier, 1998. https://doi.org/10.1016/s0092-8674(00)81609-8.
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 1954
Sazanov, Leonid A, Paul Burrows, and Peter Nixon. “The Chloroplast Ndh Complex Mediates the Dark Reduction of the Plastoquinone Pool in Response to Heat Stress in Tobacco Leaves.” FEBS Letters. Elsevier, 1998. https://doi.org/10.1016/S0014-5793(98)00573-0.
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 1955 |
Burrows, Paul, Leonid A Sazanov, Zóra Sváb, Pàl Maliga, and Peter Nixon. “Identification of a Functional Respiratory Complex in Chloroplasts through Analysis of Tobacco Mutants Containing Disrupted Plastid Ndh Genes.” EMBO Journal. Wiley-Blackwell, 1998. https://doi.org/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, Paul Burrows, and Peter Nixon. “The Plastid Ndh Genes Code for an NADH-Specific Dehydrogenase: Isolation of a Complex I Analogue from Pea Thylakoid Membranes.” PNAS. National Academy of Sciences, 1998. https://doi.org/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, Joseph Bischofberger, and Jürgen Sandkühler. “Corelease of Two Fast Neurotransmitters at a Central Synapse.” Science. American Association for the Advancement of Science, 1998. https://doi.org/10.1126/science.281.5375.419.
View
| DOI
| PubMed | Europe PMC