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.

111 Publications


2004 | Conference Paper | IST-REx-ID: 4445
T. A. Henzinger and C. Kirsch, “A typed assembly language for real-time programs,” presented at the EMSOFT: Embedded Software , 2004, pp. 104–113.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
T. A. Henzinger, R. Jhala, R. Majumdar, and K. Mcmillan, “Abstractions from proofs,” presented at the POPL: Principles of Programming Languages, 2004, pp. 232–244.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
T. A. Henzinger, R. Jhala, R. Majumdar, and M. Sanvido, “Extreme model checking,” in Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–358.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
T. A. Henzinger, R. Jhala, and R. Majumdar, “Race checking by context inference,” presented at the PLDI: Programming Languages Design and Implementation, 2004, pp. 1–13.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4525
A. Ghosal, T. A. Henzinger, C. Kirsch, and M. Sanvido, “Event-driven programming with logical execution times,” presented at the HSCC: Hybrid Systems - Computation and Control, 2004, vol. 2993, pp. 167–170.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4555
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Trading memory for randomness,” presented at the QEST: Quantitative Evaluation of Systems, 2004, pp. 206–217.
View | DOI
 

2004 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 864
A. Panchenko, F. Kondrashov, and S. Bryant, “Prediction of functional sites by analysis of sequence and structure conservation,” Protein Science, vol. 13, no. 4. Wiley-Blackwell, pp. 884–892, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 870
F. Kondrashov, A. Ogurtsov, and A. Kondrashov, “Bioinformatical assay of human gene morbidity,” Nucleic Acids Research, vol. 32, no. 5. Oxford University Press, pp. 1731–1737, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 875
F. Kondrashov and E. Koonin, “A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications,” Trends in Genetics, vol. 20, no. 7. Elsevier, pp. 287–291, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 889
A. Kern and F. Kondrashov, “Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs,” Nature Genetics, vol. 36, no. 11. Nature Publishing Group, pp. 1207–1212, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 9493 | OA
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
 

Filters and Search Terms

year=2004

Search

Filter Publications