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: 13434
C. J. Campbell, M. Fialkowski, R. Klajn, I. T. Bensemann, and B. A. Grzybowski, “Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts,” Advanced Materials, vol. 16, no. 21. Wiley, pp. 1912–1917, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 13435
R. Klajn et al., “Multicolour micropatterning of thin films of dry gels,” Nature Materials, vol. 3. Springer Nature, pp. 729–735, 2004.
View | DOI | PubMed | Europe PMC
 

2004 | Published | Journal Article | IST-REx-ID: 1456 | OA
T. Hausel, E. Hunsicker, and R. Mazzeo, “Hodge cohomology of gravitational instantons,” Duke Mathematical Journal, vol. 122, no. 3. Duke University Press, pp. 485–548, 2004.
View | DOI | Download (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 1464 | OA
T. Hausel and M. Thaddeus, “Generators for the cohomology ring of the moduli space of rank 2 higgs bundles,” Proceedings of the London Mathematical Society, vol. 88, no. 3. Oxford University Press, pp. 632–658, 2004.
View | DOI | Download (ext.)
 

2004 | Published | Book Chapter | IST-REx-ID: 18739 | OA
Z. Haiman and E. Quataert, “The Formation and Evolution of the First Massive Black Holes,” in Supermassive Black Holes in the Distant Universe, vol. 308, Springer Nature, 2004, pp. 147–185.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2004 | Published | Journal Article | IST-REx-ID: 18742 | OA
K. Menou and Z. Haiman, “On the dark side of quasar evolution,” The Astrophysical Journal, vol. 615, no. 1. American Astronomical Society, pp. 130–134, 2004.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2004 | Published | Journal Article | IST-REx-ID: 1963
A. Mamedova, P. Holt, J. Carroll, and L. A. Sazanov, “Substrate-induced conformational change in bacterial complex I,” Journal of Biological Chemistry, vol. 279, no. 22. American Society for Biochemistry and Molecular Biology, pp. 23830–23836, 2004.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4372
O. Maler and D. Nickovic, “Monitoring Temporal Properties of Continuous Signals,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2004, pp. 152–166.
View | DOI
 

2004 | Published | Thesis | IST-REx-ID: 4424
R. Jhala, “Program verification by lazy abstraction,” University of California, Berkeley, 2004.
View
 

2004 | Published | Conference Paper | IST-REx-ID: 4445
T. A. Henzinger and C. Kirsch, “A typed assembly language for real-time programs,” in Proceedings of the 4th ACM international conference on Embedded software, Pisa, Italy, 2004, pp. 104–113.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4458
T. A. Henzinger, R. Jhala, R. Majumdar, and K. Mcmillan, “Abstractions from proofs,” in Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Venice, Italy, 2004, pp. 232–244.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4459
T. A. Henzinger, R. Jhala, and R. Majumdar, “Race checking by context inference,” in Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Washington, DC, United States, 2004, pp. 1–13.
View | DOI
 

2004 | Published | Book Chapter | IST-REx-ID: 4461 | OA
T. A. Henzinger, R. Jhala, R. Majumdar, and M. Sanvido, “Extreme Model Checking,” in Verification: Theory and Practice, vol. 2772, Berlin: Springer Nature, 2004, pp. 332–358.
[Preprint] View | DOI | Download Preprint (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 4525 | OA
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, Philadelphia, PA, United States, 2004, pp. 357–371.
[Preprint] View | DOI | Download Preprint (ext.)
 

2004 | Published | 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, Enschede, Netherlands, 2004, pp. 206–217.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 4556 | OA
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.
[Accepted Version] View | DOI | Download Accepted Version (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 4558 | OA
K. Chatterjee, M. Jurdziński, and T. A. Henzinger, “Quantitative stochastic parity games,” in Proceedings of the 15th annual ACM-SIAM symposium on Discrete algorithms, New Orleans, LA, United States, 2004, pp. 121–130.
[Preprint] View | DOI | Download Preprint (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 4577
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “An eclipse plug-in for model checking,” in Proceedings of the 12th IEEE International Workshop on Program Comprehension, Bari, Italy, 2004, pp. 251–255.
View | DOI
 

2004 | Published | 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, Verona, Italy, 2004, vol. 3148, pp. 2–18.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4581
D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “Generating tests from counterexamples,” in Proceedings of the 26th International Conference on Software Engineering, Edinburgh, United Kingdom, 2004, pp. 326–335.
View | DOI
 

Filters and Search Terms

year=2004

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed