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.
75 Publications
2000 | Conference Paper | IST-REx-ID: 4433
Henzinger, T. A., & Rajamani, S. (2000). Fair bisimulation. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1785, pp. 299–314). Berlin, Germany: Springer. https://doi.org/10.1007/3-540-46419-0_21
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4439
Henzinger, T. A., & Majumdar, R. (2000). A classification of symbolic transition systems. In Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science (Vol. 1770, pp. 13–34). Lille, France: Springer. https://doi.org/10.1007/3-540-46541-3_2
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, T. A., & Majumdar, R. (2000). Symbolic model checking for rectangular hybrid systems. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1785, pp. 142–156). Berlin, Germany: Springer. https://doi.org/10.1007/3-540-46419-0_11
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4434
Henzinger, T. A., & Raskin, J. (2000). Robust undecidability of timed and hybrid systems. In Proceedings of the 3rd International Workshop on Hybrid Systems (Vol. 1790, pp. 145–159). Pittsburgh, PA, USA: Springer. https://doi.org/10.1007/3-540-46430-1_15
View
| DOI
2000 | Book Review | IST-REx-ID: 4276
Barton, N. H. (2000). Population genetics of multiple loci. Genetics Research. Cambridge University Press. https://doi.org/10.1017/S0016672300239220
View
| DOI
| Download None (ext.)