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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
Conference Paper |
IST-REx-ID: 4481
Henzinger TA, Horowitz B, Majumdar R, Wong Toi H. Beyond HyTech: Hybrid systems analysis using interval numerical methods. In: Proceedings of the 3rd International Workshop on Hybrid Systems. Vol 1790. Springer; 2000:130-144. doi:10.1007/3-540-46430-1_14
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4482
Henzinger TA, Majumdar R, Mang F, Raskin J. Abstract interpretation of game properties. In: Proceedings of the 7th International Symposium on Static Analysis. Vol 1824. Springer; 2000:220-239. doi:10.1007/978-3-540-45099-3_12
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4483
Henzinger TA, Qadeer S, Rajamani S. Decomposing refinement proofs using assume-guarantee reasoning. In: Proceedings of the 2000 International Conference on Computer-Aided Design. IEEE; 2000:245-252. doi:10.1109/ICCAD.2000.896481
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4512
Henzinger TA. Masaccio: A formal model for embedded components. In: Proceedings of the 1st International Conference on Theoretical Computer Science . Vol 1872. Springer; 2000:549-563. doi:10.1007/3-540-44929-9_38
View
| DOI
2000 |
Published |
Book Chapter |
IST-REx-ID: 4513
Henzinger TA. The theory of hybrid automata. In: Inan M, Kurshan R, eds. Verification of Digital and Hybrid Systems. Vol 170. Springer; 2000:265-292. doi:10.1007/978-3-642-59615-5
View
| DOI