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.

128 Publications


2003 |Published| Conference Paper | IST-REx-ID: 4462
Counterexample-guided control
T.A. Henzinger, R. Jhala, R. Majumdar, in:, Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Springer, 2003, pp. 886–902.
View | DOI
 

2003 |Published| Conference Paper | IST-REx-ID: 4464
Schedule-carrying code
T.A. Henzinger, C. Kirsch, S. Matic, in:, Proceedings of the 3rd International Conference on Embedded Software, ACM, 2003, pp. 241–256.
View | DOI
 

2003 |Published| 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
 

2003 |Published| Journal Article | IST-REx-ID: 4469
Giotto: A time-triggered language for embedded programming
T.A. Henzinger, B. Horowitz, C. Kirsch, Proceedings of the IEEE 91 (2003) 84–99.
View | DOI
 

2003 |Published| 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 57 (2003) 1876–1888.
View | DOI
 

2003 |Published| 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 | PubMed | Europe PMC
 

2003 |Published| Journal Article | IST-REx-ID: 4348
Stochastic mapping of morphological characters
J. Huelsenbeck, R. Nielsen, J.P. Bollback, Systematic Biology 52 (2003) 131–158.
View | DOI | PubMed | Europe PMC
 

2003 |Published| 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 | PubMed | Europe PMC
 

2003 |Published| 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
 

2003 |Published| Journal Article | IST-REx-ID: 4256
The erratic path towards complexity
N.H. Barton, W. Zuidema, Current Biology 13 (2003) R649–R651.
[Published Version] View | DOI
 

2003 |Published| Journal Article | IST-REx-ID: 4255 View | DOI | PubMed | Europe PMC
 

2003 |Published| Journal Article | IST-REx-ID: 4146 | OA
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 | Download None (ext.) | PubMed | Europe PMC
 

2003 |Published| 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 | PubMed | Europe PMC
 

2003 |Published| 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 | PubMed | Europe PMC
 

2003 |Published| Journal Article | IST-REx-ID: 3992 | OA
The weighted-volume derivative of a space-filling diagram
H. Edelsbrunner, P. Koehl, PNAS 100 (2003) 2203–2208.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2003 |Published| Conference Paper | IST-REx-ID: 3999
Relaxed scheduling in dynamic skin triangulation
H. Edelsbrunner, A. Üngör, in:, Proceedings of the Japanese Conference on Discrete and Computational Geometry , Springer, 2003, pp. 135–151.
View | DOI
 

2003 |Published| 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:, Proceedings of the 14th IEEE Conference on Visualization , IEEE, 2003, pp. 139–146.
View | DOI
 

2003 |Published| Journal Article | IST-REx-ID: 4168
Adhesive crosstalk in gastrulation
J. Montero, C.-P.J. Heisenberg, Developmental Cell 5 (2003) 190–191.
View | DOI | PubMed | Europe PMC
 

2003 |Published| Book Chapter | IST-REx-ID: 3991
Area and perimeter derivatives of a union of disks
H. Cheng, H. Edelsbrunner, in:, Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, Springer, 2003, pp. 88–97.
View | DOI
 

2003 |Published| Journal Article | IST-REx-ID: 17741 | OA
Probing the reionization history of the universe using the cosmic microwave background polarization
M. Kaplinghat, M. Chu, Z. Haiman, G.P. Holder, L. Knox, C. Skordis, The Astrophysical Journal 583 (2003) 24–32.
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

year=2003

Search

Filter Publications