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, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger, and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs.” Information and Computation. Elsevier, 2004. https://doi.org/10.1016/j.ic.2004.06.001.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4558
Chatterjee, Krishnendu, Marcin Jurdziński, and Thomas A Henzinger. “Quantitative Stochastic Parity Games,” 121–30. SIAM, 2004.
View
2004 | Published | Conference Paper | IST-REx-ID: 4577
Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “An Eclipse Plug-in for Model Checking,” 251–55. IEEE, 2004. https://doi.org/10.1109/WPC.2004.1311069 .
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4578
Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The BLAST Query Language for Software Verification,” 3148:2–18. Springer, 2004. https://doi.org/10.1007/978-3-540-27864-1_2.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4581
Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Generating Tests from Counterexamples,” 326–35. IEEE, 2004. https://doi.org/10.1109/ICSE.2004.1317455.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 4629
De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties,” 2988:77–92. Springer, 2004. https://doi.org/10.1007/978-3-540-24730-2_6.
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 6155
Cheung, Benny H.H, Fausto Arellano-Carbajal, Irene Rybicki, and Mario de Bono. “Soluble Guanylate Cyclases Act in Neurons Exposed to the Body Fluid to Promote C. Elegans Aggregation Behavior.” Current Biology. Elsevier, 2004. https://doi.org/10.1016/j.cub.2004.06.027.
View
| DOI
| PubMed | Europe PMC
2004 | Published | Journal Article | IST-REx-ID: 12203
Liao, Zhihua, Min Chen, Yifu Gong, Liang Guo, Qiumin Tan, Xiaoqi Feng, Xiaofen Sun, Feng Tan, and Kexuan Tang. “A New Geranylgeranyl Diphosphate Synthase Gene from Ginkgo Biloba, Which Intermediates the Biosynthesis of the Key Precursor for Ginkgolides.” DNA Sequence. Informa UK Limited, 2004. https://doi.org/10.1080/10425170410001667348.
View
| DOI
| PubMed | Europe PMC
2004 | Published | Journal Article | IST-REx-ID: 12658
Strasser, Ulrich, Javier Corripio, Francesca Pellicciotti, Paolo Burlando, Ben Brock, and Martin 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. American Geophysical Union, 2004. https://doi.org/10.1029/2003jd003973.
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 7706
Brunet, Anne, Lora B. Sweeney, J Fitzhugh Sturgill, Katrin Chua, Paul Greer, Yingxi Lin, Hien Tran, et al. “Stress-Dependent Regulation of FOXO Transcription Factors by the SIRT1 Deacetylase.” Science. American Association for the Advancement of Science, 2004. https://doi.org/10.1126/science.1094637.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 18333
Bronstein, Alex M., Michael M. Bronstein, Michael Zibulevsky, and Yehoshua Y. Zeevi. “Optimal Sparse Representations for Blind Deconvolution of Images.” In 5th International Conference on Independent Component Analysis and Blind Signal Separation, 3195:500–507. Springer Nature, 2004. https://doi.org/10.1007/978-3-540-30110-3_64.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 18335
Bronstein, Alex M., Michael M. Bronstein, Michael Zibulevsky, and Yehoshua Y. Zeevi. “QML Blind Deconvolution: Asymptotic Analysis.” In Proceedings of the 5th International Conference on Independent Component Analysis and Blind Signal Separation, 3195:677–684. Springer Nature, 2004. https://doi.org/10.1007/978-3-540-30110-3_86.
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 18368
Bronstein, Alex M., Michael M Bronstein, and Michael Zibulevsky. “Blind Source Separation Using Block-Coordinate Relative Newton Method.” Signal Processing. Elsevier, 2004. https://doi.org/10.1016/j.sigpro.2004.05.019.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 18396
Bronstein, Alex M., 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. IEEE, 2004. https://doi.org/10.1109/icip.2004.1418696.
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 1963
Mamedova, Aygun, Peter Holt, Joe Carroll, and Leonid A Sazanov. “Substrate-Induced Conformational Change in Bacterial Complex I.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2004. https://doi.org/10.1074/jbc.M401539200.
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 209
Browning, Timothy D, and Roger Heath Brown. “Equal Sums of Three Powers.” Inventiones Mathematicae. Unknown, 2004. https://doi.org/10.1007/s00222-004-0360-9.
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 7333
Santis, M., D. Schmid, M. Ruge, Stefan Alexander Freunberger, and F.N. Büchi. “Modular Stack-Internal Air Humidification Concept-Verification in a 1 KW Stack.” Fuel Cells. Wiley, 2004. https://doi.org/10.1002/fuce.200400028.
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 7334
Mantzaras, John, Stefan Alexander Freunberger, Felix N. Büchi, Markus Roos, Wilhelm Brandstätter, Michel Prestat, Ludwig J. Gauckler, et al. “Fuel Cell Modeling and Simulations.” CHIMIA International Journal for Chemistry. Swiss Chemical Society, 2004. https://doi.org/10.2533/000942904777677029.
View
| DOI
2004 | Published | Book Review | IST-REx-ID: 3142
Hippenmeyer, Simon, Ina Kramer, and Silvia Arber. “Control of Neuronal Phenotype: What Targets Tell the Cell Bodies.” Trends in Neurosciences. Elsevier, 2004. https://doi.org/10.1016/j.tins.2004.05.012.
View
| DOI
2004 | Published | Journal Article | IST-REx-ID: 3172
Kolmogorov, Vladimir, Thành Nguyen, Anthony Nuval, Pascal Spincemaille, Martin Prince, Ramin Zabih, and Yusu Wang. “Multiprocessor Scheduling Implementation of the Simultaneous Multiple Volume SMV Navigator Method.” Magnetic Resonance in Medicine. Wiley-Blackwell, 2004. https://doi.org/10.1002/mrm.20162.
View
| DOI