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 | Journal Article | IST-REx-ID: 3917
S. Cremer and J. Heinze, “Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen,” Blick in die Wissenschaft, vol. 12, no. 15. Schnell und Steiner, pp. 32–36, 2003.
View
2003 | Thesis | IST-REx-ID: 4416
R. Majumdar, “Symbolic algorithms for verification and control,” University of California, Berkeley, 2003.
View
2003 | Thesis | IST-REx-ID: 4425
B. Horowitz, “Giotto: A time-triggered language for embedded programming,” University of California, Berkeley, 2003.
View
2003 | Journal Article | IST-REx-ID: 6156
C. Rogers et al., “Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1,” Nature Neuroscience, vol. 6, no. 11. Springer Nature, pp. 1178–1185, 2003.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 6157
M. de Bono, “Molecular approaches to aggregation behavior and social attachment,” Journal of Neurobiology, vol. 54, no. 1. Wiley, pp. 78–92, 2003.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 9495 |
X. Cao et al., “Role of the DRM and CMT3 methyltransferases in RNA-directed DNA methylation,” Current Biology, vol. 13, no. 24. Elsevier, pp. 2212–2217, 2003.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 9455
D. Zilberman, Xiaofeng Cao, and S. E. Jacobsen, “ARGONAUTE4 control of locus-specific siRNA accumulation and DNA and histone methylation,” Science, vol. 299, no. 5607. American Association for the Advancement of Science, pp. 716–719, 2003.
View
| DOI
| PubMed | Europe PMC
2003 | Conference Paper | IST-REx-ID: 4466
T. A. Henzinger, O. Kupferman, and R. Majumdar, “On the universal and existential fragments of the mu-calculus,” in Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Warsaw, Poland, 2003, vol. 2619, pp. 49–64.
View
| DOI