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.
9191 Publications
2000 | Conference Paper | IST-REx-ID: 4481
Henzinger, T. A., Horowitz, B., Majumdar, R., & Wong Toi, H. (2000). Beyond HyTech: Hybrid systems analysis using interval numerical methods. In Proceedings of the 3rd International Workshop on Hybrid Systems (Vol. 1790, pp. 130–144). Pittsburgh, PA, USA: Springer. https://doi.org/10.1007/3-540-46430-1_14
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4483
Henzinger, T. A., Qadeer, S., & Rajamani, S. (2000). Decomposing refinement proofs using assume-guarantee reasoning. In Proceedings of the 2000 International Conference on Computer-Aided Design (pp. 245–252). San Jose, CA, USA: IEEE. https://doi.org/10.1109/ICCAD.2000.896481
View
| DOI
2000 | Book Chapter | IST-REx-ID: 4513
Henzinger, T. A. (2000). The theory of hybrid automata. In M. Inan & R. Kurshan (Eds.), Verification of Digital and Hybrid Systems (Vol. 170, pp. 265–292). Springer. https://doi.org/10.1007/978-3-642-59615-5
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4433
Henzinger, T. A., & Rajamani, S. (2000). Fair bisimulation. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1785, pp. 299–314). Berlin, Germany: Springer. https://doi.org/10.1007/3-540-46419-0_21
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4439
Henzinger, T. A., & Majumdar, R. (2000). A classification of symbolic transition systems. In Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science (Vol. 1770, pp. 13–34). Lille, France: Springer. https://doi.org/10.1007/3-540-46541-3_2
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, T. A., & Majumdar, R. (2000). 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, pp. 142–156). Berlin, Germany: Springer. https://doi.org/10.1007/3-540-46419-0_11
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4434
Henzinger, T. A., & Raskin, J. (2000). Robust undecidability of timed and hybrid systems. In Proceedings of the 3rd International Workshop on Hybrid Systems (Vol. 1790, pp. 145–159). Pittsburgh, PA, USA: Springer. https://doi.org/10.1007/3-540-46430-1_15
View
| DOI
2000 | Book Review | IST-REx-ID: 4276
Barton, N. H. (2000). Population genetics of multiple loci. Genetics Research. Cambridge University Press. https://doi.org/10.1017/S0016672300239220
View
| DOI
| Download None (ext.)
2000 | Journal Article | IST-REx-ID: 4271
Barton, N. H., & Shpak, M. (2000). The effects of epistasis on the structure of hybrid zones. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672399004334
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4274 | 
Barton, N. H. (2000). Genetic hitchhiking. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society of London. https://doi.org/10.1098/rstb.2000.0716
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4272
Barton, N. H., & Shpak, M. (2000). The stability of symmetrical solutions to polygenic models. Theoretical Population Biology. Academic Press. https://doi.org/10.1006/tpbi.2000.1455
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4273
Barton, N. H., & Partridge, L. (2000). Limits to natural selection. BioEssays. Wiley-Blackwell. https://doi.org/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, N. H., & Turelli, M. (2000). Is Wright’s shifting balance process important in evolution? Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/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, N. H. (2000). Differentiation. In Encyclopedia of Biodiversity (pp. 85–94). Academic Press. https://doi.org/10.1016/B0-12-226865-2/00070-5
View
| DOI
2000 | Journal Article | IST-REx-ID: 4197
Heisenberg, C.-P. J., Tada, M., Rauch, G., Saúde, L., Concha, M., Geisler, R., … Wilson, S. (2000). Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation. Nature. Nature Publishing Group. https://doi.org/10.1038/35011068
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4147
Sordino, P., Heisenberg, C.-P. J., Cirino, P., Toscano, A., Giuliano, P., Marino, R., … De Santis, R. (2000). A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata). Sarsia. Taylor & Francis. https://doi.org/10.1080/00364827.2000.10414567
View
| DOI
2000 | Journal Article | IST-REx-ID: 4270 |
Galtier, N., Depaulis, F., & Barton, N. H. (2000). Detecting bottlenecks and selective sweeps from DNA sequence polymorphism. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/155.2.981
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2000 | Book Review | IST-REx-ID: 4268
Partridge, L., & Barton, N. H. (2000). Evolving evolvability. Nature. Nature Publishing Group. https://doi.org/10.1038/35035173
View
| DOI
2000 | Journal Article | IST-REx-ID: 4009
Edelsbrunner, H., & Waupotitsch, R. (2000). Adaptive simplicial grids from cross-sections of monotone complexes. International Journal of Computational Geometry and Applications. World Scientific Publishing. https://doi.org/10.1142/S0218195900000164
View
| DOI
2000 | Journal Article | IST-REx-ID: 4010
Cheng, S., Dey, T., Edelsbrunner, H., Facello, M., & Teng, S. (2000). Sliver exudation. Journal of the ACM. ACM. https://doi.org/10.1145/355483.355487
View
| DOI