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 | Journal Article | IST-REx-ID: 4556
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T. A. Henzinger, and J. Palsberg, “Stack size analysis for interrupt-driven programs,” Information and Computation, vol. 194, no. 2. Elsevier, pp. 144–174, 2004.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4558
K. Chatterjee, M. Jurdziński, and T. A. Henzinger, “Quantitative stochastic parity games,” presented at the SODA: Symposium on Discrete Algorithms, 2004, pp. 121–130.
View
 

2004 | Published | Conference Paper | IST-REx-ID: 4577
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “An eclipse plug-in for model checking,” presented at the IWPC: Program Comprehension, 2004, pp. 251–255.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4578
D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “The BLAST query language for software verification,” presented at the SAS: Static Analysis Symposium, 2004, vol. 3148, pp. 2–18.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4581
D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “Generating tests from counterexamples,” presented at the ICSE: Software Engineering, 2004, pp. 326–335.
View | DOI
 

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

2004 | Published | Journal Article | IST-REx-ID: 6155
B. H. . Cheung, F. Arellano-Carbajal, I. Rybicki, and M. de Bono, “Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior,” Current Biology, vol. 14, no. 12. Elsevier, pp. 1105–1111, 2004.
View | DOI | PubMed | Europe PMC
 

2004 | Published | Journal Article | IST-REx-ID: 12203
Z. Liao et al., “A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides,” DNA Sequence, vol. 15, no. 2. Informa UK Limited, pp. 153–158, 2004.
View | DOI | PubMed | Europe PMC
 

2004 | Published | Journal Article | IST-REx-ID: 12658
U. Strasser, J. Corripio, F. Pellicciotti, P. Burlando, B. Brock, and M. Funk, “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, vol. 109, no. D3. American Geophysical Union, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 7706
A. Brunet et al., “Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase,” Science, vol. 303, no. 5666. American Association for the Advancement of Science, pp. 2011–2015, 2004.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 18333
A. M. Bronstein, M. M. Bronstein, M. Zibulevsky, and Y. Y. Zeevi, “Optimal sparse representations for blind deconvolution of images,” in 5th International Conference on Independent Component Analysis and Blind Signal Separation, Granada, Spain, 2004, vol. 3195, pp. 500–507.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 18335
A. M. Bronstein, M. M. Bronstein, M. Zibulevsky, and Y. Y. Zeevi, “QML blind deconvolution: Asymptotic analysis,” in Proceedings of the 5th International Conference on Independent Component Analysis and Blind Signal Separation, Granada, Spain, 2004, vol. 3195, pp. 677–684.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 18368
A. M. Bronstein, M. M. Bronstein, and M. Zibulevsky, “Blind source separation using block-coordinate relative Newton method,” Signal Processing, vol. 84, no. 8. Elsevier, pp. 1447–1459, 2004.
View | DOI
 

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

2004 | Published | Journal Article | IST-REx-ID: 1963
A. Mamedova, P. Holt, J. Carroll, and L. A. Sazanov, “Substrate-induced conformational change in bacterial complex I,” Journal of Biological Chemistry, vol. 279, no. 22. American Society for Biochemistry and Molecular Biology, pp. 23830–23836, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 209
T. D. Browning and R. Heath Brown, “Equal sums of three powers,” Inventiones Mathematicae, vol. 157, no. 3. Unknown, pp. 553–573, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 7333
M. Santis, D. Schmid, M. Ruge, S. A. Freunberger, and F. N. Büchi, “Modular stack-internal air humidification concept-verification in a 1 kW stack,” Fuel Cells, vol. 4, no. 3. Wiley, pp. 214–218, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 7334
J. Mantzaras et al., “Fuel cell modeling and simulations,” CHIMIA International Journal for Chemistry, vol. 58, no. 12. Swiss Chemical Society, pp. 857–868, 2004.
View | DOI
 

2004 | Published | Book Review | IST-REx-ID: 3142
S. Hippenmeyer, I. Kramer, and S. Arber, “Control of neuronal phenotype: What targets tell the cell bodies,” Trends in Neurosciences, vol. 27, no. 8. Elsevier, pp. 482–488, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 3172
V. Kolmogorov et al., “Multiprocessor scheduling implementation of the simultaneous multiple volume SMV navigator method,” Magnetic Resonance in Medicine, vol. 52, no. 2. Wiley-Blackwell, pp. 362–367, 2004.
View | DOI
 

Filters and Search Terms

year=2004

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed