Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
75 Publications
2000 | Conference Paper | IST-REx-ID: 4433
Henzinger TA, Rajamani S. Fair bisimulation. In: Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 1785. Springer; 2000:299-314. doi:10.1007/3-540-46419-0_21
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4439
Henzinger TA, Majumdar R. A classification of symbolic transition systems. In: Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science. Vol 1770. Springer; 2000:13-34. doi:10.1007/3-540-46541-3_2
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4435
Henzinger TA, Majumdar R. 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. Springer; 2000:142-156. doi:10.1007/3-540-46419-0_11
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4434
Henzinger TA, Raskin J. Robust undecidability of timed and hybrid systems. In: Proceedings of the 3rd International Workshop on Hybrid Systems. Vol 1790. Springer; 2000:145-159. doi:10.1007/3-540-46430-1_15
View
| DOI
2000 | Book Review | IST-REx-ID: 4276
Barton NH. Population genetics of multiple loci. Genetics Research. 2000;75(3):371-373. doi:10.1017/S0016672300239220
View
| DOI
| Download None (ext.)
2000 | Journal Article | IST-REx-ID: 4271
Barton NH, Shpak M. The effects of epistasis on the structure of hybrid zones. Genetical Research. 2000;75(2):179-198. doi:10.1017/S0016672399004334
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4274 | 
Barton NH. Genetic hitchhiking. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2000;355(1403):1553-1562. doi:10.1098/rstb.2000.0716
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4272
Barton NH, Shpak M. The stability of symmetrical solutions to polygenic models. Theoretical Population Biology. 2000;57(3):249-263. doi:10.1006/tpbi.2000.1455
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4273
Barton NH, Partridge L. Limits to natural selection. BioEssays. 2000;22(12):1075-1084. doi:10.1002/1521-1878(200012)22:12<1075::AID-BIES5>3.0.CO;2-M
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4269
Coyne J, Barton NH, Turelli M. Is Wright’s shifting balance process important in evolution? Evolution; International Journal of Organic Evolution. 2000;54(1):306-317. doi:10.1554/0014-3820(2000)054[0306:IWSSBP]2.0.CO;2
View
| DOI
| PubMed | Europe PMC
2000 | Book Chapter | IST-REx-ID: 4275
Barton NH. Differentiation. In: Encyclopedia of Biodiversity. Academic Press; 2000:85-94. doi:10.1016/B0-12-226865-2/00070-5
View
| DOI
2000 | Journal Article | IST-REx-ID: 4197
Heisenberg C-PJ, Tada M, Rauch G, et al. Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation. Nature. 2000;405(6782):76-81. doi:10.1038/35011068
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4147
Sordino P, Heisenberg C-PJ, Cirino P, et al. A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata). Sarsia. 2000;85(2):173-176. doi:10.1080/00364827.2000.10414567
View
| DOI
2000 | Journal Article | IST-REx-ID: 4270 |
Galtier N, Depaulis F, Barton NH. Detecting bottlenecks and selective sweeps from DNA sequence polymorphism. Genetics. 2000;155(2):981-987. doi:10.1093/genetics/155.2.981
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2000 | Book Review | IST-REx-ID: 4268
Partridge L, Barton NH. Evolving evolvability. Nature. 2000;407(6803):457-458. doi:10.1038/35035173
View
| DOI
2000 | Journal Article | IST-REx-ID: 4009
Edelsbrunner H, Waupotitsch R. Adaptive simplicial grids from cross-sections of monotone complexes. International Journal of Computational Geometry and Applications. 2000;10(3):267-284. doi:10.1142/S0218195900000164
View
| DOI
2000 | Journal Article | IST-REx-ID: 4010
Cheng S, Dey T, Edelsbrunner H, Facello M, Teng S. Sliver exudation. Journal of the ACM. 2000;47(5):883-904. doi:10.1145/355483.355487
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4008
Edelsbrunner H, Letscher D, Zomorodian A. Topological persistance and simplification. In: Proceedings 41st Annual Symposium on Foundations of Computer Science. IEEE; 2000:454-463. doi:10.1109/SFCS.2000.892133
View
| DOI
2000 | Journal Article | IST-REx-ID: 3624
Barton NH. Estimating multilocus linkage disequilibria. Heredity. 2000;84(3):373-389. doi:10.1046/j.1365-2540.2000.00683.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3798
Jonas PM. The time course of signaling at central glutamatergic synapses. Physiology. 2000;15(2):83-89. doi:10.1152/physiologyonline.2000.15.2.83
View
| DOI
| PubMed | Europe PMC