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.

5772 Publications


1996 | Journal Article | IST-REx-ID: 4220 | OA
Genetic analysis of fin formation in the zebrafish, Danio rerio
F. Van Eeden, M. Granato, U. Schach, M. Brand, M. Furutani Seiki, P. Haffter, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, R. Warga, C. Nüsslein Volhard, Development 123 (1996) 255–262.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Book Chapter | IST-REx-ID: 4295 | OA
Speciation: more than the sum of its parts
N.H. Barton, in:, Current Biology, Cell Press, 1996, pp. 1244–1246.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4611 | OA
Automatic symbolic verification of embedded systems
R. Alur, T.A. Henzinger, P. Ho, IEEE Transactions on Software Engineering 22 (1996) 181–201.
[Published Version] View | DOI | Download Published Version (ext.)
 

1996 | Journal Article | IST-REx-ID: 6161 | OA [Published Version] View | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Conference Paper | IST-REx-ID: 11928 | OA
Average case analysis of dynamic graph algorithms
D. Alberts, M.H. Henzinger, in:, 6th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1995, pp. 312–321.
[Published Version] View | Files available | Download Published Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications