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
Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T. A., & Palsberg, J. (2004). Stack size analysis for interrupt-driven programs. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2004.06.001
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4558
Chatterjee, K., Jurdziński, M., & Henzinger, T. A. (2004). Quantitative stochastic parity games (pp. 121–130). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
2004 | Published | Conference Paper | IST-REx-ID: 4577
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). An eclipse plug-in for model checking (pp. 251–255). Presented at the IWPC: Program Comprehension, IEEE. https://doi.org/10.1109/WPC.2004.1311069
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4578
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). The BLAST query language for software verification (Vol. 3148, pp. 2–18). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/10.1007/978-3-540-27864-1_2
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4581
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Generating tests from counterexamples (pp. 326–335). Presented at the ICSE: Software Engineering, IEEE. https://doi.org/10.1109/ICSE.2004.1317455
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4629
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2004). Model checking discounted temporal properties (Vol. 2988, pp. 77–92). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-540-24730-2_6
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 6155
Cheung, B. H. ., 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. Elsevier. https://doi.org/10.1016/j.cub.2004.06.027
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., … Tang, K. (2004). A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides. DNA Sequence. Informa UK Limited. https://doi.org/10.1080/10425170410001667348
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. American Geophysical Union. https://doi.org/10.1029/2003jd003973
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 7706
Brunet, A., Sweeney, L. B., Sturgill, J. F., Chua, K., Greer, P., Lin, Y., … Greenberg, M. (2004). Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1094637
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 18333
Bronstein, A. M., Bronstein, M. M., Zibulevsky, M., & Zeevi, Y. Y. (2004). Optimal sparse representations for blind deconvolution of images. In 5th International Conference on Independent Component Analysis and Blind Signal Separation (Vol. 3195, pp. 500–507). Granada, Spain: Springer Nature. https://doi.org/10.1007/978-3-540-30110-3_64
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 18335
Bronstein, A. M., Bronstein, M. M., Zibulevsky, M., & Zeevi, Y. Y. (2004). QML blind deconvolution: Asymptotic analysis. In Proceedings of the 5th International Conference on Independent Component Analysis and Blind Signal Separation (Vol. 3195, pp. 677–684). Granada, Spain: Springer Nature. https://doi.org/10.1007/978-3-540-30110-3_86
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 18368
Bronstein, A. M., Bronstein, M. M., & Zibulevsky, M. (2004). Blind source separation using block-coordinate relative Newton method. Signal Processing. Elsevier. https://doi.org/10.1016/j.sigpro.2004.05.019
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 18396
Bronstein, A. M., Bronstein, M. M., Gordon, E., & Kimmel, R. (2004). Fusion of 2D and 3D data in three-dimensional face recognition. In 2004 International Conference on Image Processing. Singapore, Singapore: IEEE. https://doi.org/10.1109/icip.2004.1418696
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 1963
Mamedova, A., Holt, P., Carroll, J., & Sazanov, L. A. (2004). Substrate-induced conformational change in bacterial complex I. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M401539200
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 209
Browning, T. D., & Heath Brown, R. (2004). Equal sums of three powers. Inventiones Mathematicae. Unknown. https://doi.org/10.1007/s00222-004-0360-9
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 7333
Santis, M., Schmid, D., Ruge, M., Freunberger, S. A., & Büchi, F. N. (2004). Modular stack-internal air humidification concept-verification in a 1 kW stack. Fuel Cells. Wiley. https://doi.org/10.1002/fuce.200400028
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 7334
Mantzaras, J., Freunberger, S. A., Büchi, F. N., Roos, M., Brandstätter, W., Prestat, M., … Maréchal, F. (2004). Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. Swiss Chemical Society. https://doi.org/10.2533/000942904777677029
View
| DOI
2004 | Published | Book Review | IST-REx-ID: 3142
Hippenmeyer, S., Kramer, I., & Arber, S. (2004). Control of neuronal phenotype: What targets tell the cell bodies. Trends in Neurosciences. Elsevier. https://doi.org/10.1016/j.tins.2004.05.012
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 3172
Kolmogorov, V., Nguyen, T., Nuval, A., Spincemaille, P., Prince, M., Zabih, R., & Wang, Y. (2004). Multiprocessor scheduling implementation of the simultaneous multiple volume SMV navigator method. Magnetic Resonance in Medicine. Wiley-Blackwell. https://doi.org/10.1002/mrm.20162
View
| DOI