Kaloshin, V. (2000). Generic diffeomorphisms with superexponential growth of number of periodic orbits. Communications in Mathematical Physics. Springer Nature.https://doi.org/10.1007/s002200050811 

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 

De Alfaro, L., Henzinger, T. A., &; Mang, F. (2000). Detecting errors before reaching them. In Proceedings of the 12th International Conference on Computer Aided Verification (Vol. 1855, pp. 186–201). Chicago, IL, USA: Springer.https://doi.org/10.1007/10722167_17 

De Alfaro, L., &; Henzinger, T. A. (2000). Concurrent omega-regular games. In Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science (pp. 141–154). Santa Barbara, CA, USA: IEEE.https://doi.org/10.1109/LICS.2000.855763 

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 

Alur, R., Henzinger, T. A., Lafferriere, G., &; Pappas, G. (2000). Discrete abstractions of hybrid systems. Proceedings of the IEEE. IEEE.https://doi.org/10.1109/5.871304  

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., Qadeer, S., &; Rajamani, S. (2000). Decomposing refinement proofs using assume-guarantee reasoning. In Proceedings of the 2000 International Conference on Computer-Aided Design (pp. 245–252). San Jose, CA, USA: IEEE.https://doi.org/10.1109/ICCAD.2000.896481 

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 

Barton, N. H. (2000). Population genetics of multiple loci. Genetics Research. Cambridge University Press.https://doi.org/10.1017/S0016672300239220 

Barton, N. H., &; Shpak, M. (2000). The effects of epistasis on the structure of hybrid zones. Genetical Research. Cambridge University Press.https://doi.org/10.1017/S0016672399004334 

Barton, N. H. (2000). Genetic hitchhiking. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society of London.https://doi.org/10.1098/rstb.2000.0716 

Barton, N. H., &; Shpak, M. (2000). The stability of symmetrical solutions to polygenic models. Theoretical Population Biology. Academic Press.https://doi.org/10.1006/tpbi.2000.1455 

Barton, N. H., &; Partridge, L. (2000). Limits to natural selection. BioEssays. Wiley-Blackwell.https://doi.org/10.1002/1521-1878(200012)22:12&#38;lt;1075::AID-BIES5&#38;gt;3.0.CO;2-M 

Coyne, J., Barton, N. H., &; Turelli, M. (2000). Is Wright’s shifting balance process important in evolution? Evolution; International Journal of Organic Evolution. Wiley-Blackwell.https://doi.org/10.1554/0014-3820(2000)054[0306:IWSSBP]2.0.CO;2