Hetzer, Martin, et al. “Distinct AAA-ATPase10.1038/ncb1201-1086__Complexes Function in Discrete Steps of Nuclear Assembly.”10.1038/ncb1201-1086__Nature Cell Biology, vol. 3, no. 12, Springer Nature, 2001, pp. 1086–91, doi:10.1038/ncb1201-1086.
LibreCat: https://research-explorer.ista.ac.at/record/11125
DOI: 10.1038/ncb1201-1086
PMID: 11781570

Henzinger, Monika H., and Valerie King. “Maintaining Minimum Spanning Forests in Dynamic Graphs.”10.1137/s0097539797327209__SIAM Journal on Computing, vol. 31, no. 2, Society for Industrial &; Applied Mathematics, 2001, pp. 364–74, doi:10.1137/s0097539797327209.
LibreCat: https://research-explorer.ista.ac.at/record/11892
DOI: 10.1137/s0097539797327209

Bharat, K., et al. “Who Links to Whom: Mining Linkage between Web Sites.”10.1109/ICDM.2001.989500__1st IEEE International Conference on Data Mining, Institute of Electrical and Electronics Engineers, 2001, pp. 51–58, doi:10.1109/ICDM.2001.989500.
LibreCat: https://research-explorer.ista.ac.at/record/11914
DOI: 10.1109/ICDM.2001.989500

Liang, Jie, and Herbert Edelsbrunner. Molecular Classification for Property Prediction. 2001.
LibreCat: https://research-explorer.ista.ac.at/record/3507

Edelsbrunner, Herbert. Geometry and Topology for Mesh Generation. Vol. 7, Cambridge University Press, 2001, doi:10.1017/CBO9780511530067.
LibreCat: https://research-explorer.ista.ac.at/record/3586
DOI: 10.1017/CBO9780511530067

Chatterjee, Krishnendu, et al. Weighted Quantified Computation Tree Logic. Elsevier, 2001.
LibreCat: https://research-explorer.ista.ac.at/record/3447

Kaloshin, Vadim, and Brian R. Hunt. “A Stretched Exponential Bound on the Rate of Growth of the Number of Periodic Points for Prevalent Diffeomorphisms I.”10.1090/s1079-6762-01-00090-7__Electronic Research Announcements of the American Mathematical Society, vol. 7, no. 4, American Mathematical Society, 2001, pp. 17–27, doi:10.1090/s1079-6762-01-00090-7.
LibreCat: https://research-explorer.ista.ac.at/record/8522
DOI: 10.1090/s1079-6762-01-00090-7

Kaloshin, Vadim, and Brian R. Hunt. “A Stretched Exponential Bound on the Rate of Growth of the Number of Periodic Points for Prevalent Diffeomorphisms II.”10.1090/s1079-6762-01-00091-9__Electronic Research Announcements of the American Mathematical Society, vol. 7, no. 5, American Mathematical Society, 2001, pp. 28–36, doi:10.1090/s1079-6762-01-00091-9.
LibreCat: https://research-explorer.ista.ac.at/record/8521
DOI: 10.1090/s1079-6762-01-00091-9

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

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

De Alfaro, Luca, et al. “The Control of Synchronous Systems, Part II.”10.1007/3-540-44685-0_38__Proceedings of the 12th International Conference on on Concurrency Theory, vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–81, doi:10.1007/3-540-44685-0_38.
LibreCat: https://research-explorer.ista.ac.at/record/4634
DOI: 10.1007/3-540-44685-0_38

De Alfaro, Luca, et al. “Symbolic Algorithms for Infinite-State Games.”10.1007/3-540-44685-0_36__Proceedings of the 12th International Conference on on Concurrency Theory, vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–50, doi:10.1007/3-540-44685-0_36.
LibreCat: https://research-explorer.ista.ac.at/record/4633
DOI: 10.1007/3-540-44685-0_36

De Alfaro, Luca, et al. “From Verification to Control: Dynamic Programs for Omega-Regular Objectives.”10.1109/LICS.2001.932504__Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2001, pp. 279–90, doi:10.1109/LICS.2001.932504.
LibreCat: https://research-explorer.ista.ac.at/record/4636
DOI: 10.1109/LICS.2001.932504

De Alfaro, Luca, et al. “MCWEB: A Model-Checking Tool for Web-Site Debugging.” Proceedings of the 10th International Conference on World Wide Web, ACM, 2001, pp. 86–87.
LibreCat: https://research-explorer.ista.ac.at/record/4635

De Alfaro, Luca, et al. “Compositional Methods for Probabilistic Systems.”10.1007/3-540-44685-0_24__Proceedings of the 12th International Conference on on Concurrency Theory, vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–65, doi:10.1007/3-540-44685-0_24.
LibreCat: https://research-explorer.ista.ac.at/record/4632
DOI: 10.1007/3-540-44685-0_24

Alur, Rajeev, et al. “JMocha: A Model-Checking Tool That Exploits Design Structure.”10.1109/ICSE.2001.919196__Proceedings of the 23rd International Conference on Software Engineering, IEEE, 2001, pp. 835–36, doi:10.1109/ICSE.2001.919196.
LibreCat: https://research-explorer.ista.ac.at/record/4600
DOI: 10.1109/ICSE.2001.919196

Alur, Rajeev, et al. “Partial-Order Reduction in Symbolic State-Space Exploration.”10.1023/A:1008767206905__Formal Methods in System Design, vol. 18, no. 2, Springer, 2001, pp. 97–116, doi:10.1023/A:1008767206905.
LibreCat: https://research-explorer.ista.ac.at/record/4599
DOI: 10.1023/A:1008767206905

De Alfaro, Luca, and Thomas A. Henzinger. “Interface Automata.”10.1145/503209.503226__Proceedings of the 8th European Software Engineering Conference, ACM, 2001, pp. 109–20, doi:10.1145/503209.503226.
LibreCat: https://research-explorer.ista.ac.at/record/4622
DOI: 10.1145/503209.503226

De Alfaro, Luca, and Thomas A. Henzinger. “Interface Theories for Component-Based Design.”10.1007/3-540-45449-7_11__Proceedings of the 1st International Workshop on Embedded Software, vol. 2211, ACM, 2001, pp. 148–65, doi:10.1007/3-540-45449-7_11.
LibreCat: https://research-explorer.ista.ac.at/record/4623
DOI: 10.1007/3-540-45449-7_11

Brown, Timothy, et al. “A Reusable and Platform-Independent Framework for Distributed Control Systems.”10.1109/DASC.2001.964169__Proceedings of the 20th Digital Avionics Systems Conference, IEEE, 2001, pp. 1–11, doi:10.1109/DASC.2001.964169.
LibreCat: https://research-explorer.ista.ac.at/record/4564
DOI: 10.1109/DASC.2001.964169