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 | Journal Article | IST-REx-ID: 11770 |
K. Bharat, A. Broder, J. Dean, and M. H. Henzinger, “A comparison of techniques to find mirrored hosts on the WWW,” Journal of the American Society for Information Science, vol. 51, no. 12. Wiley, pp. 1114–1122, 2000.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2000 | Journal Article | IST-REx-ID: 2343 |
B. Baumgartner and R. Seiringer, “On the ordering of energy levels in homogeneous magnetic fields,” Letters in Mathematical Physics, vol. 54, no. 3. Springer, pp. 213–226, 2000.
View
| DOI
| Download (ext.)
2000 | Conference Paper | IST-REx-ID: 4481
T. A. Henzinger, B. Horowitz, R. Majumdar, and H. Wong Toi, “Beyond HyTech: Hybrid systems analysis using interval numerical methods,” in Proceedings of the 3rd International Workshop on Hybrid Systems, Pittsburgh, PA, USA, 2000, vol. 1790, pp. 130–144.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4435
T. A. Henzinger and R. Majumdar, “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, Berlin, Germany, 2000, vol. 1785, pp. 142–156.
View
| DOI
2000 | Book Review | IST-REx-ID: 4276
N. H. Barton, “Population genetics of multiple loci,” Genetics Research, vol. 75, no. 3. Cambridge University Press, pp. 371–373, 2000.
View
| DOI
| Download None (ext.)