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: 3584
Edelsbrunner H, Zomorodian A. 2003. Computing linking numbers of a filtration. Homology, Homotopy and Applications. 5(2), 19–37.
View
| Download None (ext.)
2003 | Journal Article | IST-REx-ID: 3752 | 
Vilar J, Guet CC, Leibler S. 2003. Modeling network dynamics: the lac operon, a case study. Journal of Cell Biology. 161(3), 471–476.
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3797
Bauer W, Kleine Berkenbusch M, Bollenbach MT. 2003. Breaking atomic nuclei into little pieces: evidence for a phase transition. Revista Mexicana De Fisica. 49(4), 1–6.
View
2003 | Thesis | IST-REx-ID: 3678
Lampert C. 2003. The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric . Universität Bonn, Fachbibliothek Mathematik.
View
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3725 |
Janovjak HL, Kessler M, Oesterhelt D, Gaub H, Mueller D. 2003. Unfolding pathways of native bacteriorhodopsin depend on temperature. EMBO Journal. 22(19), 5220–5229.
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3804
Lien C, Jonas PM. 2003. Kv3 potassium conductance is necessary and kinetically optimized for high-frequency action potential generation in hippocampal interneurons. Journal of Neuroscience. 23(6), 2058–68.
View
2003 | 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 | Thesis | IST-REx-ID: 4416
Majumdar R. 2003. Symbolic algorithms for verification and control. University of California, Berkeley.
View
2003 | Thesis | IST-REx-ID: 4425
Horowitz B. 2003. Giotto: A time-triggered language for embedded programming. University of California, Berkeley.
View
2003 | 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 | 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 | 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 | 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 | 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 | 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