R. Alur, T. A. Henzinger, G. Lafferriere, and G. Pappas, “Discrete abstractions of hybrid systems,” Proceedings of the IEEE, vol. 88, no. 7. IEEE, pp. 971–984, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/4598
DOI: 10.1109/5.871304 

T. A. Henzinger, R. Majumdar, F. Mang, and J. Raskin, “Abstract interpretation of game properties,” in Proceedings of the 7th International Symposium on Static Analysis, Santa Barbara, CA, USA, 2000, vol. 1824, pp. 220–239.
LibreCat: https://research-explorer.ista.ac.at/record/4482
DOI: 10.1007/978-3-540-45099-3_12

T. A. Henzinger, B. Horowitz, R. Majumdar, and H. Wong Toi, “Beyond HyTech: Hybrid systems analysis using interval numerical methods,” in Proceedings of the 3rd International Workshop on Hybrid Systems, Pittsburgh, PA, USA, 2000, vol. 1790, pp. 130–144.
LibreCat: https://research-explorer.ista.ac.at/record/4481
DOI: 10.1007/3-540-46430-1_14

T. A. Henzinger, S. Qadeer, and S. Rajamani, “Decomposing refinement proofs using assume-guarantee reasoning,” in Proceedings of the 2000 International Conference on Computer-Aided Design, San Jose, CA, USA, 2000, pp. 245–252.
LibreCat: https://research-explorer.ista.ac.at/record/4483
DOI: 10.1109/ICCAD.2000.896481

T. A. Henzinger, “The theory of hybrid automata,” in Verification of Digital and Hybrid Systems, vol. 170, M. Inan and R. Kurshan, Eds. Springer, 2000, pp. 265–292.
LibreCat: https://research-explorer.ista.ac.at/record/4513
DOI: 10.1007/978-3-642-59615-5

T. A. Henzinger and S. Rajamani, “Fair bisimulation,” in Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Berlin, Germany, 2000, vol. 1785, pp. 299–314.
LibreCat: https://research-explorer.ista.ac.at/record/4433
DOI: 10.1007/3-540-46419-0_21

T. A. Henzinger and R. Majumdar, “A classification of symbolic transition systems,” in Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, 2000, vol. 1770, pp. 13–34.
LibreCat: https://research-explorer.ista.ac.at/record/4439
DOI: 10.1007/3-540-46541-3_2

T. A. Henzinger and R. Majumdar, “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, Berlin, Germany, 2000, vol. 1785, pp. 142–156.
LibreCat: https://research-explorer.ista.ac.at/record/4435
DOI: 10.1007/3-540-46419-0_11

T. A. Henzinger and J. Raskin, “Robust undecidability of timed and hybrid systems,” in Proceedings of the 3rd International Workshop on Hybrid Systems, Pittsburgh, PA, USA, 2000, vol. 1790, pp. 145–159.
LibreCat: https://research-explorer.ista.ac.at/record/4434
DOI: 10.1007/3-540-46430-1_15

N. H. Barton, “Population genetics of multiple loci,” Genetics Research, vol. 75, no. 3. Cambridge University Press, pp. 371–373, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/4276
DOI: 10.1017/S0016672300239220

N. H. Barton and M. Shpak, “The effects of epistasis on the structure of hybrid zones,” Genetical Research, vol. 75, no. 2. Cambridge University Press, pp. 179–198, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/4271
DOI: 10.1017/S0016672399004334
PMID: 10816975

N. H. Barton, “Genetic hitchhiking,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 355, no. 1403. Royal Society of London, pp. 1553–1562, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/4274
DOI: 10.1098/rstb.2000.0716
PMID: 11127900

N. H. Barton and M. Shpak, “The stability of symmetrical solutions to polygenic models,” Theoretical Population Biology, vol. 57, no. 3. Academic Press, pp. 249–263, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/4272
DOI: 10.1006/tpbi.2000.1455
PMID: 10828217

N. H. Barton and L. Partridge, “Limits to natural selection,” BioEssays, vol. 22, no. 12. Wiley-Blackwell, pp. 1075–1084, 2000.
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

J. Coyne, N. H. Barton, and M. Turelli, “Is Wright’s shifting balance process important in evolution?,” Evolution; International Journal of Organic Evolution, vol. 54, no. 1. Wiley-Blackwell, pp. 306–317, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/4269
DOI: 10.1554/0014-3820(2000)054[0306:IWSSBP]2.0.CO;2
PMID: 10937209

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

C.-P. J. Heisenberg et al., “Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation,” Nature, vol. 405, no. 6782. Nature Publishing Group, pp. 76–81, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/4197
DOI: 10.1038/35011068
PMID: 10811221 

P. Sordino et al., “A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata),” Sarsia, vol. 85, no. 2. Taylor &; Francis, pp. 173–176, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/4147
DOI: 10.1080/00364827.2000.10414567

N. Galtier, F. Depaulis, and N. H. Barton, “Detecting bottlenecks and selective sweeps from DNA sequence polymorphism,” Genetics, vol. 155, no. 2. Genetics Society of America, pp. 981–987, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/4270
DOI: 10.1093/genetics/155.2.981
PMID: 10835415

L. Partridge and N. H. Barton, “Evolving evolvability,” Nature, vol. 407, no. 6803. Nature Publishing Group, pp. 457–458, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/4268
DOI: 10.1038/35035173