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 | Conference Paper | IST-REx-ID: 3997
Bremer, P., Edelsbrunner, H., Hamann, B., & Pascucci, V. (2003). A multi-resolution data structure for two-dimensional Morse-Smale functions (pp. 139–146). Presented at the VIS: IEEE Visualization, IEEE. https://doi.org/10.1109/VISUAL.2003.1250365
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3999
Edelsbrunner, H., & Üngör, A. (2003). Relaxed scheduling in dynamic skin triangulation (Vol. 2866, pp. 135–151). Presented at the JCDCG: Japanese Conference on Discrete and Computational Geometry, Springer. https://doi.org/10.1007/978-3-540-44400-8_14
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4146
Ulrich, F., Concha, M., Heid, P., Voss, E., Witzel, S., Roehl, H., … Heisenberg, C.-P. J. (2003). Slb/Wnt11 controls hypoblast cell migration and morphogenesis at the onset of zebrafish gastrulation. Development. Company of Biologists. https://doi.org/10.1242/dev.00758
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4168
Montero, J., & Heisenberg, C.-P. J. (2003). Adhesive crosstalk in gastrulation. Developmental Cell. Cell Press. https://doi.org/10.1016/S1534-5807(03)00235-1
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4169
Montero, J., Kilian, B., Chan, J., Bayliss, P., & Heisenberg, C.-P. J. (2003). Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(03)00505-0
View | DOI
 

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

2003 | Journal Article | IST-REx-ID: 4240
González, J., de Vladar, H., & Rebolledo, M. (2003). New Late–Intensification Schedules for Cancer Treatments. Acta Científica Venezolana. Asociación Venezolana para el Avance de la Ciencia. https://doi.org/3800
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4254
Navarro, A., & Barton, N. H. (2003). Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.0014-3820.2003.tb01537.x
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4255
Navarro, A., & Barton, N. H. (2003). Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1080600
View | DOI
 

2003 | Book Review | IST-REx-ID: 4256
Barton, N. H., & Zuidema, W. (2003). The erratic path towards complexity. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(03)00573-6
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4257
Charlesworth, B., Charlesworth, D., & Barton, N. H. (2003). The effects of genetic and geographic structure on neutral variation. Annual Review of Ecology and Systematics. Annual Reviews. https://doi.org/10.1146/annurev.ecolsys.34.011802.132359
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4338
Vines, T., Kohler, S. C., Thiel, M., Ghira, I., Sands, T. R., Maccallum, C., … Nürnberger, B. (2003). On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.0014-3820.2003.tb00595.x
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4348
Huelsenbeck, J., Nielsen, R., & Bollback, J. P. (2003). Stochastic mapping of morphological characters. Systematic Biology. Oxford University Press. https://doi.org/10.1080/10635150390192780
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4350
Harshman, J., Huddleston, C., Bollback, J. P., Parsons, T., & Braun, M. (2003). True and false gharials: A nuclear gene phylogeny of crocodylia. Systematic Biology. Oxford University Press. https://doi.org/10.1080/10635150390197028
View | DOI
 

2003 | Thesis | IST-REx-ID: 4416
Majumdar, R. (2003). Symbolic algorithms for verification and control. University of California, Berkeley.
View
 

2003 | Thesis | IST-REx-ID: 4425
Horowitz, B. (2003). Giotto: A time-triggered language for embedded programming. University of California, Berkeley.
View
 

2003 | Journal Article | IST-REx-ID: 4460
Henzinger, T. A., Kupferman, O., & Qadeer, S. (2003). From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1026228213080
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
Henzinger, T. A., Jhala, R., & Majumdar, R. (2003). Counterexample-guided control (Vol. 2719, pp. 886–902). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-45061-0_69
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
Henzinger, T. A., Jhala, R., Majumdar, R., & Qadeer, S. (2003). Thread-modular abstraction refinement (Vol. 2725, pp. 262–274). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-45069-6_27
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
Henzinger, T. A., Kirsch, C., & Matic, S. (2003). Schedule-carrying code (Vol. 2855, pp. 241–256). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/978-3-540-45212-6_16
View | DOI
 

Filters and Search Terms

year=2003

Search

Filter Publications