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  .
LibreCat: https://research-explorer.ista.ac.at/record/4598
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4482
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4481
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4483
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4513
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4433
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4439
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4435
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4434
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4276
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4271
DOI: 10.1017/S0016672399004334
PMID: 10816975

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 .
LibreCat: https://research-explorer.ista.ac.at/record/4274
DOI: 10.1098/rstb.2000.0716
PMID: 11127900

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 .
LibreCat: https://research-explorer.ista.ac.at/record/4272
DOI: 10.1006/tpbi.2000.1455
PMID: 10828217

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 .
LibreCat: https://research-explorer.ista.ac.at/record/4273
DOI: 10.1002/1521-1878(200012)22:12&lt;1075::AID-BIES5&gt;3.0.CO;2-M
PMID: 11084623

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 .
LibreCat: https://research-explorer.ista.ac.at/record/4269
DOI: 10.1554/0014-3820(2000)054[0306:IWSSBP]2.0.CO;2
PMID: 10937209

Barton, Nicholas H. “Differentiation.”https://doi.org/10.1016/B0-12-226865-2/00070-5__In Encyclopedia of Biodiversity, 85–94. Academic Press, 2000.https://doi.org/10.1016/B0-12-226865-2/00070-5 .
LibreCat: https://research-explorer.ista.ac.at/record/4275
DOI: 10.1016/B0-12-226865-2/00070-5

Heisenberg, Carl-Philipp J, Masazumi Tada, Gerd Rauch, Leonor Saúde, Miguel Concha, Robert Geisler, Derek Stemple, James Smith, and Stephen Wilson. “Silberblick/Wnt11 Mediates Convergent Extension Movements during Zebrafish Gastrulation.”https://doi.org/10.1038/35011068__Nature. Nature Publishing Group, 2000.https://doi.org/10.1038/35011068 .
LibreCat: https://research-explorer.ista.ac.at/record/4197
DOI: 10.1038/35011068
PMID: 10811221 

Sordino, Paolo, Carl-Philipp J Heisenberg, Paola Cirino, Alfonso Toscano, Paola Giuliano, Rita Marino, Maria Pinto, and Rosaria De Santis. “A Mutational Approach to the Study of Development of the Protochordate Ciona Intestinalis (Tunicata, Chordata).”https://doi.org/10.1080/00364827.2000.10414567__Sarsia. Taylor &; Francis, 2000.https://doi.org/10.1080/00364827.2000.10414567 .
LibreCat: https://research-explorer.ista.ac.at/record/4147
DOI: 10.1080/00364827.2000.10414567

Galtier, Nicolas, Frantz Depaulis, and Nicholas H Barton. “Detecting Bottlenecks and Selective Sweeps from DNA Sequence Polymorphism.”https://doi.org/10.1093/genetics/155.2.981__Genetics. Genetics Society of America, 2000.https://doi.org/10.1093/genetics/155.2.981 .
LibreCat: https://research-explorer.ista.ac.at/record/4270
DOI: 10.1093/genetics/155.2.981
PMID: 10835415

Partridge, Linda, and Nicholas H Barton. “Evolving Evolvability.”https://doi.org/10.1038/35035173__Nature. Nature Publishing Group, 2000.https://doi.org/10.1038/35035173 .
LibreCat: https://research-explorer.ista.ac.at/record/4268
DOI: 10.1038/35035173