Zabih, R., &; Kolmogorov, V. (2004). Spatially coherent clustering using graph cuts (Vol. 2, pp. 437–444). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE.https://doi.org/10.1109/CVPR.2004.1315196 
LibreCat: https://research-explorer.ista.ac.at/record/3177
DOI: 10.1109/CVPR.2004.1315196

Rother, C., Kolmogorov, V., &; Blake, A. (2004). &;quot;GrabCut&;quot; - Interactive foreground extraction using iterated graph cutshttps://doi.org/10.1145/1015706.1015720__(Vol. 23, pp. 309–314). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, ACM.https://doi.org/10.1145/1015706.1015720 
LibreCat: https://research-explorer.ista.ac.at/record/3179
DOI: 10.1145/1015706.1015720

Kedrov, A., Ziegler, C., Janovjak, H. L., Kühlbrandt, W., &; Mueller, D. (2004). Controlled unfolding and refolding of a single sodium/proton antiporter using atomic force microscopy. Journal of Molecular Biology. Elsevier.https://doi.org/10.1016/j.jmb.2004.05.026 
LibreCat: https://research-explorer.ista.ac.at/record/3420
DOI: 10.1016/j.jmb.2004.05.026

Janovjak, H. L., Struckmeier, J., Hubain, M., Kessler, M., Kedrov, A., &; Mueller, D. (2004). Probing the energy landscape of the membrane protein bacteriorhodopsin. Structure. Cell Press.https://doi.org/10.1016/j.str.2004.03.016 
LibreCat: https://research-explorer.ista.ac.at/record/3419
DOI: 10.1016/j.str.2004.03.016

Edelsbrunner, H., &; Harer, J. (2004). Jacobi sets of multiple Morse functions. In Foundations of Computational Mathematics (Vol. 312, pp. 37–57). Springer.https://doi.org/10.1017/CBO9781139106962.003 
LibreCat: https://research-explorer.ista.ac.at/record/3575
DOI: 10.1017/CBO9781139106962.003

Edelsbrunner, H. (2004). Biological applications of computational topology. In Handbook of Discrete and Computational Geometry (pp. 1395–1412). CRC Press.
LibreCat: https://research-explorer.ista.ac.at/record/3574

Charlesworth, B., &; Barton, N. H. (2004). Genome size: Does bigger mean worse? Current Biology. Cell Press.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, N. H., &; Turelli, M. (2004). Effects of allele frequency changes on variance components under a general model of epistasis. Evolution; International Journal of Organic Evolution. Wiley-Blackwell.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, M., &; Barton, N. H. (2004). Polygenic variation maintained by balancing selection: pleiotropy, sex-dependent allelic effects and GxE interactions. Genetics. Genetics Society of America.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, B., Clements, J., Jonas, P. M., &; Stuart, G. (2004). Kinetics of Mg(2+) unblock of NMDA receptors: implications for spike-timing dependent synaptic plasticity. Journal of Physiology. Wiley-Blackwell.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, C., Jonas, P. M., &; Bischofberger, J. (2004). Enhanced synaptic plasticity in newly generated granule cells of the adult hippocampus. Nature. Nature Publishing Group.https://doi.org/10.1038/nature02553 
LibreCat: https://research-explorer.ista.ac.at/record/3809
DOI: 10.1038/nature02553

Jonas, P. M., Bischofberger, J., Fricker, D., &; Miles, R. (2004). Interneuron Diversity series: Fast in, fast out--temporal and spatial signal processing in hippocampal interneurons. Trends in Neurosciences. Elsevier.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., Böttcher, A., &; Cremer, S. (2004). Production of winged and wingless males in the ant, Cardiocondyla minutior. Insectes Sociaux. Springer.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, V., Agarwal, P., Edelsbrunner, H., &; Rudolph, J. (2004). Local search heuristic for rigid protein docking (Vol. 3240, pp. 218–229). Presented at the WABI: 4th International Workshop on Algorithms in Bioinformatics, Springer.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, R., Edelsbrunner, H., Koehl, P., &; Levitt, M. (2004). The area derivative of a space-filling diagram. Discrete &; Computational Geometry. Springer.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, P., Edelsbrunner, H., Hamann, B., &; Pascucci, V. (2004). A topological hierarchy for functions on triangulated surfaces. IEEE Transactions on Visualization and Computer Graphics. IEEE.https://doi.org/10.1109/TVCG.2004.3 
LibreCat: https://research-explorer.ista.ac.at/record/3984
DOI: 10.1109/TVCG.2004.3

Natarajan, V., &; Edelsbrunner, H. (2004). Simplification of three-dimensional density maps. IEEE Transactions on Visualization and Computer Graphics. IEEE.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, K., Edelsbrunner, H., Harer, J., Natarajan, V., &; Pascucci, V. (2004). Loops in Reeb graphs of 2-manifolds. Discrete &; Computational Geometry. Springer.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, H., Harer, J., Natarajan, V., &; Pascucci, V. (2004). Local and global comparison of continuous functions (pp. 275–280). Presented at the VIS: IEEE Visualization, IEEE.https://doi.org/10.1109/VISUAL.2004.68 
LibreCat: https://research-explorer.ista.ac.at/record/3989
DOI: 10.1109/VISUAL.2004.68

Montero, J., &; Heisenberg, C.-P. J. (2004). Gastrulation dynamics: cells move into focus. Trends in Cell Biology. Cell Press.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

de Vladar, H., &; González, J. (2004). Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. Elsevier.https://doi.org/3801 
LibreCat: https://research-explorer.ista.ac.at/record/4238
DOI: 3801

de Vladar, H., Cipriani, R., Scharifker, B., &; Bubis, J. (2004). A mechanism for the prebiotic emergence of proteins. In A. Hanslmeier, S. Kempe, &; J. Seckbach (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds (pp. 83–87). Springer.
LibreCat: https://research-explorer.ista.ac.at/record/4230

de Vladar, H. (2004). Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. Centro de estudios avazados, IVIC.https://doi.org/3810 
LibreCat: https://research-explorer.ista.ac.at/record/4236
DOI: 3810

Maler, O., &; Nickovic, D. (2004). Monitoring Temporal Properties of Continuous Signals (pp. 152–166). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer.https://doi.org/1572 
LibreCat: https://research-explorer.ista.ac.at/record/4372
DOI: 1572

Jhala, R. (2004). Program verification by lazy abstraction. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4424

Henzinger, T. A., &; Kirsch, C. (2004). A typed assembly language for real-time programs (pp. 104–113). Presented at the EMSOFT: Embedded Software , ACM.https://doi.org/10.1145/1017753.1017774 
LibreCat: https://research-explorer.ista.ac.at/record/4445
DOI: 10.1145/1017753.1017774

Henzinger, T. A., Jhala, R., Majumdar, R., &; Mcmillan, K. (2004). Abstractions from proofs (pp. 232–244). Presented at the POPL: Principles of Programming Languages, ACM.https://doi.org/10.1145/964001.964021 
LibreCat: https://research-explorer.ista.ac.at/record/4458
DOI: 10.1145/964001.964021

Henzinger, T. A., Jhala, R., Majumdar, R., &; Sanvido, M. (2004). Extreme model checking. In Verification: Theory and Practice (Vol. 2772, pp. 332–358). Springer.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, T. A., Jhala, R., &; Majumdar, R. (2004). Race checking by context inference (pp. 1–13). Presented at the PLDI: Programming Languages Design and Implementation, ACM.https://doi.org/10.1145/996841.996844 
LibreCat: https://research-explorer.ista.ac.at/record/4459
DOI: 10.1145/996841.996844

Ghosal, A., Henzinger, T. A., Kirsch, C., &; Sanvido, M. (2004). Event-driven programming with logical execution times (Vol. 2993, pp. 167–170). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer.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, K., De Alfaro, L., &; Henzinger, T. A. (2004). Trading memory for randomness (pp. 206–217). Presented at the QEST: Quantitative Evaluation of Systems, IEEE.https://doi.org/10.1109/QEST.2004.10051 
LibreCat: https://research-explorer.ista.ac.at/record/4555
DOI: 10.1109/QEST.2004.10051

Chatterjee, K., Jurdziski, M., &; Henzinger, T. A. (2004). Quantitative stochastic parity games (pp. 121–130). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
LibreCat: https://research-explorer.ista.ac.at/record/4558

Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T. A., &; Palsberg, J. (2004). Stack size analysis for interrupt-driven programs. Information and Computation. Elsevier.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, 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 
LibreCat: https://research-explorer.ista.ac.at/record/4578
DOI: 10.1007/978-3-540-27864-1_2

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Â   
LibreCat: https://research-explorer.ista.ac.at/record/4577
DOI: 10.1109/WPC.2004.1311069  

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 
LibreCat: https://research-explorer.ista.ac.at/record/4581
DOI: 10.1109/ICSE.2004.1317455

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 
LibreCat: https://research-explorer.ista.ac.at/record/4629
DOI: 10.1007/978-3-540-24730-2_6

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 
LibreCat: https://research-explorer.ista.ac.at/record/6155
DOI: 10.1016/j.cub.2004.06.027
PMID: 15203005

Mantzaras, J., Freunberger, S. A., Büchi, F. N., Roos, M., Brandstätter, W., Prestat, M.,https://doi.org/10.2533/000942904777677029__Maréchal, F. (2004). Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. Swiss Chemical Society.https://doi.org/10.2533/000942904777677029 
LibreCat: https://research-explorer.ista.ac.at/record/7334
DOI: 10.2533/000942904777677029

Santis, M., Schmid, D., Ruge, M., Freunberger, S. A., &; Büchi, F. N. (2004). Modular stack-internal air humidification concept-verification in a 1kW stack. Fuel Cells. Wiley.https://doi.org/10.1002/fuce.200400028 
LibreCat: https://research-explorer.ista.ac.at/record/7333
DOI: 10.1002/fuce.200400028

Panchenko, A., Kondrashov, F., &; Bryant, S. (2004). Prediction of functional sites by analysis of sequence and structure conservation. Protein Science. Wiley-Blackwell.https://doi.org/10.1110/ps.03465504 
LibreCat: https://research-explorer.ista.ac.at/record/864
DOI: 10.1110/ps.03465504

Kondrashov, F., Ogurtsov, A., &; Kondrashov, A. (2004). Bioinformatical assay of human gene morbidity. Nucleic Acids Research. Oxford University Press.https://doi.org/10.1093/nar/gkh330 
LibreCat: https://research-explorer.ista.ac.at/record/870
DOI: 10.1093/nar/gkh330

Kondrashov, F., &; Koonin, E. (2004). A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications. Trends in Genetics. Elsevier.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, A., &; Kondrashov, F. (2004). Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs. Nature Genetics. Nature Publishing Group.https://doi.org/10.1038/ng1451 
LibreCat: https://research-explorer.ista.ac.at/record/889
DOI: 10.1038/ng1451

Zilberman, D., Cao, X., Johansen, L. K., Xie, Z., Carrington, J. C., &; Jacobsen, S. E. (2004). Role of Arabidopsis ARGONAUT in RNA-directed DNA methylation triggered by inverted repeats. Current Biology. Elsevier.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, Z., Johansen, L. K., Gustafson, A. M., Kasschau, K. D., Lellis, A. D., Zilberman, D.,https://doi.org/10.1371/journal.pbio.0020104__Carrington, J. C. (2004). Genetic and functional diversification of small RNA pathways in plants. PLoS Biology. Public Library of Science.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, 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 
LibreCat: https://research-explorer.ista.ac.at/record/9511
DOI: 10.1186/gb-2004-5-12-249
PMID: 15575975

Dolgopyat, D., Kaloshin, V., &; Koralov, L. (2004). A limit shape theorem for periodic stochastic dispersion. Communications on Pure and Applied Mathematics. Wiley.https://doi.org/10.1002/cpa.20032 
LibreCat: https://research-explorer.ista.ac.at/record/8517
DOI: 10.1002/cpa.20032

Koralov, L., Kaloshin, V., &; Dolgopyat, D. (2004). Sample path properties of the stochastic flows. The Annals of Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/aop/1078415827 
LibreCat: https://research-explorer.ista.ac.at/record/8518
DOI: 10.1214/aop/1078415827

Bazykin, G., Kondrashov, F., Ogurtsov, A., Sunyaev, S., &; Kondrashov, A. (2004). Positive selection at sites of multiple amino acid replacements since rat-mouse divergence. Nature. Nature Publishing Group.https://doi.org/10.1038/nature02601 
LibreCat: https://research-explorer.ista.ac.at/record/898
DOI: 10.1038/nature02601

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 
LibreCat: https://research-explorer.ista.ac.at/record/902
DOI: 10.1101/gr.2195604

Chan, S. W.-L., Zilberman, D., Xie,https://doi.org/10.1126/science.1095989__Zhixin, Johansen,https://doi.org/10.1126/science.1095989__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 
LibreCat: https://research-explorer.ista.ac.at/record/9454
DOI: 10.1126/science.1095989
PMID: 14988555

Liao, Z., Chen, M., Gong, Y., Guo, L., Tan, Q., Feng, X.,https://doi.org/10.1080/10425170410001667348__Tang, K. (2004). A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides. DNA Sequence. Informa UK Limited.https://doi.org/10.1080/10425170410001667348 
LibreCat: https://research-explorer.ista.ac.at/record/12203
DOI: 10.1080/10425170410001667348
PMID: 15352294

Klajn, R., Fialkowski, M., Bensemann, I. T., Bitner, A., Campbell, C. J., Bishop, K.,https://doi.org/10.1038/nmat1231__Grzybowski, B. A. (2004). Multicolour micropatterning of thin films of dry gels. Nature Materials. Springer Nature.https://doi.org/10.1038/nmat1231 
LibreCat: https://research-explorer.ista.ac.at/record/13435
DOI: 10.1038/nmat1231
PMID: 15378052

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 
LibreCat: https://research-explorer.ista.ac.at/record/13434
DOI: 10.1002/adma.200400383

Brunet, A., Sweeney, L. B., Sturgill, J. F., Chua, K., Greer, P., Lin, Y.,https://doi.org/10.1126/science.1094637__Greenberg, M. (2004). Stress-dependent regulation of FOXO transcription factors by the SIR deacetylase. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1094637 
LibreCat: https://research-explorer.ista.ac.at/record/7706
DOI: 10.1126/science.1094637