M. Hetzer and I. W. Mattaj, “An Atp-dependent, Ran-independent mechanism for nuclear import of the a and b spliceosome proteins,” Journal of Cell Biology, vol. 148, no. 2. Rockefeller University Press, pp. 293–304, 2000.

M. Hetzer, D. Bilbao-Cortés, T. C. Walther, O. J. Gruss, and I. W. Mattaj, “GTP hydrolysis by Ran is required for nuclear envelope assembly,” Molecular Cell, vol. 5, no. 6. Elsevier, pp. 1013–1024, 2000.

M. H. Henzinger, S. Rao, and H. N. Gabow, “Computing vertex connectivity: New bounds from old techniques,” Journal of Algorithms, vol. 34, no. 2. Elsevier, pp. 222–250, 2000.

M. H. Henzinger, A. Heydon, M. Mitzenmacher, and M. Najork, “On near-uniform URL sampling,” Computer Networks, vol. 33, no. 1–6. Elsevier, pp. 295–308, 2000.

S. Albers and M. H. Henzinger, “Exploring unknown environments,” SIAM Journal on Computing, vol. 29, no. 4. Society for Industrial and Applied Mathematics, pp. 1164–1188, 2000.

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.

M. H. Henzinger, “Web information retrieval - an algorithmic perspective,” in 8th Annual European Symposium on Algorithms, Saarbrücken, Germany, 2000, vol. 1879, pp. 1–8.

M. H. Henzinger, “Improved data structures for fully dynamic biconnectivity,” SIAM Journal on Computing, vol. 29, no. 6. Society for Industrial &; Applied Mathematics, pp. 1761–1815, 2000.

R. Seiringer, “Inequalities for Schrödinger operators and applications to the stability of matter problem ,” presented at the Arizona School of Analysis With Applications, 2000, vol. 529, pp. 53–72.

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.

V. Kaloshin, “Generic diffeomorphisms with superexponential growth of number of periodic orbits,” Communications in Mathematical Physics, vol. 211. Springer Nature, pp. 253–271, 2000.

L. De Alfaro, T. A. Henzinger, and F. Mang, “The control of synchronous systems,” in Proceedings of the 11th International Conference on Concurrency Theory, University Park, PA, USA, 2000, vol. 1877, pp. 458–473.

L. De Alfaro, T. A. Henzinger, and F. Mang, “Detecting errors before reaching them,” in Proceedings of the 12th International Conference on Computer Aided Verification, Chicago, IL, USA, 2000, vol. 1855, pp. 186–201.

L. De Alfaro and T. A. Henzinger, “Concurrent omega-regular games,” in Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, CA, USA, 2000, pp. 141–154.

T. A. Henzinger, “Masaccio: A formal model for embedded components,” in Proceedings of the 1st International Conference on Theoretical Computer Science , Sendai, Japan, 2000, vol. 1872, pp. 549–563.

R. Alur, T. A. Henzinger, G. Lafferriere, and G. Pappas, “Discrete abstractions of hybrid systems,” Proceedings of the IEEE, vol. 88, no. 7. IEEE, pp. 971–984, 2000.

T. A. Henzinger, R. Majumdar, F. Mang, and J. Raskin, “Abstract interpretation of game properties,” in Proceedings of the 7th International Symposium on Static Analysis, Santa Barbara, CA, USA, 2000, vol. 1824, pp. 220–239.

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.

T. A. Henzinger, S. Qadeer, and S. Rajamani, “Decomposing refinement proofs using assume-guarantee reasoning,” in Proceedings of the 2000 International Conference on Computer-Aided Design, San Jose, CA, USA, 2000, pp. 245–252.

T. A. Henzinger, “The theory of hybrid automata,” in Verification of Digital and Hybrid Systems, vol. 170, M. Inan and R. Kurshan, Eds. Springer, 2000, pp. 265–292.