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.
58 Publications
1998 | Journal Article | IST-REx-ID: 4281
N. H. Barton and B. Charlesworth, “Why sex and recombination?,” Science, vol. 281, no. 5385. American Association for the Advancement of Science, pp. 1986–1990, 1998.
View
| DOI
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 4280
M. Ritchie and N. H. Barton, “Hybrids and hybrid zones: Reply from M.G. Ritchie and N.H. Barton,” Trends in Ecology and Evolution, vol. 13, no. 7. Cell Press, pp. 282–283, 1998.
View
| DOI
| PubMed | Europe PMC
1998 | Conference Paper | IST-REx-ID: 4410
J. Preußig, S. Kowalewski, H. Wong Toi, and T. 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, Lyngby, Denmark, 1998, vol. 1486, pp. 228–240.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4486
T. A. Henzinger, S. Qadeer, S. Rajamani, and S. Tasiran, “An assume-guarantee rule for checking simulation,” in Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, Palo Alto, CA, United States of America, 1998, vol. 1522, pp. 421–432.
View
| DOI
1998 | Journal Article | IST-REx-ID: 4492 |
T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about hybrid automata?,” Journal of Computer and System Sciences, vol. 57, no. 1. Elsevier, pp. 94–124, 1998.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1998 | Conference Paper | IST-REx-ID: 4606
R. Alur, T. A. Henzinger, and S. Rajamani, “Symbolic exploration of transition hierarchies,” in Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Lisbon, Portugal, 1998, vol. 1384, pp. 330–344.
View
| DOI