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 | Published | Journal Article | IST-REx-ID: 2360 | OA
Aizenman, M., Lieb, É., Seiringer, R., Solovej, J., & Yngvason, J. (2004). Bose-Einstein quantum phase transition in an optical lattice model. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.70.023612
View | DOI | Download (ext.)
 

2004 | Published | Book Chapter | IST-REx-ID: 2417
Lovász, L., Vesztergombi, K., Wagner, U., & Welzl, E. (2004). Convex quadrilaterals and k-sets . In J. Pach (Ed.), Towards a Theory of Geometric Graphs (Vol. 342, pp. 139–148). American Mathematical Society. https://doi.org/10.1090/conm/342
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 2425
Matoušek, J., & Wagner, U. (2004). New constructions of weak ε-nets. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-004-1116-4
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 2426
Giesen, J., & Wagner, U. (2004). Shape dimension and intrinsic metric from samples of manifolds. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-004-1120-8
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 7333
Santis, M., Schmid, D., Ruge, M., Freunberger, S. A., & Büchi, F. N. (2004). Modular stack-internal air humidification concept-verification in a 1 kW stack. Fuel Cells. Wiley. https://doi.org/10.1002/fuce.200400028
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 7334
Mantzaras, J., Freunberger, S. A., Büchi, F. N., Roos, M., Brandstätter, W., Prestat, M., … Maréchal, F. (2004). Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. Swiss Chemical Society. https://doi.org/10.2533/000942904777677029
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 7706
Brunet, A., Sweeney, L. B., Sturgill, J. F., Chua, K., Greer, P., Lin, Y., … Greenberg, M. (2004). Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1094637
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4577
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). An eclipse plug-in for model checking (pp. 251–255). Presented at the IWPC: Program Comprehension, IEEE. https://doi.org/10.1109/WPC.2004.1311069 
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4578
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). The BLAST query language for software verification (Vol. 3148, pp. 2–18). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/10.1007/978-3-540-27864-1_2
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4581
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Generating tests from counterexamples (pp. 326–335). Presented at the ICSE: Software Engineering, IEEE. https://doi.org/10.1109/ICSE.2004.1317455
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4629
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2004). Model checking discounted temporal properties (Vol. 2988, pp. 77–92). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-540-24730-2_6
View | DOI
 

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

2004 | Published | Journal Article | IST-REx-ID: 1456 | OA
Hausel, T., Hunsicker, E., & Mazzeo, R. (2004). Hodge cohomology of gravitational instantons. Duke Mathematical Journal. Duke University Press. https://doi.org/10.1215/S0012-7094-04-12233-X
View | DOI | Download (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 1464 | OA
Hausel, T., & Thaddeus, M. (2004). Generators for the cohomology ring of the moduli space of rank 2 higgs bundles. Proceedings of the London Mathematical Society. Oxford University Press. https://doi.org/10.1112/S0024611503014618
View | DOI | Download (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 13434
Campbell, C. J., Fialkowski, M., Klajn, R., Bensemann, I. T., & Grzybowski, B. A. (2004). Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts. Advanced Materials. Wiley. https://doi.org/10.1002/adma.200400383
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 13435
Klajn, R., Fialkowski, M., Bensemann, I. T., Bitner, A., Campbell, C. J., Bishop, K., … Grzybowski, B. A. (2004). Multicolour micropatterning of thin films of dry gels. Nature Materials. Springer Nature. https://doi.org/10.1038/nmat1231
View | DOI | PubMed | Europe PMC
 

2004 | Published | Journal Article | IST-REx-ID: 902
Castillo Davis, C., Kondrashov, F., Hartl, D., & Kulathinal, R. (2004). The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint. Genome Research. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gr.2195604
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 9454
Chan, S. W.-L., Zilberman, D., Xie, Zhixin, Johansen, Lisa K., Carrington, J. C., & Jacobsen, S. E. (2004). RNA silencing genes control de novo DNA methylation. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1095989
View | DOI | PubMed | Europe PMC
 

2004 | Published | Journal Article | IST-REx-ID: 9493 | OA
Zilberman, D., Cao, X., Johansen, L. K., Xie, Z., Carrington, J. C., & Jacobsen, S. E. (2004). Role of Arabidopsis ARGONAUTE4 in RNA-directed DNA methylation triggered by inverted repeats. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2004.06.055
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2004 | Published | Journal Article | IST-REx-ID: 9511 | OA
Zilberman, D., & Henikoff, S. (2004). Silencing of transposons in plant genomes: kick them when they’re down. Genome Biology. Springer Nature. https://doi.org/10.1186/gb-2004-5-12-249
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

year=2004

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed