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.

134 Publications


2004 | Published | Conference Paper | IST-REx-ID: 4458
Henzinger TA, Jhala R, Majumdar R, Mcmillan K. 2004. Abstractions from proofs. POPL: Principles of Programming Languages, 232–244.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4459
Henzinger TA, Jhala R, Majumdar R. 2004. Race checking by context inference. PLDI: Programming Languages Design and Implementation, 1–13.
View | DOI
 

2004 | Published | Book Chapter | IST-REx-ID: 4461
Henzinger TA, Jhala R, Majumdar R, Sanvido M. 2004.Extreme model checking. In: Verification: Theory and Practice. LNCS, vol. 2772, 332–358.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4525
Ghosal A, Henzinger TA, Kirsch C, Sanvido M. 2004. Event-driven programming with logical execution times. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2993, 167–170.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4555
Chatterjee K, De Alfaro L, Henzinger TA. 2004. Trading memory for randomness. QEST: Quantitative Evaluation of Systems, 206–217.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 4556
Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. 2004. Stack size analysis for interrupt-driven programs. Information and Computation. 194(2), 144–174.
View | DOI
 

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 | Conference Paper | IST-REx-ID: 4577
Beyer D, Henzinger TA, Jhala R, Majumdar R. 2004. An eclipse plug-in for model checking. IWPC: Program Comprehension, 251–255.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4578
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. The BLAST query language for software verification. SAS: Static Analysis Symposium, LNCS, vol. 3148, 2–18.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4581
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. Generating tests from counterexamples. ICSE: Software Engineering, 326–335.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4629
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2004. Model checking discounted temporal properties. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 2988, 77–92.
View | DOI
 

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
 

2004 | Published | Journal Article | IST-REx-ID: 18368
Bronstein AM, Bronstein MM, Zibulevsky M. 2004. Blind source separation using block-coordinate relative Newton method. Signal Processing. 84(8), 1447–1459.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 18396
Bronstein AM, Bronstein MM, Gordon E, Kimmel R. 2004. Fusion of 2D and 3D data in three-dimensional face recognition. 2004 International Conference on Image Processing. ICIP: International Conference on Image Processing.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 1963
Mamedova A, Holt P, Carroll J, Sazanov LA. 2004. Substrate-induced conformational change in bacterial complex I. Journal of Biological Chemistry. 279(22), 23830–23836.
View | DOI
 

Filters and Search Terms

year=2004

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed