Bremer P, Edelsbrunner H, Hamann B, Pascucci V. A topological hierarchy for functions on triangulated surfaces. IEEE Transactions on Visualization and Computer Graphics. 2004;10(4):385-396. doi:10.1109/TVCG.2004.3

Natarajan V, Edelsbrunner H. Simplification of three-dimensional density maps. IEEE Transactions on Visualization and Computer Graphics. 2004;10(5):587-597. doi:10.1109/TVCG.2004.32

Cole Mclaughlin K, Edelsbrunner H, Harer J, Natarajan V, Pascucci V. Loops in Reeb graphs of 2-manifolds. Discrete &; Computational Geometry. 2004;32(2):231-244. doi:10.1007/s00454-004-1122-6

Edelsbrunner H, Harer J, Natarajan V, Pascucci V. Local and global comparison of continuous functions. In: IEEE; 2004:275-280. doi:10.1109/VISUAL.2004.68

Montero J, Heisenberg C-PJ. Gastrulation dynamics: cells move into focus. Trends in Cell Biology. 2004;14(11):620-627. doi:10.1016/j.tcb.2004.09.008

de Vladar H, González J. Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. 2004;227(3):335-348. doi:3801

de Vladar H, Cipriani R, Scharifker B, Bubis J. A mechanism for the prebiotic emergence of proteins. In: Hanslmeier A, Kempe S, Seckbach J, eds. Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds. Springer; 2004:83-87.

de Vladar H. Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. 2004. doi:3810

Maler O, Nickovic D. Monitoring Temporal Properties of Continuous Signals. In: Springer; 2004:152-166. doi:1572

Jhala R. Program verification by lazy abstraction. 2004:1-165.

Henzinger TA, Kirsch C. A typed assembly language for real-time programs. In: ACM; 2004:104-113. doi:10.1145/1017753.1017774

Henzinger TA, Jhala R, Majumdar R, Mcmillan K. Abstractions from proofs. In: ACM; 2004:232-244. doi:10.1145/964001.964021

Henzinger TA, Jhala R, Majumdar R, Sanvido M. Extreme model checking. In: Verification: Theory and Practice. Vol 2772. Springer; 2004:332-358. doi:10.1007/978-3-540-39910-0_16

Henzinger TA, Jhala R, Majumdar R. Race checking by context inference. In: ACM; 2004:1-13. doi:10.1145/996841.996844

Ghosal A, Henzinger TA, Kirsch C, Sanvido M. Event-driven programming with logical execution times. In: Vol 2993. Springer; 2004:167-170. doi:10.1007/978-3-540-24743-2_24

Chatterjee K, De Alfaro L, Henzinger TA. Trading memory for randomness. In: IEEE; 2004:206-217. doi:10.1109/QEST.2004.10051

Chatterjee K, Jurdziski M, Henzinger TA. Quantitative stochastic parity games. In: SIAM; 2004:121-130.

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

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

Beyer D, Henzinger TA, Jhala R, Majumdar R. An eclipse plug-in for model checking. In: IEEE; 2004:251-255. doi:10.1109/WPC.2004.1311069Â  

Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. Generating tests from counterexamples. In: IEEE; 2004:326-335. doi:10.1109/ICSE.2004.1317455

De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. In: Vol 2988. Springer; 2004:77-92. doi:10.1007/978-3-540-24730-2_6

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

Mantzaras J, Freunberger SA, Büchi FN, et al. Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. 2004;58(12):857-868. doi:10.2533/000942904777677029

Santis M, Schmid D, Ruge M, Freunberger SA, Büchi FN. Modular stack-internal air humidification concept-verification in a 1kW stack. Fuel Cells. 2004;4(3):214-218. doi:10.1002/fuce.200400028

Panchenko A, Kondrashov F, Bryant S. Prediction of functional sites by analysis of sequence and structure conservation. Protein Science. 2004;13(4):884-892. doi:10.1110/ps.03465504

Kondrashov F, Ogurtsov A, Kondrashov A. Bioinformatical assay of human gene morbidity. Nucleic Acids Research. 2004;32(5):1731-1737. doi:10.1093/nar/gkh330

Kondrashov F, Koonin E. A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications. Trends in Genetics. 2004;20(7):287-291. doi:10.1016/j.tig.2004.05.001

Kern A, Kondrashov F. Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs. Nature Genetics. 2004;36(11):1207-1212. doi:10.1038/ng1451

Zilberman D, Cao X, Johansen LK, Xie Z, Carrington JC, Jacobsen SE. Role of Arabidopsis ARGONAUT in RNA-directed DNA methylation triggered by inverted repeats. Current Biology. 2004;14(13):1214-1220. doi:10.1016/j.cub.2004.06.055

Xie Z, Johansen LK, Gustafson AM, et al. Genetic and functional diversification of small RNA pathways in plants. PLoS Biology. 2004;2(5):0642-0652. doi:10.1371/journal.pbio.0020104

Zilberman D, Henikoff S. Silencing of transposons in plant genomes: kick them when they’re down. Genome Biology. 2004;5(12). doi:10.1186/gb-2004-5-12-249

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

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

Bazykin G, Kondrashov F, Ogurtsov A, Sunyaev S, Kondrashov A. Positive selection at sites of multiple amino acid replacements since rat-mouse divergence. Nature. 2004;429(6991):558-562. doi:10.1038/nature02601

Castillo Davis C, Kondrashov F, Hartl D, Kulathinal R. The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint. Genome Research. 2004;14(5):802-811. doi:10.1101/gr.2195604

Chan SW-L, Zilberman D, Xie10.1126/science.1095989__Zhixin, Johansen10.1126/science.1095989__Lisa K., Carrington JC, Jacobsen SE. RNA silencing genes control de novo DNA methylation. Science. 2004;303(5662):1336. doi:10.1126/science.1095989

Liao Z, Chen M, Gong Y, et al. A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides. DNA Sequence. 2004;15(2):153-158. doi:10.1080/10425170410001667348

Klajn R, Fialkowski M, Bensemann IT, et al. Multicolour micropatterning of thin films of dry gels. Nature Materials. 2004;3:729-735. doi:10.1038/nmat1231

Campbell CJ, Fialkowski M, Klajn R, Bensemann IT, Grzybowski BA. Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts. Advanced Materials. 2004;16(21):1912-1917. doi:10.1002/adma.200400383

Brunet A, Sweeney LB, Sturgill JF, et al. Stress-dependent regulation of FOXO transcription factors by the SIR deacetylase. Science. 2004;303(5666):2011-2015. doi:10.1126/science.1094637