Hetzer, M., Meyer, H. H., Walther, T. C., Bilbao-Cortes, D., Warren, G., &; Mattaj, I. W. (2001). Distinct AAA-ATPasehttps://doi.org/10.1038/ncb1201-1086__complexes function in discrete steps of nuclear assembly. Nature Cell Biology. Springer Nature.https://doi.org/10.1038/ncb1201-1086 

Henzinger, M. H., &; King, V. (2001). Maintaining minimum spanning forests in dynamic graphs. SIAM Journal on Computing. Society for Industrial &; Applied Mathematics.https://doi.org/10.1137/s0097539797327209 

Bharat, K., Chang, B.-W., Henzinger, M. H., &; Ruhl, M. (2001). Who links to whom: Mining linkage between Web sites. In 1st IEEE International Conference on Data Mining (pp. 51–58). San Jose, CA, United States: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/ICDM.2001.989500 

Liang, J., &; Edelsbrunner, H. (2001). Molecular classification for property prediction.

Edelsbrunner, H. (2001). Geometry and Topology for Mesh Generation (Vol. 7). Cambridge University Press.https://doi.org/10.1017/CBO9780511530067 

Chatterjee, K., Dasgupta, P., &; Chakrabarti, P. (2001). Weighted quantified computation tree logic. Presented at the CIT: Conference on Information Technology, Elsevier.

Kaloshin, V., &; Hunt, B. R. (2001). A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms I. Electronic Research Announcements of the American Mathematical Society. American Mathematical Society.https://doi.org/10.1090/s1079-6762-01-00090-7 

Kaloshin, V., &; Hunt, B. R. (2001). A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms II. Electronic Research Announcements of the American Mathematical Society. American Mathematical Society.https://doi.org/10.1090/s1079-6762-01-00091-9 

Kaloshin, V., &; Rodnianski, I. (2001). Diophantine properties of elements of SO(3). Geometric And Functional Analysis. Springer Nature.https://doi.org/10.1007/s00039-001-8222-8 

Lindroth, A. M., Cao, X., Jackson, J. P., Zilberman, D., McCallum, C. M., Henikoff, S., &; Jacobsen, S. E. (2001). Requirement of CHROMOMETHYLAS for maintenance of CpXpG methylation. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1059745 

De Alfaro, L., Henzinger, T. A., &; Mang, F. (2001). The control of synchronous systems, Part II. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 566–581). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/3-540-44685-0_38 

De Alfaro, L., Henzinger, T. A., &; Majumdar, R. (2001). Symbolic algorithms for infinite-state games. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 536–550). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/3-540-44685-0_36 

De Alfaro, L., Henzinger, T. A., &; Majumdar, R. (2001). From verification to control: dynamic programs for omega-regular objectives. In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (pp. 279–290). Boston, MA, USA: IEEE.https://doi.org/10.1109/LICS.2001.932504 

De Alfaro, L., Henzinger, T. A., &; Mang, F. (2001). MCWEB: A model-checking tool for web-site debugging. In Proceedings of the 10th international conference on World Wide Web (pp. 86–87). Hong Kong, Hong Kong: ACM.

De Alfaro, L., Henzinger, T. A., &; Jhala, R. (2001). Compositional methods for probabilistic systems. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 351–365). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/3-540-44685-0_24 

Alur, R., De Alfaro, L., Grosu, R., Henzinger, T. A., Kang, M., Kirsch, C.,https://doi.org/10.1109/ICSE.2001.919196__Wang, B. (2001). jMocha: A model-checking tool that exploits design structure. In Proceedings of the 23rd International Conference on Software Engineering (pp. 835–836). IEEE.https://doi.org/10.1109/ICSE.2001.919196 

Alur, R., Brayton, R., Henzinger, T. A., Qadeer, S., &; Rajamani, S. (2001). Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design. Springer.https://doi.org/10.1023/A:1008767206905 

De Alfaro, L., &; Henzinger, T. A. (2001). Interface automata. In Proceedings of the 8th European software engineering conference (pp. 109–120). Vienna, Austria: ACM.https://doi.org/10.1145/503209.503226 

De Alfaro, L., &; Henzinger, T. A. (2001). Interface theories for component-based design. In Proceedings of the 1st International Workshop on Embedded Software (Vol. 2211, pp. 148–165). Tahoe City, CA, USA: ACM.https://doi.org/10.1007/3-540-45449-7_11 

Brown, T., Pasetti, A., Pree, W., Henzinger, T. A., &; Kirsch, C. (2001). A reusable and platform-independent framework for distributed control systems. In Proceedings of the 20th Digital Avionics Systems Conference (pp. 1–11). Daytona Beach, FL, USA: IEEE.https://doi.org/10.1109/DASC.2001.964169