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: 4410
Preußig J, Kowalewski S, Wong Toi H, Henzinger TA. 1998. An algorithm for the approximative analysis of rectangular automata. Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, vol. 1486, 228–240.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4429
Henzinger TA, Rusu V. 1998. Reachability verification for hybrid automata. Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 1386, 190–204.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4486
Henzinger TA, Qadeer S, Rajamani S, Tasiran S. 1998. An assume-guarantee rule for checking simulation. Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, LNCS, vol. 1522, 421–432.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4488
Henzinger TA, Qadeer S, Rajamani S. 1998. You assume, we guarantee: Methodology and case studies. Proceedings of the 10th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1427, 440–451.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4489
Henzinger TA, Kupferman O, Qadeer S. 1998. From pre-historic to post-modern symbolic model checking. Proceedings of the 10th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1427, 195–206.
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 4492 | 
Henzinger TA, Kopke P, Puri A, Varaiya P. 1998. What’s decidable about hybrid automata? Journal of Computer and System Sciences. 57(1), 94–124.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1998 | Published | Conference Paper | IST-REx-ID: 4604
Alur R, Henzinger TA, Mang F, Qadeer S, Rajamani S, Tasiran S. 1998. Mocha: Modularity in model checking. Proceedings of the 10th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1427, 521–525.
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4606
Alur R, Henzinger TA, Rajamani S. 1998. Symbolic exploration of transition hierarchies. Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1384, 330–344.
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 6160
de Bono M, Bargmann CI. 1998. Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans. Cell. 94(5), 679–689.
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 1954
Sazanov LA, Burrows P, Nixon P. 1998. The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves. FEBS Letters. 429(1), 115–118.
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 1955 |
Burrows P, Sazanov LA, Sváb Z, Maliga P, Nixon P. 1998. Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes. EMBO Journal. 17(4), 868–876.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 1956 |
Sazanov LA, Burrows P, Nixon P. 1998. The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes. PNAS. 95(3), 1319–1324.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 3487
Jonas PM, Bischofberger J, Sandkühler J. 1998. Corelease of two fast neurotransmitters at a central synapse. Science. 281(5375), 419–424.
View
| DOI
| PubMed | Europe PMC