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.
10631 Publications
2004 | Published | Thesis | IST-REx-ID: 4424
Jhala R. 2004. Program verification by lazy abstraction. University of California, Berkeley.
View
2004 | Published | Conference Paper | IST-REx-ID: 4558
Chatterjee K, Jurdziński M, Henzinger TA. 2004. Quantitative stochastic parity games. SODA: Symposium on Discrete Algorithms, 121–130.
View
2004 | Published | Journal Article | IST-REx-ID: 6155
Cheung BH., Arellano-Carbajal F, Rybicki I, de Bono M. 2004. Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. Current Biology. 14(12), 1105–1111.
View
| DOI
| PubMed | Europe PMC
2004 | Published | Journal Article | IST-REx-ID: 12203
Liao Z, Chen M, Gong Y, Guo L, Tan Q, Feng X, Sun X, Tan F, Tang K. 2004. A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides. DNA Sequence. 15(2), 153–158.
View
| DOI
| PubMed | Europe PMC
2004 | Published | Journal Article | IST-REx-ID: 12658
Strasser U, Corripio J, Pellicciotti F, Burlando P, Brock B, Funk M. 2004. Spatial and temporal variability of meteorological variables at Haut Glacier d’Arolla (Switzerland) during the ablation season 2001: Measurements and simulations. Journal of Geophysical Research: Atmospheres. 109(D3), D03103.
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 7706
Brunet A, Sweeney LB, Sturgill JF, Chua K, Greer P, Lin Y, Tran H, Ross S, Mostoslavsky R, Cohen H, Hu L, Chen H-L, Jedrychowski M, Gygi S, Sinclair D, Alt F, Greenberg M. 2004. Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase. Science. 303(5666), 2011–2015.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 18333
Bronstein AM, Bronstein MM, Zibulevsky M, Zeevi YY. 2004. Optimal sparse representations for blind deconvolution of images. 5th International Conference on Independent Component Analysis and Blind Signal Separation. ICA: Independent Component Analysis and Blind Signal Separation, LNCS, vol. 3195, 500–507.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 18335
Bronstein AM, Bronstein MM, Zibulevsky M, Zeevi YY. 2004. QML blind deconvolution: Asymptotic analysis. Proceedings of the 5th International Conference on Independent Component Analysis and Blind Signal Separation. ICA: Independent Component Analysis and Blind Signal Separation , LNCS, vol. 3195, 677–684.
View
| DOI