K. Chatterjee, P. Dasgupta, and P. Chakrabarti, “Weighted quantified computation tree logic,” presented at the CIT: Conference on Information Technology, 2001.
LibreCat: https://research-explorer.ista.ac.at/record/3447

V. Kaloshin and B. R. Hunt, “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, vol. 7, no. 4. American Mathematical Society, pp. 17–27, 2001.
LibreCat: https://research-explorer.ista.ac.at/record/8522
DOI: 10.1090/s1079-6762-01-00090-7

V. Kaloshin and B. R. Hunt, “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, vol. 7, no. 5. American Mathematical Society, pp. 28–36, 2001.
LibreCat: https://research-explorer.ista.ac.at/record/8521
DOI: 10.1090/s1079-6762-01-00091-9

V. Kaloshin and I. Rodnianski, “Diophantine properties of elements of SO(3),” Geometric And Functional Analysis, vol. 11, no. 5. Springer Nature, pp. 953–970, 2001.
LibreCat: https://research-explorer.ista.ac.at/record/8524
DOI: 10.1007/s00039-001-8222-8

A. M. Lindroth et al., “Requirement of CHROMOMETHYLAS for maintenance of CpXpG methylation,” Science, vol. 292, no. 5524. American Association for the Advancement of Science, pp. 2077–2080, 2001.
LibreCat: https://research-explorer.ista.ac.at/record/9444
DOI: 10.1126/science.1059745
PMID: 11349138

L. De Alfaro, T. A. Henzinger, and F. Mang, “The control of synchronous systems, Part II,” in Proceedings of the 12th International Conference on on Concurrency Theory, Aalborg, Denmark, 2001, vol. 2154, pp. 566–581.
LibreCat: https://research-explorer.ista.ac.at/record/4634
DOI: 10.1007/3-540-44685-0_38

L. De Alfaro, T. A. Henzinger, and R. Majumdar, “Symbolic algorithms for infinite-state games,” in Proceedings of the 12th International Conference on on Concurrency Theory, Aalborg, Denmark, 2001, vol. 2154, pp. 536–550.
LibreCat: https://research-explorer.ista.ac.at/record/4633
DOI: 10.1007/3-540-44685-0_36

L. De Alfaro, T. A. Henzinger, and R. Majumdar, “From verification to control: dynamic programs for omega-regular objectives,” in Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, Boston, MA, USA, 2001, pp. 279–290.
LibreCat: https://research-explorer.ista.ac.at/record/4636
DOI: 10.1109/LICS.2001.932504

L. De Alfaro, T. A. Henzinger, and F. Mang, “MCWEB: A model-checking tool for web-site debugging,” in Proceedings of the 10th international conference on World Wide Web, Hong Kong, Hong Kong, 2001, pp. 86–87.
LibreCat: https://research-explorer.ista.ac.at/record/4635

L. De Alfaro, T. A. Henzinger, and R. Jhala, “Compositional methods for probabilistic systems,” in Proceedings of the 12th International Conference on on Concurrency Theory, Aalborg, Denmark, 2001, vol. 2154, pp. 351–365.
LibreCat: https://research-explorer.ista.ac.at/record/4632
DOI: 10.1007/3-540-44685-0_24

R. Alur et al., “jMocha: A model-checking tool that exploits design structure,” in Proceedings of the 23rd International Conference on Software Engineering, 2001, pp. 835–836.
LibreCat: https://research-explorer.ista.ac.at/record/4600
DOI: 10.1109/ICSE.2001.919196

R. Alur, R. Brayton, T. A. Henzinger, S. Qadeer, and S. Rajamani, “Partial-order reduction in symbolic state-space exploration,” Formal Methods in System Design, vol. 18, no. 2. Springer, pp. 97–116, 2001.
LibreCat: https://research-explorer.ista.ac.at/record/4599
DOI: 10.1023/A:1008767206905

L. De Alfaro and T. A. Henzinger, “Interface automata,” in Proceedings of the 8th European software engineering conference, Vienna, Austria, 2001, pp. 109–120.
LibreCat: https://research-explorer.ista.ac.at/record/4622
DOI: 10.1145/503209.503226

L. De Alfaro and T. A. Henzinger, “Interface theories for component-based design,” in Proceedings of the 1st International Workshop on Embedded Software, Tahoe City, CA, USA, 2001, vol. 2211, pp. 148–165.
LibreCat: https://research-explorer.ista.ac.at/record/4623
DOI: 10.1007/3-540-45449-7_11

T. Brown, A. Pasetti, W. Pree, T. A. Henzinger, and C. Kirsch, “A reusable and platform-independent framework for distributed control systems,” in Proceedings of the 20th Digital Avionics Systems Conference, Daytona Beach, FL, USA, 2001, pp. 1–11.
LibreCat: https://research-explorer.ista.ac.at/record/4564
DOI: 10.1109/DASC.2001.964169

T. A. Henzinger, M. Minea, and V. Prabhu, “Assume-guarantee reasoning for hierarchical hybrid systems,” in Proceedings of the 4th International Workshop on Hybrid Systems, Rome, Italy, 2001, vol. 2034, pp. 275–290.
LibreCat: https://research-explorer.ista.ac.at/record/4477
DOI: 10.1007/3-540-45351-2_24

T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” in Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems, New York, NY, United States, 2001, pp. 64–72.
LibreCat: https://research-explorer.ista.ac.at/record/4478
DOI: 10.1145/384197.384208

T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” in Proceedings of the 1st International Workshop on Embedded Software, Tahoe City, CA, USA, 2001, vol. 2211, pp. 166–184.
LibreCat: https://research-explorer.ista.ac.at/record/4479
DOI: 10.1007/3-540-45449-7_12

T. A. Henzinger, J. Preussig, and H. Wong Toi, “Some lessons from the HYTECH experience,” in Proceedings of the 40th IEEE Conference on Decision and Control, Orlando, FL, USA, 2001, vol. 3, pp. 2887–2892.
LibreCat: https://research-explorer.ista.ac.at/record/4475
DOI: 10.1109/.2001.980714

T. A. Henzinger, Ed., EMSOFT: Embedded Software, vol. 2211. ACM, 2001.
LibreCat: https://research-explorer.ista.ac.at/record/4449
DOI: 10.1007/3-540-45449-7