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.

6224 Publications


2000 | Journal Article | IST-REx-ID: 4147
Sordino P, Heisenberg C-PJ, Cirino P, Toscano A, Giuliano P, Marino R, Pinto M, De Santis R. 2000. A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata). Sarsia. 85(2), 173–176.
View
 

2000 | Journal Article | IST-REx-ID: 4197
Heisenberg C-PJ, Tada M, Rauch G, Saúde L, Concha M, Geisler R, Stemple D, Smith J, Wilson S. 2000. Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation. Nature. 405(6782), 76–81.
View | DOI
 

2000 | Book Review | IST-REx-ID: 4268
Partridge L, Barton NH. 2000. Evolving evolvability. Nature. 407(6803), 457–458.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4269
Coyne J, Barton NH, Turelli M. 2000. Is Wright’s shifting balance process important in evolution? Evolution; International Journal of Organic Evolution. 54(1), 306–317.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4270
Galtier N, Depaulis F, Barton NH. 2000. Detecting bottlenecks and selective sweeps from DNA sequence polymorphism. Genetics. 155(2), 981–987.
View
 

2000 | Journal Article | IST-REx-ID: 4271
Barton NH, Shpak M. 2000. The effects of epistasis on the structure of hybrid zones. Genetical Research. 75(2), 179–198.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4272
Barton NH, Shpak M. 2000. The stability of symmetrical solutions to polygenic models. Theoretical Population Biology. 57(3), 249–263.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4273
Barton NH, Partridge L. 2000. Limits to natural selection. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. 22(12), 1075–1084.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4274 | OA
Barton NH. 2000. Genetic hitchhiking. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 355(1403), 1553–1562.
View | DOI | Download (ext.)
 

2000 | Book Chapter | IST-REx-ID: 4275
Barton NH. 2000.Differentiation. In: Encyclopedia of Biodiversity. , 85–94.
View | DOI
 

2000 | Book Review | IST-REx-ID: 4276
Barton NH. 2000. Population genetics of multiple loci. Genetical Research. 75(3), 371–373.
View
 

2000 | Conference Paper | IST-REx-ID: 4433
Henzinger TA, Rajamani S. 2000. Fair bisimulation. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1785, 299–314.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
Henzinger TA, Raskin J. 2000. Robust undecidability of timed and hybrid systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 1790, 145–159.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
Henzinger TA, Majumdar R. 2000. Symbolic model checking for rectangular hybrid systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1785, 142–156.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
Henzinger TA, Majumdar R. 2000. A classification of symbolic transition systems. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 1770, 13–34.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4481
Henzinger TA, Horowitz B, Majumdar R, Wong Toi H. 2000. Beyond HyTech: Hybrid systems analysis using interval numerical methods. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 1790, 130–144.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4482
Henzinger TA, Majumdar R, Mang F, Raskin J. 2000. Abstract interpretation of game properties. SAS: Static Analysis Symposium, LNCS, vol. 1824, 220–239.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
Henzinger TA, Qadeer S, Rajamani S. 2000. Decomposing refinement proofs using assume-guarantee reasoning. ICCAD: Computer-Aided Design, 245–252.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
Henzinger TA. 2000. Masaccio: A formal model for embedded components. TCS: Theoretical Computer Science, LNCS, vol. 1872, 549–563.
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
Henzinger TA. 2000.The theory of hybrid automata. In: Verification of Digital and Hybrid Systems. NATO ASI Series F: Computer and Systems Sciences, vol. 170, 265–292.
View
 

Search

Filter Publications