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
A multi-resolution data structure for two-dimensional Morse-Smale functions
P. Bremer, H. Edelsbrunner, B. Hamann, V. Pascucci, in:, IEEE, 2003, pp. 139–146.
View
| DOI
P. Bremer, H. Edelsbrunner, B. Hamann, V. Pascucci, in:, IEEE, 2003, pp. 139–146.
2003 | Conference Paper | IST-REx-ID: 3999
Relaxed scheduling in dynamic skin triangulation
H. Edelsbrunner, A. Üngör, in:, Springer, 2003, pp. 135–151.
View
| DOI
H. Edelsbrunner, A. Üngör, in:, Springer, 2003, pp. 135–151.
2003 | Journal Article | IST-REx-ID: 4146
Slb/Wnt11 controls hypoblast cell migration and morphogenesis at the onset of zebrafish gastrulation
F. Ulrich, M. Concha, P. Heid, E. Voss, S. Witzel, H. Roehl, M. Tada, S. Wilson, R. Adams, D. Soll, C.-P.J. Heisenberg, Development 130 (2003) 5375–5384.
View
| DOI
F. Ulrich, M. Concha, P. Heid, E. Voss, S. Witzel, H. Roehl, M. Tada, S. Wilson, R. Adams, D. Soll, C.-P.J. Heisenberg, Development 130 (2003) 5375–5384.
2003 | Journal Article | IST-REx-ID: 4168
Adhesive crosstalk in gastrulation
J. Montero, C.-P.J. Heisenberg, Developmental Cell 5 (2003) 190–191.
View
| DOI
J. Montero, C.-P.J. Heisenberg, Developmental Cell 5 (2003) 190–191.
2003 | Journal Article | IST-REx-ID: 4169
Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells
J. Montero, B. Kilian, J. Chan, P. Bayliss, C.-P.J. Heisenberg, Current Biology 13 (2003) 1279–1289.
View
| DOI
J. Montero, B. Kilian, J. Chan, P. Bayliss, C.-P.J. Heisenberg, Current Biology 13 (2003) 1279–1289.
2003 | Journal Article | IST-REx-ID: 4185
The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation
B. Kilian, H. Mansukoski, F. Barbosa, F. Ulrich, M. Tada, C.-P.J. Heisenberg, Mechanisms of Development 120 (2003) 467–476.
View
| DOI
B. Kilian, H. Mansukoski, F. Barbosa, F. Ulrich, M. Tada, C.-P.J. Heisenberg, Mechanisms of Development 120 (2003) 467–476.
2003 | Journal Article | IST-REx-ID: 4240
New Late–Intensification Schedules for Cancer Treatments
J. González, H. de Vladar, M. Rebolledo, Acta Científica Venezolana 54 (2003) 263–273.
View
| DOI
J. González, H. de Vladar, M. Rebolledo, Acta Científica Venezolana 54 (2003) 263–273.
2003 | Journal Article | IST-REx-ID: 4254
Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation
A. Navarro, N.H. Barton, Evolution; International Journal of Organic Evolution 57 (2003) 447–459.
View
| DOI
A. Navarro, N.H. Barton, Evolution; International Journal of Organic Evolution 57 (2003) 447–459.
2003 | Journal Article | IST-REx-ID: 4255
Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes
A. Navarro, N.H. Barton, Science 300 (2003) 321–324.
View
| DOI
A. Navarro, N.H. Barton, Science 300 (2003) 321–324.
2003 | Book Review | IST-REx-ID: 4256
The erratic path towards complexity
N.H. Barton, W. Zuidema, Current Biology 13 (2003) R649–R651.
View
| DOI
N.H. Barton, W. Zuidema, Current Biology 13 (2003) R649–R651.
2003 | Journal Article | IST-REx-ID: 4257
The effects of genetic and geographic structure on neutral variation
B. Charlesworth, D. Charlesworth, N.H. Barton, Annual Review of Ecology and Systematics 34 (2003) 99–125.
View
| DOI
B. Charlesworth, D. Charlesworth, N.H. Barton, Annual Review of Ecology and Systematics 34 (2003) 99–125.
2003 | Journal Article | IST-REx-ID: 4338
On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata
T. Vines, S.C. Kohler, M. Thiel, I. Ghira, T.R. Sands, C. Maccallum, N.H. Barton, B. Nürnberger, Evolution; International Journal of Organic Evolution 57 (2003) 1876–1888.
View
| DOI
T. Vines, S.C. Kohler, M. Thiel, I. Ghira, T.R. Sands, C. Maccallum, N.H. Barton, B. Nürnberger, Evolution; International Journal of Organic Evolution 57 (2003) 1876–1888.
2003 | Journal Article | IST-REx-ID: 4348
Stochastic mapping of morphological characters
J. Huelsenbeck, R. Nielsen, J.P. Bollback, Systematic Biology 52 (2003) 131–58.
View
| DOI
J. Huelsenbeck, R. Nielsen, J.P. Bollback, Systematic Biology 52 (2003) 131–58.
2003 | Journal Article | IST-REx-ID: 4350
True and false gharials: A nuclear gene phylogeny of crocodylia
J. Harshman, C. Huddleston, J.P. Bollback, T. Parsons, M. Braun, Systematic Biology 52 (2003) 386–402.
View
| DOI
J. Harshman, C. Huddleston, J.P. Bollback, T. Parsons, M. Braun, Systematic Biology 52 (2003) 386–402.
2003 | Thesis | IST-REx-ID: 4416
Symbolic algorithms for verification and control
R. Majumdar, Symbolic Algorithms for Verification and Control, University of California, Berkeley, 2003.
View
R. Majumdar, Symbolic Algorithms for Verification and Control, University of California, Berkeley, 2003.
2003 | Thesis | IST-REx-ID: 4425
Giotto: A time-triggered language for embedded programming
B. Horowitz, Giotto: A Time-Triggered Language for Embedded Programming, University of California, Berkeley, 2003.
View
B. Horowitz, Giotto: A Time-Triggered Language for Embedded Programming, University of California, Berkeley, 2003.
2003 | Journal Article | IST-REx-ID: 4460
From pre-historic to post-modern symbolic model checking
T.A. Henzinger, O. Kupferman, S. Qadeer, Formal Methods in System Design 23 (2003) 303–327.
View
| DOI
T.A. Henzinger, O. Kupferman, S. Qadeer, Formal Methods in System Design 23 (2003) 303–327.
2003 | Conference Paper | IST-REx-ID: 4462
Counterexample-guided control
T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2003, pp. 886–902.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2003, pp. 886–902.
2003 | Conference Paper | IST-REx-ID: 4463
Thread-modular abstraction refinement
T.A. Henzinger, R. Jhala, R. Majumdar, S. Qadeer, in:, Springer, 2003, pp. 262–274.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, S. Qadeer, in:, Springer, 2003, pp. 262–274.
2003 | Conference Paper | IST-REx-ID: 4464
Schedule-carrying code
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2003, pp. 241–256.
View
| DOI
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2003, pp. 241–256.