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.

112 Publications


2003 | Journal Article | IST-REx-ID: 6156
Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1
C. Rogers, V. Reale, K. Kim, H. Chatwin, C. Li, P. Evans, M. de Bono, Nature Neuroscience 6 (2003) 1178–1185.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 6157
Molecular approaches to aggregation behavior and social attachment
M. de Bono, Journal of Neurobiology 54 (2003) 78–92.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 1457 | OA
Mirror symmetry, langlands duality, and the Hitchin system
T. Hausel, M. Thaddeus, Inventiones Mathematicae 153 (2003) 197–229.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1458 | OA
Relations in the cohomology ring of the moduli space of rank 2 Higgs bundles
T. Hausel, M. Thaddeus, Journal of the American Mathematical Society 16 (2003) 303–329.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1459 | OA
On Yang-Mills instantons over multi-centered gravitational instantons
G. Etesi, T. Hausel, Communications in Mathematical Physics 235 (2003) 275–288.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 166 | OA
Counting rational points on del Pezzo surfaces of degree 5
T.D. Browning, M. Swarbick Jones, Proceedings of the Bonn Session in Analytic Number Theory and Diophantine Equations 360 (2003).
View | Download None (ext.) | arXiv
 

2003 | Journal Article | IST-REx-ID: 3725 | OA
Unfolding pathways of native bacteriorhodopsin depend on temperature
H.L. Janovjak, M. Kessler, D. Oesterhelt, H. Gaub, D. Mueller, EMBO Journal 22 (2003) 5220–5229.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3752 | OA
Modeling network dynamics: the lac operon, a case study
J. Vilar, C.C. Guet, S. Leibler, Journal of Cell Biology 161 (2003) 471–476.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3797
Breaking atomic nuclei into little pieces: evidence for a phase transition
W. Bauer, M. Kleine Berkenbusch, M.T. Bollenbach, Revista Mexicana De Fisica 49 (2003) 1–6.
View
 

2003 | Journal Article | IST-REx-ID: 3804 View
 

2003 | Journal Article | IST-REx-ID: 3806
A large pool of releasable vesicles in a cortical glutamatergic synapse
S. Hallermann, C. Pawlu, P.M. Jonas, M. Heckmann, PNAS 100 (2003) 8975–80.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3897
Simple stochastic parity games
K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, Springer, 2003, pp. 100–113.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3898
Stack size analysis for interrupt-driven programs
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, in:, Springer, 2003, pp. 109–126.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3917
Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen
S. Cremer, J. Heinze, Blick in Die Wissenschaft 12 (2003) 32–36.
View
 

2003 | Journal Article | IST-REx-ID: 3921
Live and let die: Why fighter males of the ant Cardiocondyla kill each other but tolerate their winged rivals
C. Anderson, S. Cremer, J. Heinze, Behavioral Ecology 14 (2003) 54–62.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3922
Stress grows wings: Environmental induction of winged dispersal males in Cardiocondyla ants
S. Cremer, J. Heinze, Current Biology 13 (2003) 219–223.
View | DOI
 

2003 | 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 | Journal Article | IST-REx-ID: 3992
The weighted-volume derivative of a space-filling diagram
H. Edelsbrunner, P. Koehl, PNAS 100 (2003) 2203–2208.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3993
Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds
H. Edelsbrunner, J. Harer, A. Zomorodian, Discrete & Computational Geometry 30 (2003) 87–107.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3994
Area, perimeter and derivatives of a skin curve
H. Cheng, H. Edelsbrunner, Computational Geometry: Theory and Applications 26 (2003) 173–192.
View | DOI
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

2003 | Journal Article | IST-REx-ID: 4255 View | DOI
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

2003 | Book Chapter | IST-REx-ID: 4465
Embedded control systems development with Giotto
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–146.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4466
On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2003, pp. 49–64.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4467
Software verification with BLAST
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, Springer, 2003, pp. 235–239.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4468
From control models to real-time code using Giotto
T.A. Henzinger, C. Kirsch, M. Sanvido, W. Pree, IEEE Control Systems Magazine 23 (2003) 50–64.
View | DOI
 

2003 | 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 | Conference Paper | IST-REx-ID: 4561
Resource interfaces
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, ACM, 2003, pp. 117–133.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2990
Auxin transport - Shaping the plant
J. Friml, Current Opinion in Plant Biology 6 (2003) 7–12.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2992
Cell polarity and PIN protein positioning in Arabidopsis require STEROL METHYLTRANSFERASE1 function
V. Willemsen, J. Friml, M. Grebe, A. Van Den Toorn, K. Palme, B. Scheres, Plant Cell 15 (2003) 612–625.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2993
Automated whole mount localisation techniques for plant seedlings
J. Friml, E. Benková, U. Mayer, K. Palme, G. Muster, Plant Journal 34 (2003) 115–124.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2994
Regulation of phyllotaxis by polar auxin transport
D. Reinhardt, E. Pesce, P. Stieger, T. Mandel, K. Baltensperger, M. Bennett, J. Traas, J. Friml, C. Kuhlemeier, Nature 426 (2003) 255–260.
View | DOI
 

Filters and Search Terms

year=2003

Search

Filter Publications