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.
119 Publications
2003 |Published| Journal Article | IST-REx-ID: 3917
Cremer S, Heinze J. 2003. Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen. Blick in die Wissenschaft. 12(15), 32–36.
View
2003 |Published| Thesis | IST-REx-ID: 4416
Majumdar R. 2003. Symbolic algorithms for verification and control. University of California, Berkeley.
View
2003 |Published| Thesis | IST-REx-ID: 4425
Horowitz B. 2003. Giotto: A time-triggered language for embedded programming. University of California, Berkeley.
View
2003 |Published| Journal Article | IST-REx-ID: 6156
Rogers C, Reale V, Kim K, Chatwin H, Li C, Evans P, de Bono M. 2003. Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1. Nature Neuroscience. 6(11), 1178–1185.
View
| DOI
| PubMed | Europe PMC
2003 |Published| Journal Article | IST-REx-ID: 6157
de Bono M. 2003. Molecular approaches to aggregation behavior and social attachment. Journal of Neurobiology. 54(1), 78–92.
View
| DOI
| PubMed | Europe PMC
2003 |Published| Journal Article | IST-REx-ID: 9495 |
Cao X, Aufsatz W, Zilberman D, Mette MF, Huang MS, Matzke M, Jacobsen SE. 2003. Role of the DRM and CMT3 methyltransferases in RNA-directed DNA methylation. Current Biology. 13(24), 2212–2217.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2003 |Published| Journal Article | IST-REx-ID: 9455
Zilberman D, Cao Xiaofeng, Jacobsen SE. 2003. ARGONAUTE4 control of locus-specific siRNA accumulation and DNA and histone methylation. Science. 299(5607), 716–719.
View
| DOI
| PubMed | Europe PMC
2003 |Published| Conference Paper | IST-REx-ID: 4628
De Alfaro L, Henzinger TA, Majumdar R. 2003. Discounting the future in systems theory. Proceedings of the 30th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 2719, 1022–1037.
View
| DOI
2003 |Published| Conference Paper | IST-REx-ID: 4466
Henzinger TA, Kupferman O, Majumdar R. 2003. On the universal and existential fragments of the mu-calculus. Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 2619, 49–64.
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 4338
Vines T, Kohler SC, Thiel M, Ghira I, Sands TR, Maccallum C, Barton NH, Nürnberger B. 2003. On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata. Evolution. 57(8), 1876–1888.
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 4350
Harshman J, Huddleston C, Bollback JP, Parsons T, Braun M. 2003. True and false gharials: A nuclear gene phylogeny of crocodylia. Systematic Biology. 52(3), 386–402.
View
| DOI
| PubMed | Europe PMC
2003 |Published| Journal Article | IST-REx-ID: 4348
Huelsenbeck J, Nielsen R, Bollback JP. 2003. Stochastic mapping of morphological characters. Systematic Biology. 52(2), 131–158.
View
| DOI
| PubMed | Europe PMC
2003 |Published| Journal Article | IST-REx-ID: 4254
Navarro A, Barton NH. 2003. Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation. Evolution; International Journal of Organic Evolution. 57(3), 447–459.
View
| DOI
| PubMed | Europe PMC
2003 |Published| Journal Article | IST-REx-ID: 4255
Navarro A, Barton NH. 2003. Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes. Science. 300(5617), 321–324.
View
| DOI
| PubMed | Europe PMC
2003 |Published| Journal Article | IST-REx-ID: 4146 |
Ulrich F, Concha M, Heid P, Voss E, Witzel S, Roehl H, Tada M, Wilson S, Adams R, Soll D, Heisenberg C-PJ. 2003. Slb/Wnt11 controls hypoblast cell migration and morphogenesis at the onset of zebrafish gastrulation. Development. 130(22), 5375–5384.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2003 |Published| Journal Article | IST-REx-ID: 4169
Montero J, Kilian B, Chan J, Bayliss P, Heisenberg C-PJ. 2003. Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology. 13(15), 1279–1289.
View
| DOI
| PubMed | Europe PMC
2003 |Published| Journal Article | IST-REx-ID: 4185
Kilian B, Mansukoski H, Barbosa F, Ulrich F, Tada M, Heisenberg C-PJ. 2003. The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation. Mechanisms of Development. 120(4), 467–476.
View
| DOI
| PubMed | Europe PMC
2003 |Published| Journal Article | IST-REx-ID: 3992 |
Edelsbrunner H, Koehl P. 2003. The weighted-volume derivative of a space-filling diagram. PNAS. 100(5), 2203–2208.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2003 |Published| Conference Paper | IST-REx-ID: 3999
Edelsbrunner H, Üngör A. 2003. Relaxed scheduling in dynamic skin triangulation. Proceedings of the Japanese Conference on Discrete and Computational Geometry . JCDCG: Japanese Conference on Discrete and Computational Geometry, LNCS, vol. 2866, 135–151.
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 4168
Montero J, Heisenberg C-PJ. 2003. Adhesive crosstalk in gastrulation. Developmental Cell. 5(2), 190–191.
View
| DOI
| PubMed | Europe PMC