Edelsbrunner, Herbert. “Biological Applications of Computational Topology.” In Handbook of Discrete and Computational Geometry, 1395–1412. CRC Press, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/3574

Charlesworth, Brian, and Nicholas H Barton. “Genome Size: Does Bigger Mean Worse?”https://doi.org/10.1016/j.cub.2004.02.054__Current Biology. Cell Press, 2004.https://doi.org/10.1016/j.cub.2004.02.054 .
LibreCat: https://research-explorer.ista.ac.at/record/3595
DOI: 10.1016/j.cub.2004.02.054

Barton, Nicholas H, and Michael Turelli. “Effects of Allele Frequency Changes on Variance Components under a General Model of Epistasis.”https://doi.org/10.1111/j.0014-3820.2004.tb01591.x__Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2004.https://doi.org/10.1111/j.0014-3820.2004.tb01591.x .
LibreCat: https://research-explorer.ista.ac.at/record/3614
DOI: 10.1111/j.0014-3820.2004.tb01591.x

Turelli, Michael, and Nicholas H Barton. “Polygenic Variation Maintained by Balancing Selection: Pleiotropy, Sex-Dependent Allelic Effects and GxE Interactions.”https://doi.org/10.1534/genetics.166.2.1053__Genetics. Genetics Society of America, 2004.https://doi.org/10.1534/genetics.166.2.1053 .
LibreCat: https://research-explorer.ista.ac.at/record/3615
DOI: 10.1534/genetics.166.2.1053

Kampa, Bjorn, John Clements, Peter M Jonas, and Greg Stuart. “Kinetics of Mg(2+) Unblock of NMDA Receptors: Implications for Spike-Timing Dependent Synaptic Plasticity.”https://doi.org/10.1113/jphysiol.2003.058842 __Journal of Physiology. Wiley-Blackwell, 2004.https://doi.org/10.1113/jphysiol.2003.058842  .
LibreCat: https://research-explorer.ista.ac.at/record/3807
DOI: 10.1113/jphysiol.2003.058842 

Schmidt Hieber, Christoph, Peter M Jonas, and Josef Bischofberger. “Enhanced Synaptic Plasticity in Newly Generated Granule Cells of the Adult Hippocampus.”https://doi.org/10.1038/nature02553__Nature. Nature Publishing Group, 2004.https://doi.org/10.1038/nature02553 .
LibreCat: https://research-explorer.ista.ac.at/record/3809
DOI: 10.1038/nature02553

Jonas, Peter M, Josef Bischofberger, Desdemona Fricker, and Richard Miles. “Interneuron Diversity Series: Fast in, Fast out--Temporal and Spatial Signal Processing in Hippocampal Interneurons.”https://doi.org/doi:10.1016/j.tins.2003.10.010__Trends in Neurosciences. Elsevier, 2004.https://doi.org/doi:10.1016/j.tins.2003.10.010 .
LibreCat: https://research-explorer.ista.ac.at/record/3805
DOI: doi:10.1016/j.tins.2003.10.010

Heinze, Jürgen, A. Böttcher, and Sylvia Cremer. “Production of Winged and Wingless Males in the Ant, Cardiocondyla Minutior.”https://doi.org/10.1007/s00040-004-0740-6__Insectes Sociaux. Springer, 2004.https://doi.org/10.1007/s00040-004-0740-6 .
LibreCat: https://research-explorer.ista.ac.at/record/3918
DOI: 10.1007/s00040-004-0740-6

Choi, Vicky, Pankaj Agarwal, Herbert Edelsbrunner, and Johannes Rudolph. “Local Search Heuristic for Rigid Protein Docking,”https://doi.org/10.1007/978-3-540-30219-3_19__3240:218–29. Springer, 2004.https://doi.org/10.1007/978-3-540-30219-3_19 .
LibreCat: https://research-explorer.ista.ac.at/record/3988
DOI: 10.1007/978-3-540-30219-3_19

Bryant, Robert, Herbert Edelsbrunner, Patrice Koehl, and Michael Levitt. “The Area Derivative of a Space-Filling Diagram.”https://doi.org/10.1007/s00454-004-1099-1__Discrete &; Computational Geometry. Springer, 2004.https://doi.org/10.1007/s00454-004-1099-1 .
LibreCat: https://research-explorer.ista.ac.at/record/3986
DOI: 10.1007/s00454-004-1099-1

Bremer, Peer, Herbert Edelsbrunner, Bernd Hamann, and Valerio Pascucci. “A Topological Hierarchy for Functions on Triangulated Surfaces.”https://doi.org/10.1109/TVCG.2004.3__IEEE Transactions on Visualization and Computer Graphics. IEEE, 2004.https://doi.org/10.1109/TVCG.2004.3 .
LibreCat: https://research-explorer.ista.ac.at/record/3984
DOI: 10.1109/TVCG.2004.3

Natarajan, Vijay, and Herbert Edelsbrunner. “Simplification of Three-Dimensional Density Maps.”https://doi.org/10.1109/TVCG.2004.32__IEEE Transactions on Visualization and Computer Graphics. IEEE, 2004.https://doi.org/10.1109/TVCG.2004.32 .
LibreCat: https://research-explorer.ista.ac.at/record/3987
DOI: 10.1109/TVCG.2004.32

Cole Mclaughlin, Kree, Herbert Edelsbrunner, John Harer, Vijay Natarajan, and Valerio Pascucci. “Loops in Reeb Graphs of 2-Manifolds.”https://doi.org/10.1007/s00454-004-1122-6__Discrete &; Computational Geometry. Springer, 2004.https://doi.org/10.1007/s00454-004-1122-6 .
LibreCat: https://research-explorer.ista.ac.at/record/3985
DOI: 10.1007/s00454-004-1122-6

Edelsbrunner, Herbert, John Harer, Vijay Natarajan, and Valerio Pascucci. “Local and Global Comparison of Continuous Functions,”https://doi.org/10.1109/VISUAL.2004.68__275–80. IEEE, 2004.https://doi.org/10.1109/VISUAL.2004.68 .
LibreCat: https://research-explorer.ista.ac.at/record/3989
DOI: 10.1109/VISUAL.2004.68

Montero, Juan, and Carl-Philipp J Heisenberg. “Gastrulation Dynamics: Cells Move into Focus.”https://doi.org/10.1016/j.tcb.2004.09.008__Trends in Cell Biology. Cell Press, 2004.https://doi.org/10.1016/j.tcb.2004.09.008 .
LibreCat: https://research-explorer.ista.ac.at/record/4172
DOI: 10.1016/j.tcb.2004.09.008

Vladar, Harold de, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.”https://doi.org/3801__Journal of Theoretical Biology. Elsevier, 2004.https://doi.org/3801 .
LibreCat: https://research-explorer.ista.ac.at/record/4238
DOI: 3801

Vladar, Harold de, Roberto Cipriani, Benjamin Scharifker, and Jose Bubis. “A Mechanism for the Prebiotic Emergence of Proteins.” In Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, edited by A. Hanslmeier, S. Kempe, and J. Seckbach, 83–87. Springer, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/4230

Vladar, Harold de. “Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares.”https://doi.org/3810__Centro de estudios avazados, IVIC, 2004.https://doi.org/3810 .
LibreCat: https://research-explorer.ista.ac.at/record/4236
DOI: 3810

Maler, Oded, and Dejan Nickovic. “Monitoring Temporal Properties of Continuous Signals,”https://doi.org/1572__152–66. Springer, 2004.https://doi.org/1572 .
LibreCat: https://research-explorer.ista.ac.at/record/4372
DOI: 1572

Jhala, Ranjit. “Program Verification by Lazy Abstraction.” University of California, Berkeley, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/4424

Henzinger, Thomas A, and Christoph Kirsch. “A Typed Assembly Language for Real-Time Programs,”https://doi.org/10.1145/1017753.1017774__104–13. ACM, 2004.https://doi.org/10.1145/1017753.1017774 .
LibreCat: https://research-explorer.ista.ac.at/record/4445
DOI: 10.1145/1017753.1017774

Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Kenneth Mcmillan. “Abstractions from Proofs,”https://doi.org/10.1145/964001.964021__232–44. ACM, 2004.https://doi.org/10.1145/964001.964021 .
LibreCat: https://research-explorer.ista.ac.at/record/4458
DOI: 10.1145/964001.964021

Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Marco Sanvido. “Extreme Model Checking.”https://doi.org/10.1007/978-3-540-39910-0_16__In Verification: Theory and Practice, 2772:332–58. Springer, 2004.https://doi.org/10.1007/978-3-540-39910-0_16 .
LibreCat: https://research-explorer.ista.ac.at/record/4461
DOI: 10.1007/978-3-540-39910-0_16

Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Race Checking by Context Inference,”https://doi.org/10.1145/996841.996844__1–13. ACM, 2004.https://doi.org/10.1145/996841.996844 .
LibreCat: https://research-explorer.ista.ac.at/record/4459
DOI: 10.1145/996841.996844

Ghosal, Arkadeb, Thomas A Henzinger, Christoph Kirsch, and Marco Sanvido. “Event-Driven Programming with Logical Execution Times,”https://doi.org/10.1007/978-3-540-24743-2_24__2993:167–70. Springer, 2004.https://doi.org/10.1007/978-3-540-24743-2_24 .
LibreCat: https://research-explorer.ista.ac.at/record/4525
DOI: 10.1007/978-3-540-24743-2_24

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Trading Memory for Randomness,”https://doi.org/10.1109/QEST.2004.10051__206–17. IEEE, 2004.https://doi.org/10.1109/QEST.2004.10051 .
LibreCat: https://research-explorer.ista.ac.at/record/4555
DOI: 10.1109/QEST.2004.10051

Chatterjee, Krishnendu, Marcin Jurdziski, and Thomas A Henzinger. “Quantitative Stochastic Parity Games,” 121–30. SIAM, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/4558

Chatterjee, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger, and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs.”https://doi.org/10.1016/j.ic.2004.06.001__Information and Computation. Elsevier, 2004.https://doi.org/10.1016/j.ic.2004.06.001 .
LibreCat: https://research-explorer.ista.ac.at/record/4556
DOI: 10.1016/j.ic.2004.06.001

Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The BLAST Query Language for Software Verification,”https://doi.org/10.1007/978-3-540-27864-1_2__3148:2–18. Springer, 2004.https://doi.org/10.1007/978-3-540-27864-1_2 .
LibreCat: https://research-explorer.ista.ac.at/record/4578
DOI: 10.1007/978-3-540-27864-1_2

Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “An Eclipse Plug-in for Model Checking,”https://doi.org/10.1109/WPC.2004.1311069Â  __251–55. IEEE, 2004.https://doi.org/10.1109/WPC.2004.1311069Â   .
LibreCat: https://research-explorer.ista.ac.at/record/4577
DOI: 10.1109/WPC.2004.1311069  

Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Generating Tests from Counterexamples,”https://doi.org/10.1109/ICSE.2004.1317455__326–35. IEEE, 2004.https://doi.org/10.1109/ICSE.2004.1317455 .
LibreCat: https://research-explorer.ista.ac.at/record/4581
DOI: 10.1109/ICSE.2004.1317455

De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties,”https://doi.org/10.1007/978-3-540-24730-2_6__2988:77–92. Springer, 2004.https://doi.org/10.1007/978-3-540-24730-2_6 .
LibreCat: https://research-explorer.ista.ac.at/record/4629
DOI: 10.1007/978-3-540-24730-2_6

Cheung, Benny H.H, Fausto Arellano-Carbajal, Irene Rybicki, and Mario de Bono. “Soluble Guanylate Cyclases Act in Neurons Exposed to the Body Fluid to Promote C. Elegans Aggregation Behavior.”https://doi.org/10.1016/j.cub.2004.06.027__Current Biology. Elsevier, 2004.https://doi.org/10.1016/j.cub.2004.06.027 .
LibreCat: https://research-explorer.ista.ac.at/record/6155
DOI: 10.1016/j.cub.2004.06.027
PMID: 15203005

Mantzaras, John, Stefan Alexander Freunberger, Felix N. Büchi, Markus Roos, Wilhelm Brandstätter, Michel Prestat, Ludwig J. Gauckler, et al. “Fuel Cell Modeling and Simulations.”https://doi.org/10.2533/000942904777677029__CHIMIA International Journal for Chemistry. Swiss Chemical Society, 2004.https://doi.org/10.2533/000942904777677029 .
LibreCat: https://research-explorer.ista.ac.at/record/7334
DOI: 10.2533/000942904777677029

Santis, M., D. Schmid, M. Ruge, Stefan Alexander Freunberger, and F.N. Büchi. “Modular Stack-Internal Air Humidification Concept-Verification in a 1KW Stack.”https://doi.org/10.1002/fuce.200400028__Fuel Cells. Wiley, 2004.https://doi.org/10.1002/fuce.200400028 .
LibreCat: https://research-explorer.ista.ac.at/record/7333
DOI: 10.1002/fuce.200400028

Panchenko, Anna, Fyodor Kondrashov, and Stephen Bryant. “Prediction of Functional Sites by Analysis of Sequence and Structure Conservation.”https://doi.org/10.1110/ps.03465504__Protein Science. Wiley-Blackwell, 2004.https://doi.org/10.1110/ps.03465504 .
LibreCat: https://research-explorer.ista.ac.at/record/864
DOI: 10.1110/ps.03465504

Kondrashov, Fyodor, Aleksey Ogurtsov, and Alexey Kondrashov. “Bioinformatical Assay of Human Gene Morbidity.”https://doi.org/10.1093/nar/gkh330__Nucleic Acids Research. Oxford University Press, 2004.https://doi.org/10.1093/nar/gkh330 .
LibreCat: https://research-explorer.ista.ac.at/record/870
DOI: 10.1093/nar/gkh330

Kondrashov, Fyodor, and Eugene Koonin. “A Common Framework for Understanding the Origin of Genetic Dominance and Evolutionary Fates of Gene Duplications.”https://doi.org/10.1016/j.tig.2004.05.001__Trends in Genetics. Elsevier, 2004.https://doi.org/10.1016/j.tig.2004.05.001 .
LibreCat: https://research-explorer.ista.ac.at/record/875
DOI: 10.1016/j.tig.2004.05.001

Kern, Andrew, and Fyodor Kondrashov. “Mechanisms and Convergence of Compensatory Evolution in Mammalian Mitochondrial TRNAs.”https://doi.org/10.1038/ng1451__Nature Genetics. Nature Publishing Group, 2004.https://doi.org/10.1038/ng1451 .
LibreCat: https://research-explorer.ista.ac.at/record/889
DOI: 10.1038/ng1451

Zilberman, Daniel, Xiaofeng Cao, Lisa K. Johansen, Zhixin Xie, James C. Carrington, and Steven E. Jacobsen. “Role of Arabidopsis ARGONAUT in RNA-Directed DNA Methylation Triggered by Inverted Repeats.”https://doi.org/10.1016/j.cub.2004.06.055__Current Biology. Elsevier, 2004.https://doi.org/10.1016/j.cub.2004.06.055 .
LibreCat: https://research-explorer.ista.ac.at/record/9493
DOI: 10.1016/j.cub.2004.06.055
PMID: 15242620 

Xie, Zhixin, Lisa K. Johansen, Adam M. Gustafson, Kristin D. Kasschau, Andrew D.https://doi.org/10.1371/journal.pbio.0020104__Lellis, Daniel Zilberman, Steven E. Jacobsen, and James C. Carrington. “Genetic and Functional Diversification of Small RNA Pathways in Plants.”https://doi.org/10.1371/journal.pbio.0020104__PLoS Biology. Public Library of Science, 2004.https://doi.org/10.1371/journal.pbio.0020104 .
LibreCat: https://research-explorer.ista.ac.at/record/9517
DOI: 10.1371/journal.pbio.0020104
PMID: 15024409

Zilberman, Daniel, and Steven Henikoff. “Silencing of Transposons in Plant Genomes: Kick Them When They’re Down.”https://doi.org/10.1186/gb-2004-5-12-249__Genome Biology. Springer Nature, 2004.https://doi.org/10.1186/gb-2004-5-12-249 .
LibreCat: https://research-explorer.ista.ac.at/record/9511
DOI: 10.1186/gb-2004-5-12-249
PMID: 15575975

Dolgopyat, Dmitry, Vadim Kaloshin, and Leonid Koralov. “A Limit Shape Theorem for Periodic Stochastic Dispersion.”https://doi.org/10.1002/cpa.20032__Communications on Pure and Applied Mathematics. Wiley, 2004.https://doi.org/10.1002/cpa.20032 .
LibreCat: https://research-explorer.ista.ac.at/record/8517
DOI: 10.1002/cpa.20032

Koralov, Leonid, Vadim Kaloshin, and Dmitry Dolgopyat. “Sample Path Properties of the Stochastic Flows.”https://doi.org/10.1214/aop/1078415827__The Annals of Probability. Institute of Mathematical Statistics, 2004.https://doi.org/10.1214/aop/1078415827 .
LibreCat: https://research-explorer.ista.ac.at/record/8518
DOI: 10.1214/aop/1078415827

Bazykin, Georgii, Fyodor Kondrashov, Aleksey Ogurtsov, Shamil Sunyaev, and Alexey Kondrashov. “Positive Selection at Sites of Multiple Amino Acid Replacements since Rat-Mouse Divergence.”https://doi.org/10.1038/nature02601__Nature. Nature Publishing Group, 2004.https://doi.org/10.1038/nature02601 .
LibreCat: https://research-explorer.ista.ac.at/record/898
DOI: 10.1038/nature02601

Castillo Davis, Cristian, Fyodor Kondrashov, Daniel Hartl, and Rob Kulathinal. “The Functional Genomic Distribution of Protein Divergence in Two Animal Phyla: Coevolution, Genomic Conflict, and Constraint.”https://doi.org/10.1101/gr.2195604__Genome Research. Cold Spring Harbor Laboratory Press, 2004.https://doi.org/10.1101/gr.2195604 .
LibreCat: https://research-explorer.ista.ac.at/record/902
DOI: 10.1101/gr.2195604

Chan, Simon W.-L., Daniel Zilberman,https://doi.org/10.1126/science.1095989__Zhixin Xie,https://doi.org/10.1126/science.1095989__Lisa K. Johansen, James C. Carrington, and Steven E. Jacobsen. “RNA Silencing Genes Control de Novo DNA Methylation.”https://doi.org/10.1126/science.1095989__Science. American Association for the Advancement of Science, 2004.https://doi.org/10.1126/science.1095989 .
LibreCat: https://research-explorer.ista.ac.at/record/9454
DOI: 10.1126/science.1095989
PMID: 14988555

Liao, Zhihua, Min Chen, Yifu Gong, Liang Guo, Qiumin Tan, Xiaoqi Feng, Xiaofen Sun, Feng Tan, and Kexuan Tang. “A New Geranylgeranyl Diphosphate Synthase Gene from Ginkgo Biloba, Which Intermediates the Biosynthesis of the Key Precursor for Ginkgolides.”https://doi.org/10.1080/10425170410001667348__DNA Sequence. Informa UK Limited, 2004.https://doi.org/10.1080/10425170410001667348 .
LibreCat: https://research-explorer.ista.ac.at/record/12203
DOI: 10.1080/10425170410001667348
PMID: 15352294

Klajn, Rafal, Marcin Fialkowski, Igor T. Bensemann, Agnieszka Bitner, C. J. Campbell, Kyle Bishop, Stoyan Smoukov, and Bartosz A. Grzybowski. “Multicolour Micropatterning of Thin Films of Dry Gels.”https://doi.org/10.1038/nmat1231__Nature Materials. Springer Nature, 2004.https://doi.org/10.1038/nmat1231 .
LibreCat: https://research-explorer.ista.ac.at/record/13435
DOI: 10.1038/nmat1231
PMID: 15378052

Campbell, C. J., M. Fialkowski, Rafal Klajn, I. T. Bensemann, and B. A. Grzybowski. “Color Micro- and Nanopatterning with Counter-Propagating Reaction-Diffusion Fronts.”https://doi.org/10.1002/adma.200400383__Advanced Materials. Wiley, 2004.https://doi.org/10.1002/adma.200400383 .
LibreCat: https://research-explorer.ista.ac.at/record/13434
DOI: 10.1002/adma.200400383