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.

110 Publications

2003 | Journal Article | IST-REx-ID: 4185
Kilian B, Mansukoski H, Barbosa F, Ulrich F, Tada M, Heisenberg C-PJ. The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation. Mechanisms of Development. 2003;120(4):467-476. doi:10.1016/S0925-4773(03)00004-2
View | DOI

2003 | Journal Article | IST-REx-ID: 4240
González J, de Vladar H, Rebolledo M. New Late–Intensification Schedules for Cancer Treatments. Acta Científica Venezolana. 2003;54:263-273. doi:3800
View | DOI

2003 | Thesis | IST-REx-ID: 4416
Majumdar R. Symbolic Algorithms for Verification and Control. University of California, Berkeley; 2003:1-201.

2003 | Thesis | IST-REx-ID: 4425
Horowitz B. Giotto: A Time-Triggered Language for Embedded Programming. University of California, Berkeley; 2003:1-237.

2003 | Journal Article | IST-REx-ID: 8519
Kaloshin V. The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles. Inventiones mathematicae. 2003;151(3):451-512. doi:10.1007/s00222-002-0244-9
View | DOI

Filters and Search Terms



Filter Publications