Henzinger, M. H. (2000). Web information retrieval - an algorithmic perspective. In 8th Annual European Symposium on Algorithms (Vol. 1879, pp. 1–8). Saarbrücken, Germany: Springer Nature.https://doi.org/10.1007/3-540-45253-2_1 

Henzinger, M. H. (2000). Improved data structures for fully dynamic biconnectivity. SIAM Journal on Computing. Society for Industrial &; Applied Mathematics.https://doi.org/10.1137/s0097539794263907 

De Alfaro, L., Henzinger, T. A., &; Mang, F. (2000). The control of synchronous systems. In Proceedings of the 11th International Conference on Concurrency Theory (Vol. 1877, pp. 458–473). University Park, PA, USA: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/3-540-44618-4_33 

Henzinger, T. A. (2000). Masaccio: A formal model for embedded components. In Proceedings of the 1st International Conference on Theoretical Computer Science  (Vol. 1872, pp. 549–563). Sendai, Japan: Springer.https://doi.org/10.1007/3-540-44929-9_38 

Henzinger, T. A., Majumdar, R., Mang, F., &; Raskin, J. (2000). Abstract interpretation of game properties. In Proceedings of the 7th International Symposium on Static Analysis (Vol. 1824, pp. 220–239). Santa Barbara, CA, USA: Springer.https://doi.org/10.1007/978-3-540-45099-3_12 

Henzinger, T. A., Horowitz, B., Majumdar, R., &; Wong Toi, H. (2000). Beyond HyTech: Hybrid systems analysis using interval numerical methods. In Proceedings of the 3rd International Workshop on Hybrid Systems (Vol. 1790, pp. 130–144). Pittsburgh, PA, USA: Springer.https://doi.org/10.1007/3-540-46430-1_14 

Henzinger, T. A. (2000). The theory of hybrid automata. In M. Inan &; R. Kurshan (Eds.), Verification of Digital and Hybrid Systems (Vol. 170, pp. 265–292). Springer.https://doi.org/10.1007/978-3-642-59615-5 

Henzinger, T. A., &; Rajamani, S. (2000). Fair bisimulation. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1785, pp. 299–314). Berlin, Germany: Springer.https://doi.org/10.1007/3-540-46419-0_21 

Henzinger, T. A., &; Majumdar, R. (2000). A classification of symbolic transition systems. In Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science (Vol. 1770, pp. 13–34). Lille, France: Springer.https://doi.org/10.1007/3-540-46541-3_2 

Henzinger, T. A., &; Majumdar, R. (2000). Symbolic model checking for rectangular hybrid systems. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1785, pp. 142–156). Berlin, Germany: Springer.https://doi.org/10.1007/3-540-46419-0_11 

Henzinger, T. A., &; Raskin, J. (2000). Robust undecidability of timed and hybrid systems. In Proceedings of the 3rd International Workshop on Hybrid Systems (Vol. 1790, pp. 145–159). Pittsburgh, PA, USA: Springer.https://doi.org/10.1007/3-540-46430-1_15 

Heisenberg, C.-P. J., Tada, M., Rauch, G., Saúde, L., Concha, M., Geisler, R.,https://doi.org/10.1038/35011068__Wilson, S. (2000). Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation. Nature. Nature Publishing Group.https://doi.org/10.1038/35011068 

Cheng, S., Dey, T., Edelsbrunner, H., Facello, M., &; Teng, S. (2000). Sliver exudation. Journal of the ACM. ACM.https://doi.org/10.1145/355483.355487 

Edelsbrunner, H., &; Grayson, D. (2000). Edgewise subdivision of a simplex. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s004540010063 

Edelsbrunner, H., Li, X., Miller, G., Stathopoulos, A., Talmor, D., Teng, S.,https://doi.org/10.1145/335305.335338__Walkington, N. (2000). Smoothing and cleaning up slivers. In Proceedings of the 32nd annual ACM symposium on Theory of computing (pp. 273–277). Portland, OR, USA: ACM.https://doi.org/10.1145/335305.335338 

Geiger, J., &; Jonas, P. M. (2000). Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons. Neuron. Elsevier.https://doi.org/10.1016/S0896-6273(00)00164-1 

Erdös, L. (2000). The kernel of Dirac operators onhttps://doi.org/10.1090/amsip/016__and . In Differential Equations and Mathematical Physics (Vol. 16, pp. 111–119). American Mathematical Society.https://doi.org/10.1090/amsip/016 

Fürst, J., Jakab, M., König, M., Ritter, M., Gschwentner, M., Rudzki, J.,https://doi.org/10.1159/000016374__Paulmichl, M. (2000). Structure and Function of the Ion Channel ICln. Cellular Physiology and Biochemistry. S. Karger AG.https://doi.org/10.1159/000016374 

Hausel, T., Makai, E., &; Szücs, A. (2000). Inscribing cubes and covering by rhombic dodecahedra via equivariant topology. Mathematika. University College London.https://doi.org/10.1112/S0025579300015965 

Macogonkosza, M., Przyborowski, J., Klajn, R., &; Kwast, A. (2000). Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles. Synlett. Georg Thieme Verlag.https://doi.org/10.1055/s-2000-8670