Kaloshin, Vadim. “Generic Diffeomorphisms with Superexponential Growth of Number of Periodic Orbits.”10.1007/s002200050811__Communications in Mathematical Physics, vol. 211, Springer Nature, 2000, pp. 253–71, doi:10.1007/s002200050811.

De Alfaro, Luca, et al. “The Control of Synchronous Systems.”10.1007/3-540-44618-4_33__Proceedings of the 11th International Conference on Concurrency Theory, vol. 1877, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–73, doi:10.1007/3-540-44618-4_33.

De Alfaro, Luca, et al. “Detecting Errors before Reaching Them.”10.1007/10722167_17__Proceedings of the 12th International Conference on Computer Aided Verification, vol. 1855, Springer, 2000, pp. 186–201, doi:10.1007/10722167_17.

De Alfaro, Luca, and Thomas A. Henzinger. “Concurrent Omega-Regular Games.”10.1109/LICS.2000.855763__Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2000, pp. 141–54, doi:10.1109/LICS.2000.855763.

Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.”10.1007/3-540-44929-9_38__Proceedings of the 1st International Conference on Theoretical Computer Science , vol. 1872, Springer, 2000, pp. 549–63, doi:10.1007/3-540-44929-9_38.

Alur, Rajeev, et al. “Discrete Abstractions of Hybrid Systems.”10.1109/5.871304 __Proceedings of the IEEE, vol. 88, no. 7, IEEE, 2000, pp. 971–84, doi:10.1109/5.871304 .

Henzinger, Thomas A., et al. “Abstract Interpretation of Game Properties.”10.1007/978-3-540-45099-3_12__Proceedings of the 7th International Symposium on Static Analysis, vol. 1824, Springer, 2000, pp. 220–39, doi:10.1007/978-3-540-45099-3_12.

Henzinger, Thomas A., et al. “Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods.”10.1007/3-540-46430-1_14__Proceedings of the 3rd International Workshop on Hybrid Systems, vol. 1790, Springer, 2000, pp. 130–44, doi:10.1007/3-540-46430-1_14.

Henzinger, Thomas A., et al. “Decomposing Refinement Proofs Using Assume-Guarantee Reasoning.”10.1109/ICCAD.2000.896481__Proceedings of the 2000 International Conference on Computer-Aided Design, IEEE, 2000, pp. 245–52, doi:10.1109/ICCAD.2000.896481.

Henzinger, Thomas A. “The Theory of Hybrid Automata.”10.1007/978-3-642-59615-5__Verification of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, vol. 170, Springer, 2000, pp. 265–92, doi:10.1007/978-3-642-59615-5.

Henzinger, Thomas A., and Sriram Rajamani. “Fair Bisimulation.”10.1007/3-540-46419-0_21__Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1785, Springer, 2000, pp. 299–314, doi:10.1007/3-540-46419-0_21.

Henzinger, Thomas A., and Ritankar Majumdar. “A Classification of Symbolic Transition Systems.”10.1007/3-540-46541-3_2__Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, vol. 1770, Springer, 2000, pp. 13–34, doi:10.1007/3-540-46541-3_2.

Henzinger, Thomas A., and Ritankar Majumdar. “Symbolic Model Checking for Rectangular Hybrid Systems.”10.1007/3-540-46419-0_11__Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1785, Springer, 2000, pp. 142–56, doi:10.1007/3-540-46419-0_11.

Henzinger, Thomas A., and Jean Raskin. “Robust Undecidability of Timed and Hybrid Systems.”10.1007/3-540-46430-1_15__Proceedings of the 3rd International Workshop on Hybrid Systems, vol. 1790, Springer, 2000, pp. 145–59, doi:10.1007/3-540-46430-1_15.

Barton, Nicholas H. “Population Genetics of Multiple Loci.”10.1017/S0016672300239220__Genetics Research, vol. 75, no. 3, Cambridge University Press, 2000, pp. 371–73, doi:10.1017/S0016672300239220.

Barton, Nicholas H., and Max Shpak. “The Effects of Epistasis on the Structure of Hybrid Zones.”10.1017/S0016672399004334__Genetical Research, vol. 75, no. 2, Cambridge University Press, 2000, pp. 179–98, doi:10.1017/S0016672399004334.

Barton, Nicholas H. “Genetic Hitchhiking.”10.1098/rstb.2000.0716__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 355, no. 1403, Royal Society of London, 2000, pp. 1553–62, doi:10.1098/rstb.2000.0716.

Barton, Nicholas H., and Max Shpak. “The Stability of Symmetrical Solutions to Polygenic Models.”10.1006/tpbi.2000.1455__Theoretical Population Biology, vol. 57, no. 3, Academic Press, 2000, pp. 249–63, doi:10.1006/tpbi.2000.1455.

Barton, Nicholas H., and Linda Partridge. “Limits to Natural Selection.”10.1002/1521-1878(200012)22:12&#38;lt;1075::AID-BIES5&#38;gt;3.0.CO;2-M__BioEssays, vol. 22, no. 12, Wiley-Blackwell, 2000, pp. 1075–84, doi:10.1002/1521-1878(200012)22:12&#38;lt;1075::AID-BIES5&#38;gt;3.0.CO;2-M.

Coyne, Jerry, et al. “Is Wright’s Shifting Balance Process Important in Evolution?”10.1554/0014-3820(2000)054[0306:IWSSBP]2.0.CO;2__Evolution; International Journal of Organic Evolution, vol. 54, no. 1, Wiley-Blackwell, 2000, pp. 306–17, doi:10.1554/0014-3820(2000)054[0306:IWSSBP]2.0.CO;2.