Please note that IST 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.

6400 Publications


2000 | Journal Article | IST-REx-ID: 4270
Galtier, Nicolas, et al. “Detecting Bottlenecks and Selective Sweeps from DNA Sequence Polymorphism.” Genetics, vol. 155, no. 2, Genetics Society of America, 2000, pp. 981–87.
View
 

2000 | Journal Article | IST-REx-ID: 4271
Barton, Nicholas H., and Max Shpak. “The Effects of Epistasis on the Structure of Hybrid Zones.” Genetical Research, vol. 75, no. 2, Cambridge University Press, 2000, pp. 179–98, doi:10.1017/S0016672399004334.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4272
Barton, Nicholas H., and Max Shpak. “The Stability of Symmetrical Solutions to Polygenic Models.” Theoretical Population Biology, vol. 57, no. 3, Academic Press, 2000, pp. 249–63, doi:10.1006/tpbi.2000.1455.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4273
Barton, Nicholas H., and Linda Partridge. “Limits to Natural Selection.” Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology, vol. 22, no. 12, Wiley-Blackwell, 2000, pp. 1075–84, doi:10.1002/1521-1878(200012)22:12<1075::AID-BIES5>3.0.CO;2-M.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4274 | OA
Barton, Nicholas H. “Genetic Hitchhiking.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 355, no. 1403, Royal Society, The, 2000, pp. 1553–62, doi:10.1098/rstb.2000.0716.
View | DOI | Download (ext.)
 

2000 | Book Chapter | IST-REx-ID: 4275
Barton, Nicholas H. “Differentiation.” Encyclopedia of Biodiversity, Academic Press, 2000, pp. 85–94, doi:10.1016/B0-12-226865-2/00070-5.
View | DOI
 

2000 | Book Review | IST-REx-ID: 4276
Barton, Nicholas H. “Population Genetics of Multiple Loci.” Genetical Research, vol. 75, no. 3, Cambridge University Press, 2000, pp. 371–73.
View
 

2000 | Conference Paper | IST-REx-ID: 4433
Henzinger, Thomas A., and Sriram Rajamani. Fair Bisimulation. Vol. 1785, Springer, 2000, pp. 299–314, doi:10.1007/3-540-46419-0_21.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
Henzinger, Thomas A., and Jean Raskin. Robust Undecidability of Timed and Hybrid Systems. Vol. 1790, Springer, 2000, pp. 145–59, doi:10.1007/3-540-46430-1_15.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, Thomas A., and Ritankar Majumdar. Symbolic Model Checking for Rectangular Hybrid Systems. Vol. 1785, Springer, 2000, pp. 142–56, doi:10.1007/3-540-46419-0_11.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
Henzinger, Thomas A., and Ritankar Majumdar. A Classification of Symbolic Transition Systems. Vol. 1770, Springer, 2000, pp. 13–34, doi:10.1007/3-540-46541-3_2.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4481
Henzinger, Thomas A., et al. Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods. Vol. 1790, Springer, 2000, pp. 130–44, doi:10.1007/3-540-46430-1_14.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4482
Henzinger, Thomas A., et al. Abstract Interpretation of Game Properties. Vol. 1824, Springer, 2000, pp. 220–39, doi:10.1007/978-3-540-45099-3_12.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
Henzinger, Thomas A., et al. Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. IEEE, 2000, pp. 245–52, doi:10.1109/ICCAD.2000.896481.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
Henzinger, Thomas A. Masaccio: A Formal Model for Embedded Components. Vol. 1872, Springer, 2000, pp. 549–63, doi:10.1007/3-540-44929-9_38.
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
Henzinger, Thomas A. “The Theory of Hybrid Automata.” Verification of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, vol. 170, Springer, 2000, pp. 265–92.
View
 

2000 | Journal Article | IST-REx-ID: 4598
Alur, Rajeev, et al. “Discrete Abstractions of Hybrid Systems.” Proceedings of the IEEE, vol. 88, no. 7, IEEE, 2000, pp. 971–84, doi:10.1109/5.871304 .
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3149
Hwang, Jae, et al. “Interaction of Drosophila Melanogaster Prohormone Convertase 2 and 7B2: Insect Cell Specific Processing and Secretion.” Journal of Biological Chemistry, vol. 275, no. 23, American Society for Biochemistry and Molecular Biology, 2000, pp. 17886–93, doi:10.1074/jbc.M000032200 .
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3489
Kraushaar, Udo, and Peter M. Jonas. “Efficacy and Stability of Quantal GABA Release at a Hippocampal Interneuron-Principal Neuron Synapse.” Journal of Neuroscience, vol. 20, no. 15, Society for Neuroscience, 2000, pp. 5594–607.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3490
Normann, Claus, et al. “Associative Long-Term Depression in the Hippocampus Is Dependent on Postsynaptic N-Type Ca(2+) Channels.” Journal of Neuroscience, vol. 20, no. 22, Society for Neuroscience, 2000, pp. 8290–97.
View | Download (ext.)
 

Search

Filter Publications