Distinct AAA-ATPase  complexes function in discrete steps of nuclear assembly
M. Hetzer, H.H. Meyer, T.C. Walther, D. Bilbao-Cortes, G. Warren, I.W. Mattaj, Nature Cell Biology 3 (2001) 1086–1091.
LibreCat: https://research-explorer.ista.ac.at/record/11125
DOI: 10.1038/ncb1201-1086
PMID: 11781570

Maintaining minimum spanning forests in dynamic graphs
M.H. Henzinger, V. King, SIAM Journal on Computing 31 (2001) 364–374.
LibreCat: https://research-explorer.ista.ac.at/record/11892
DOI: 10.1137/s0097539797327209

Who links to whom: Mining linkage between Web sites
K. Bharat, B.-W. Chang, M.H. Henzinger, M. Ruhl, in:, 1st IEEE International Conference on Data Mining, Institute of Electrical and Electronics Engineers, 2001, pp. 51–58.
LibreCat: https://research-explorer.ista.ac.at/record/11914
DOI: 10.1109/ICDM.2001.989500

Molecular classification for property prediction
J. Liang, H. Edelsbrunner, (2001).
LibreCat: https://research-explorer.ista.ac.at/record/3507

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

Weighted quantified computation tree logic
K. Chatterjee, P. Dasgupta, P. Chakrabarti, in:, Elsevier, 2001.
LibreCat: https://research-explorer.ista.ac.at/record/3447

A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms I
V. Kaloshin, B.R. Hunt, Electronic Research Announcements of the American Mathematical Society 7 (2001) 17–27.
LibreCat: https://research-explorer.ista.ac.at/record/8522
DOI: 10.1090/s1079-6762-01-00090-7

A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms II
V. Kaloshin, B.R. Hunt, Electronic Research Announcements of the American Mathematical Society 7 (2001) 28–36.
LibreCat: https://research-explorer.ista.ac.at/record/8521
DOI: 10.1090/s1079-6762-01-00091-9

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

Requirement of CHROMOMETHYLAS for maintenance of CpXpG methylation
A.M. Lindroth, X. Cao, J.P. Jackson, D. Zilberman, C.M. McCallum, S. Henikoff, S.E. Jacobsen, Science 292 (2001) 2077–2080.
LibreCat: https://research-explorer.ista.ac.at/record/9444
DOI: 10.1126/science.1059745
PMID: 11349138

The control of synchronous systems, Part II
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–581.
LibreCat: https://research-explorer.ista.ac.at/record/4634
DOI: 10.1007/3-540-44685-0_38

Symbolic algorithms for infinite-state games
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–550.
LibreCat: https://research-explorer.ista.ac.at/record/4633
DOI: 10.1007/3-540-44685-0_36

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

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

Compositional methods for probabilistic systems
L. De Alfaro, T.A. Henzinger, R. Jhala, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–365.
LibreCat: https://research-explorer.ista.ac.at/record/4632
DOI: 10.1007/3-540-44685-0_24

jMocha: A model-checking tool that exploits design structure
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, Proceedings of the 23rd International Conference on Software Engineering, IEEE, 2001, pp. 835–836.
LibreCat: https://research-explorer.ista.ac.at/record/4600
DOI: 10.1109/ICSE.2001.919196

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

Interface automata
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 8th European Software Engineering Conference, ACM, 2001, pp. 109–120.
LibreCat: https://research-explorer.ista.ac.at/record/4622
DOI: 10.1145/503209.503226

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

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