Hetzer, Martin, and Iain W. Mattaj. “An Atp-Dependent, Ran-Independent Mechanism for Nuclear Import of the a and b Spliceosome Proteins.”https://doi.org/10.1083/jcb.148.2.293__Journal of Cell Biology. Rockefeller University Press, 2000.https://doi.org/10.1083/jcb.148.2.293 .

Hetzer, Martin, Daniel Bilbao-Cortés, Tobias C Walther, Oliver J Gruss, and Iain W Mattaj. “GTP Hydrolysis by Ran Is Required for Nuclear Envelope Assembly.”https://doi.org/10.1016/s1097-2765(00)80266-x__Molecular Cell. Elsevier, 2000.https://doi.org/10.1016/s1097-2765(00)80266-x .

Henzinger, Monika H, Satish Rao, and Harold N. Gabow. “Computing Vertex Connectivity: New Bounds from Old Techniques.”https://doi.org/10.1006/jagm.1999.1055__Journal of Algorithms. Elsevier, 2000.https://doi.org/10.1006/jagm.1999.1055 .

Henzinger, Monika H, Allan Heydon, Michael Mitzenmacher, and Marc Najork. “On Near-Uniform URL Sampling.”https://doi.org/10.1016/s1389-1286(00)00055-4__Computer Networks. Elsevier, 2000.https://doi.org/10.1016/s1389-1286(00)00055-4 .

Albers, Susanne, and Monika H Henzinger. “Exploring Unknown Environments.”https://doi.org/10.1137/s009753979732428x__SIAM Journal on Computing. Society for Industrial and Applied Mathematics, 2000.https://doi.org/10.1137/s009753979732428x .

Bharat, Krishna, Andrei Broder, Jeffrey Dean, and Monika H Henzinger. “A Comparison of Techniques to Find Mirrored Hosts on the WWW.”https://doi.org/10.1002/1097-4571(2000)9999:9999&#60;::aid-asi1025&#62;3.0.co;2-0__Journal of the American Society for Information Science. Wiley, 2000.https://doi.org/10.1002/1097-4571(2000)9999:9999&#60;::aid-asi1025&#62;3.0.co;2-0 .

Henzinger, Monika H. “Web Information Retrieval - an Algorithmic Perspective.”https://doi.org/10.1007/3-540-45253-2_1__In 8th Annual European Symposium on Algorithms, 1879:1–8. Springer Nature, 2000.https://doi.org/10.1007/3-540-45253-2_1 .

Henzinger, Monika H. “Improved Data Structures for Fully Dynamic Biconnectivity.”https://doi.org/10.1137/s0097539794263907__SIAM Journal on Computing. Society for Industrial &; Applied Mathematics, 2000.https://doi.org/10.1137/s0097539794263907 .

Seiringer, Robert. “Inequalities for Schrödinger Operators and Applications to the Stability of Matter Problem ,”https://doi.org/10.1090/conm/529__529:53–72. American Mathematical Society, 2000.https://doi.org/10.1090/conm/529 .

Baumgartner, Bernhard, and Robert Seiringer. “On the Ordering of Energy Levels in Homogeneous Magnetic Fields.”https://doi.org/Â  Â  10.1023/A:1010978807635__Letters in Mathematical Physics. Springer, 2000.https://doi.org/Â  Â  10.1023/A:1010978807635 .

Kaloshin, Vadim. “Generic Diffeomorphisms with Superexponential Growth of Number of Periodic Orbits.”https://doi.org/10.1007/s002200050811__Communications in Mathematical Physics. Springer Nature, 2000.https://doi.org/10.1007/s002200050811 .

De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems.”https://doi.org/10.1007/3-540-44618-4_33__In Proceedings of the 11th International Conference on Concurrency Theory, 1877:458–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000.https://doi.org/10.1007/3-540-44618-4_33 .

De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “Detecting Errors before Reaching Them.”https://doi.org/10.1007/10722167_17__In Proceedings of the 12th International Conference on Computer Aided Verification, 1855:186–201. Springer, 2000.https://doi.org/10.1007/10722167_17 .

De Alfaro, Luca, and Thomas A Henzinger. “Concurrent Omega-Regular Games.”https://doi.org/10.1109/LICS.2000.855763__In Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 141–54. IEEE, 2000.https://doi.org/10.1109/LICS.2000.855763 .

Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.”https://doi.org/10.1007/3-540-44929-9_38__In Proceedings of the 1st International Conference on Theoretical Computer Science , 1872:549–63. Springer, 2000.https://doi.org/10.1007/3-540-44929-9_38 .

Alur, Rajeev, Thomas A Henzinger, Gerardo Lafferriere, and George Pappas. “Discrete Abstractions of Hybrid Systems.”https://doi.org/10.1109/5.871304 __Proceedings of the IEEE. IEEE, 2000.https://doi.org/10.1109/5.871304  .

Henzinger, Thomas A, Ritankar Majumdar, Freddy Mang, and Jean Raskin. “Abstract Interpretation of Game Properties.”https://doi.org/10.1007/978-3-540-45099-3_12__In Proceedings of the 7th International Symposium on Static Analysis, 1824:220–39. Springer, 2000.https://doi.org/10.1007/978-3-540-45099-3_12 .

Henzinger, Thomas A, Benjamin Horowitz, Ritankar Majumdar, and Howard Wong Toi. “Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods.”https://doi.org/10.1007/3-540-46430-1_14__In Proceedings of the 3rd International Workshop on Hybrid Systems, 1790:130–44. Springer, 2000.https://doi.org/10.1007/3-540-46430-1_14 .

Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Decomposing Refinement Proofs Using Assume-Guarantee Reasoning.”https://doi.org/10.1109/ICCAD.2000.896481__In Proceedings of the 2000 International Conference on Computer-Aided Design, 245–52. IEEE, 2000.https://doi.org/10.1109/ICCAD.2000.896481 .

Henzinger, Thomas A. “The Theory of Hybrid Automata.”https://doi.org/10.1007/978-3-642-59615-5__In Verification of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, 170:265–92. Springer, 2000.https://doi.org/10.1007/978-3-642-59615-5 .