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. 70(2), 023612-1-0236121-2.
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: Towards a Theory of Geometric Graphs. Contemporary Mathematics , vol. 342, 139–148.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 2425
Matoušek J, Wagner U. 2004. New constructions of weak ε-nets. Discrete & Computational Geometry. 32(2), 195–206.
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. 32(2), 245–267.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 7333
Santis M, Schmid D, Ruge M, Freunberger SA, Büchi FN. 2004. Modular stack-internal air humidification concept-verification in a 1 kW stack. Fuel Cells. 4(3), 214–218.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 7334
Mantzaras J, Freunberger SA, Büchi FN, Roos M, Brandstätter W, Prestat M, Gauckler LJ, Andreaus B, Hajbolouri F, Senn SM, Poulikakos D, Chaniotis AK, Larrain D, Autissier N, Maréchal F. 2004. Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. 58(12), 857–868.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 7706
Brunet A, Sweeney LB, Sturgill JF, Chua K, Greer P, Lin Y, Tran H, Ross S, Mostoslavsky R, Cohen H, Hu L, Chen H-L, Jedrychowski M, Gygi S, Sinclair D, Alt F, Greenberg M. 2004. Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase. Science. 303(5666), 2011–2015.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4577
Beyer D, Henzinger TA, Jhala R, Majumdar R. 2004. An eclipse plug-in for model checking. IWPC: Program Comprehension, 251–255.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4578
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. The BLAST query language for software verification. SAS: Static Analysis Symposium, LNCS, vol. 3148, 2–18.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4581
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. Generating tests from counterexamples. ICSE: Software Engineering, 326–335.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4629
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2004. Model checking discounted temporal properties. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 2988, 77–92.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 6155
Cheung BH., 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. 14(12), 1105–1111.
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. 122(3), 485–548.
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. 88(3), 632–658.
View | DOI | Download (ext.)
 

2004 | Published | Journal Article | IST-REx-ID: 13434
Campbell CJ, Fialkowski M, Klajn R, Bensemann IT, Grzybowski BA. 2004. Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts. Advanced Materials. 16(21), 1912–1917.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 13435
Klajn R, Fialkowski M, Bensemann IT, Bitner A, Campbell CJ, Bishop K, Smoukov S, Grzybowski BA. 2004. Multicolour micropatterning of thin films of dry gels. Nature Materials. 3, 729–735.
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. 14(5), 802–811.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 9454
Chan SW-L, Zilberman D, Xie Zhixin, Johansen Lisa K., Carrington JC, Jacobsen SE. 2004. RNA silencing genes control de novo DNA methylation. Science. 303(5662), 1336.
View | DOI | PubMed | Europe PMC
 

2004 | Published | Journal Article | IST-REx-ID: 9493 | OA
Zilberman D, Cao X, Johansen LK, Xie Z, Carrington JC, Jacobsen SE. 2004. Role of Arabidopsis ARGONAUTE4 in RNA-directed DNA methylation triggered by inverted repeats. Current Biology. 14(13), 1214–1220.
[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. 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: ISTA Annual Report

Export / Embed