Kaloshin, Vadim. “Generic Diffeomorphisms with Superexponential Growth of Number of Periodic Orbits.”https://doi.org/10.1007/s002200050811__Communications in Mathematical Physics. Springer Nature, 2000.https://doi.org/10.1007/s002200050811 .

De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems.”https://doi.org/10.1007/3-540-44618-4_33__In Proceedings of the 11th International Conference on Concurrency Theory, 1877:458–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000.https://doi.org/10.1007/3-540-44618-4_33 .

De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “Detecting Errors before Reaching Them.”https://doi.org/10.1007/10722167_17__In Proceedings of the 12th International Conference on Computer Aided Verification, 1855:186–201. Springer, 2000.https://doi.org/10.1007/10722167_17 .

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

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

Alur, Rajeev, Thomas A Henzinger, Gerardo Lafferriere, and George Pappas. “Discrete Abstractions of Hybrid Systems.”https://doi.org/10.1109/5.871304 __Proceedings of the IEEE. IEEE, 2000.https://doi.org/10.1109/5.871304  .

Henzinger, Thomas A, Ritankar Majumdar, Freddy Mang, and Jean Raskin. “Abstract Interpretation of Game Properties.”https://doi.org/10.1007/978-3-540-45099-3_12__In Proceedings of the 7th International Symposium on Static Analysis, 1824:220–39. Springer, 2000.https://doi.org/10.1007/978-3-540-45099-3_12 .

Henzinger, Thomas A, Benjamin Horowitz, Ritankar Majumdar, and Howard Wong Toi. “Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods.”https://doi.org/10.1007/3-540-46430-1_14__In Proceedings of the 3rd International Workshop on Hybrid Systems, 1790:130–44. Springer, 2000.https://doi.org/10.1007/3-540-46430-1_14 .

Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Decomposing Refinement Proofs Using Assume-Guarantee Reasoning.”https://doi.org/10.1109/ICCAD.2000.896481__In Proceedings of the 2000 International Conference on Computer-Aided Design, 245–52. IEEE, 2000.https://doi.org/10.1109/ICCAD.2000.896481 .

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

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

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

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

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

Barton, Nicholas H. “Population Genetics of Multiple Loci.”https://doi.org/10.1017/S0016672300239220__Genetics Research. Cambridge University Press, 2000.https://doi.org/10.1017/S0016672300239220 .

Barton, Nicholas H, and Max Shpak. “The Effects of Epistasis on the Structure of Hybrid Zones.”https://doi.org/10.1017/S0016672399004334__Genetical Research. Cambridge University Press, 2000.https://doi.org/10.1017/S0016672399004334 .

Barton, Nicholas H. “Genetic Hitchhiking.”https://doi.org/10.1098/rstb.2000.0716__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society of London, 2000.https://doi.org/10.1098/rstb.2000.0716 .

Barton, Nicholas H, and Max Shpak. “The Stability of Symmetrical Solutions to Polygenic Models.”https://doi.org/10.1006/tpbi.2000.1455__Theoretical Population Biology. Academic Press, 2000.https://doi.org/10.1006/tpbi.2000.1455 .

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

Coyne, Jerry, Nicholas H Barton, and Michael Turelli. “Is Wright’s Shifting Balance Process Important in Evolution?”https://doi.org/10.1554/0014-3820(2000)054[0306:IWSSBP]2.0.CO;2__Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2000.https://doi.org/10.1554/0014-3820(2000)054[0306:IWSSBP]2.0.CO;2 .