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: 18742 | OA
Menou K, Haiman Z. On the dark side of quasar evolution. The Astrophysical Journal. 2004;615(1):130-134. doi:10.1086/423951
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2004 | Published | Journal Article | IST-REx-ID: 1963
Mamedova A, Holt P, Carroll J, Sazanov LA. Substrate-induced conformational change in bacterial complex I. Journal of Biological Chemistry. 2004;279(22):23830-23836. doi:10.1074/jbc.M401539200
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4372
Maler O, Nickovic D. Monitoring Temporal Properties of Continuous Signals. In: Springer; 2004:152-166. doi:10.1007/978-3-540-30206-3_12
View | DOI
 

2004 | Published | Thesis | IST-REx-ID: 4424
Jhala R. Program verification by lazy abstraction. 2004:1-165.
View
 

2004 | Published | Conference Paper | IST-REx-ID: 4445
Henzinger TA, Kirsch C. A typed assembly language for real-time programs. In: Proceedings of the 4th ACM International Conference on Embedded Software. Association for Computing Machinery; 2004:104-113. doi:10.1145/1017753.1017774
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4458
Henzinger TA, Jhala R, Majumdar R, Mcmillan K. Abstractions from proofs. In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery; 2004:232-244. doi:10.1145/964001.964021
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4459
Henzinger TA, Jhala R, Majumdar R. Race checking by context inference. In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2004:1-13. doi:10.1145/996841.996844
View | DOI
 

2004 | Published | Book Chapter | IST-REx-ID: 4461 | OA
Henzinger TA, Jhala R, Majumdar R, Sanvido M. Extreme Model Checking. In: Verification: Theory and Practice. Vol 2772. Lecture Notes in Computer Science. Berlin: Springer Nature; 2004:332-358. doi:10.1007/978-3-540-39910-0_16
[Preprint] View | DOI | Download Preprint (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 4525 | OA
Ghosal A, Henzinger TA, Kirsch C, Sanvido M. Event-driven programming with logical execution times. In: Springer Nature; 2004:357-371. doi:10.1007/978-3-540-24743-2_24
[Preprint] View | DOI | Download Preprint (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 4555
Chatterjee K, De Alfaro L, Henzinger TA. Trading memory for randomness. In: IEEE; 2004:206-217. doi:10.1109/QEST.2004.10051
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 4556 | OA
Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. Stack size analysis for interrupt-driven programs. Information and Computation. 2004;194(2):144-174. doi:10.1016/j.ic.2004.06.001
[Accepted Version] View | DOI | Download Accepted Version (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 4558 | OA
Chatterjee K, Jurdziński M, Henzinger TA. Quantitative stochastic parity games. In: Proceedings of the 15th Annual ACM-SIAM Symposium on Discrete Algorithms. Association for Computing Machinery; 2004:121-130. doi:10.5555/982792.982808
[Preprint] View | DOI | Download Preprint (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 4577
Beyer D, Henzinger TA, Jhala R, Majumdar R. An eclipse plug-in for model checking. In: Proceedings of the 12th IEEE International Workshop on Program Comprehension. IEEE; 2004:251-255. doi:10.1109/WPC.2004.1311069 
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4578
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. The BLAST query language for software verification. In: Vol 3148. Springer; 2004:2-18. doi:10.1007/978-3-540-27864-1_2
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4581
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. Generating tests from counterexamples. In: Proceedings of the 26th International Conference on Software Engineering. IEEE; 2004:326-335. doi:10.1109/ICSE.2004.1317455
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4629
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. In: Vol 2988. Springer Nature; 2004:77-92. doi:10.1007/978-3-540-24730-2_6
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 6155
Cheung BH., Arellano-Carbajal F, Rybicki I, de Bono M. Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. Current Biology. 2004;14(12):1105-1111. doi:10.1016/j.cub.2004.06.027
View | DOI | PubMed | Europe PMC
 

2004 | Published | Journal Article | IST-REx-ID: 7706
Brunet A, Sweeney LB, Sturgill JF, et al. Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase. Science. 2004;303(5666):2011-2015. doi:10.1126/science.1094637
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 8517
Dolgopyat D, Kaloshin V, Koralov L. A limit shape theorem for periodic stochastic dispersion. Communications on Pure and Applied Mathematics. 2004;57(9):1127-1158. doi:10.1002/cpa.20032
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 8518
Koralov L, Kaloshin V, Dolgopyat D. Sample path properties of the stochastic flows. The Annals of Probability. 2004;32(1A):1-27. doi:10.1214/aop/1078415827
View | DOI
 

Filters and Search Terms

year=2004

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed