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
Henzinger, Thomas A, and Christoph Kirsch. “A Typed Assembly Language for Real-Time Programs,” 104–13. ACM, 2004. https://doi.org/10.1145/1017753.1017774.
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4458
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Kenneth Mcmillan. “Abstractions from Proofs,” 232–44. ACM, 2004. https://doi.org/10.1145/964001.964021.
View
| DOI
2004 | Book Chapter | IST-REx-ID: 4461
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Marco Sanvido. “Extreme Model Checking.” In Verification: Theory and Practice, 2772:332–58. Springer, 2004. https://doi.org/10.1007/978-3-540-39910-0_16.
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Race Checking by Context Inference,” 1–13. ACM, 2004. https://doi.org/10.1145/996841.996844.
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4525
Ghosal, Arkadeb, Thomas A Henzinger, Christoph Kirsch, and Marco Sanvido. “Event-Driven Programming with Logical Execution Times,” 2993:167–70. Springer, 2004. https://doi.org/10.1007/978-3-540-24743-2_24.
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Trading Memory for Randomness,” 206–17. IEEE, 2004. https://doi.org/10.1109/QEST.2004.10051.
View
| DOI
2004 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 864
Panchenko, Anna, Fyodor Kondrashov, and Stephen Bryant. “Prediction of Functional Sites by Analysis of Sequence and Structure Conservation.” Protein Science. Wiley-Blackwell, 2004. https://doi.org/10.1110/ps.03465504.
View
| DOI
2004 | Journal Article | IST-REx-ID: 870
Kondrashov, Fyodor, Aleksey Ogurtsov, and Alexey Kondrashov. “Bioinformatical Assay of Human Gene Morbidity.” Nucleic Acids Research. Oxford University Press, 2004. https://doi.org/10.1093/nar/gkh330.
View
| DOI
2004 | Journal Article | IST-REx-ID: 875
Kondrashov, Fyodor, and Eugene Koonin. “A Common Framework for Understanding the Origin of Genetic Dominance and Evolutionary Fates of Gene Duplications.” Trends in Genetics. Elsevier, 2004. https://doi.org/10.1016/j.tig.2004.05.001.
View
| DOI
2004 | Journal Article | IST-REx-ID: 889
Kern, Andrew, and Fyodor Kondrashov. “Mechanisms and Convergence of Compensatory Evolution in Mammalian Mitochondrial TRNAs.” Nature Genetics. Nature Publishing Group, 2004. https://doi.org/10.1038/ng1451.
View
| DOI
2004 | Journal Article | IST-REx-ID: 9493 | 
Zilberman, Daniel, Xiaofeng Cao, Lisa K. Johansen, Zhixin Xie, James C. Carrington, and Steven E. Jacobsen. “Role of Arabidopsis ARGONAUTE4 in RNA-Directed DNA Methylation Triggered by Inverted Repeats.” Current Biology. Elsevier, 2004. https://doi.org/10.1016/j.cub.2004.06.055.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC