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.
118 Publications
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: 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: 9493 |
D. Zilberman, X. Cao, L. K. Johansen, Z. Xie, J. C. Carrington, and S. E. Jacobsen, “Role of Arabidopsis ARGONAUTE4 in RNA-directed DNA methylation triggered by inverted repeats,” Current Biology, vol. 14, no. 13. Elsevier, pp. 1214–1220, 2004.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC