Henzinger, Monika H. “Algorithmic Challenges in Web Search Engines.”10.1080/15427951.2004.10129079__Internet Mathematics, vol. 1, no. 1, Internet Mathematics, 2004, pp. 115–23, doi:10.1080/15427951.2004.10129079.

Henzinger, Monika H. “Algorithmic Aspects of Web Search Engines.”10.1007/978-3-540-30140-0_2__2th Annual European Symposium on Algorithms, vol. 3221, Springer Nature, 2004, p. 3, doi:10.1007/978-3-540-30140-0_2.

Henzinger, Monika H. “The Past, Present, and Future of Web Search Engines.”10.1007/978-3-540-27836-8_2__31st International Colloquium on Automata, Languages and Programming, vol. 3142, Springer Nature, 2004, p. 3, doi:10.1007/978-3-540-27836-8_2.

Henzinger, Monika H. “The Past, Present, and Future of Web Information Retrieval.”10.1117/12.537534__SPIE Proceedings, vol. 5296, Society of Photo-Optical Instrumentation Engineers, 2004, pp. 23–26, doi:10.1117/12.537534.

Henzinger, Monika H., and Steve Lawrence. “Extracting Knowledge from the World Wide Web.”10.1073/pnas.0307528100__Proceedings of the National Academy of Sciences, vol. 101, no. suppl_1, Proceedings of the National Academy of Sciences, 2004, pp. 5186–91, doi:10.1073/pnas.0307528100.

Strasser, Ulrich, et al. “Spatial and Temporal Variability of Meteorological Variables at Haut Glacier d’Arolla (Switzerland) during the Ablation Season 2001: Measurements and Simulations.”10.1029/2003jd003973__Journal of Geophysical Research: Atmospheres, vol. 109, no. , 103, American Geophysical Union, 2004, doi:10.1029/2003jd003973.

Hausel, Tamás, et al. “Hodge Cohomology of Gravitational Instantons.”10.1215/S0012-7094-04-12233-X__Duke Mathematical Journal, vol. 122, no. 3, Duke University Press, 2004, pp. 485–548, doi:10.1215/S0012-7094-04-12233-X.

Hausel, Tamás, and Michael Thaddeus. “Generators for the Cohomology Ring of the Moduli Space of Rank 2 Higgs Bundles.”10.1112/S0024611503014618__Proceedings of the London Mathematical Society, vol. 88, no. 3, Oxford University Press, 2004, pp. 632–58, doi:10.1112/S0024611503014618.

Mamedova, Aygun, et al. “Substrate-Induced Conformational Change in Bacterial Complex I.”10.1074/jbc.M401539200__Journal of Biological Chemistry, vol. 279, no. 22, American Society for Biochemistry and Molecular Biology, 2004, pp. 23830–36, doi:10.1074/jbc.M401539200.

Browning, Timothy D., and Roger Heath Brown. “Equal Sums of Three Powers.”10.1007/s00222-004-0360-9__Inventiones Mathematicae, vol. 157, no. 3, Unknown, 2004, pp. 553–73, doi:10.1007/s00222-004-0360-9.

Novarino, Gaia, et al. “Involvement of the Intracellular Ion Channel CLI in Microglia-Mediated ;2-Amyloid-Induced Neurotoxicity.”10.1523/JNEUROSCI.1170-04.2004__Journal of Neuroscience, vol. 24, no. 23, Society for Neuroscience, 2004, pp. 5322–30, doi:10.1523/JNEUROSCI.1170-04.2004.

Lieb, Élliott, et al. “One-Dimensional Behavior of Dilute, Trapped Bose Gases.”10.1007/s00220-003-0993-3__Communications in Mathematical Physics, vol. 244, no. 2, Springer, 2004, pp. 347–93, doi:10.1007/s00220-003-0993-3.

Lieb, Élliott, and Robert Seiringer. “Equivalent Forms of the Bessis-Moussa-Villani Conjecture.”10.1023/B:JOSS.0000019811.15510.27__Journal of Statistical Physics, vol. 115, no. 1–2, Springer, 2004, pp. 185–90, doi:10.1023/B:JOSS.0000019811.15510.27.

Aizenman, Michael, et al. “Bose-Einstein Quantum Phase Transition in an Optical Lattice Model.”10.1103/PhysRevA.70.023612__Physical Review A - Atomic, Molecular, and Optical Physics, vol. 70, no. 2, American Physical Society, 2004, pp. 023612-1-0236121-2, doi:10.1103/PhysRevA.70.023612.

Lovász, László, et al. “Convex Quadrilaterals and K-Sets .”10.1090/conm/342__Towards a Theory of Geometric Graphs, edited by János Pach, vol. 342, American Mathematical Society, 2004, pp. 139–48, doi:10.1090/conm/342.

Giesen, Joachim, and Uli Wagner. “Shape Dimension and Intrinsic Metric from Samples of Manifolds.”10.1007/s00454-004-1120-8__Discrete &; Computational Geometry, vol. 32, no. 2, Springer, 2004, pp. 245–67, doi:10.1007/s00454-004-1120-8.

Matousek, Jií, and Uli Wagner. “New Constructions of Weak ;5-Nets.”10.1007/s00454-004-1116-4__Discrete &; Computational Geometry, vol. 32, no. 2, Springer, 2004, pp. 195–206, doi:10.1007/s00454-004-1116-4.

Sauer, Michael, and Jií Friml. “The Matryoshka Dolls of Plant Polarity.”10.1242/dev.01463__Development, vol. 131, no. 23, Company of Biologists, 2004, pp. 5774–75, doi:10.1242/dev.01463.

Ferraguti, Francesco, et al. “Immunolocalization of Metabotropic Glutamate Receptor 1;1 (MGlu;1) in Distinct Classes of Interneuron in the C Region of the Rat Hippocampus.”10.1002/hipo.10163__Hippocampus, vol. 14, no. 2, Wiley-Blackwell, 2004, pp. 193–215, doi:10.1002/hipo.10163.

Somogyi, Jozsef, et al. “GABAergic Basket Cells Expressing Cholecystokinin Contain Vesicular Glutamate Transporter Type 3 (VGLU) in Their Synaptic Terminals in Hippocampus and Isocortex of the Rat.”10.1111/j.0953-816X.2003.03091.x__European Journal of Neuroscience, vol. 19, no. 3, Wiley-Blackwell, 2004, pp. 552–69, doi:10.1111/j.0953-816X.2003.03091.x.

Luján, Rafael, et al. “Localization of the GABAB Receptor 1a/b Subunit Relative to Glutamatergic Synapses in the Dorsal Cochlear Nucleus of the Rat.”10.1002/cne.20160__Journal of Comparative Neurology, vol. 475, no. 1, Wiley-Blackwell, 2004, pp. 36–46, doi:10.1002/cne.20160.

Kulik, Ákos, et al. “Immunocytochemical Localization of the A Subunit of the P/Q-Type Calcium Channel in the Rat Cerebellum.”10.1111/j.0953-816X.2004.03319.x__European Journal of Neuroscience, vol. 19, no. 8, Wiley-Blackwell, 2004, pp. 2169–78, doi:10.1111/j.0953-816X.2004.03319.x.

Notomi, Takuya, and Ryuichi Shigemoto. “Immunohistochemical Localization of Ih Channel Subunits, HCN1-4, in the Rat Brain.”10.1002/cne.11039__Journal of Comparative Neurology, vol. 471, no. 3, Wiley-Blackwell, 2004, pp. 241–76, doi:10.1002/cne.11039.

Kang, Youngnam, et al. “Bidirectional Interactions between H-Channels and Na+-K + Pumps in Mesencephalic Trigeminal Neurons.”10.1523/JNEUROSCI.5641-03.2004__Journal of Neuroscience, vol. 24, no. 14, Society for Neuroscience, 2004, pp. 3694–702, doi:10.1523/JNEUROSCI.5641-03.2004.

Momiyama, Akiko, and Ryuichi Shigemoto. “Function and Distribution of Glutamate Receptors in the Central Synapses.” Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme, vol. 49, no. 3 Suppl, Kyoritsu Shuppan, 2004, pp. 287–94.

Chan, Savio, et al. “HCN2 and HCN1 Channels Govern the Regularity of Autonomous Pacemaking and Synaptic Resetting in Globus Pallidus Neurons.”10.1523/JNEUROSCI.2162-04.2004__Journal of Neuroscience, vol. 24, no. 44, Society for Neuroscience, 2004, pp. 9921–32, doi:10.1523/JNEUROSCI.2162-04.2004.

Kogo, Naoki, et al. “Depression of GABAergic Input to Identified Hippocampal Neurons by Group III Metabotropic Glutamate Receptors in the Rat.”10.1111/j.0953-816X.2004.03394.x__European Journal of Neuroscience, vol. 19, no. 10, Wiley-Blackwell, 2004, pp. 2727–40, doi:10.1111/j.0953-816X.2004.03394.x.

López Bendito, Guillermina, et al. “Distribution of Metabotropic GABA Receptor Subunits GABAa/b and GABA in the Rat Hippocampus during Prenatal and Postnatal Development.”10.1002/hipo.10221__Hippocampus, vol. 14, no. 7, Wiley-Blackwell, 2004, pp. 836–48, doi:10.1002/hipo.10221.

Erdös, László, and Jan Solovej. “Magnetic Lieb-Thirring Inequalities with Optimal Dependence on the Field Strength.”10.1023/B:JOSS.0000037216.45270.1d__Journal of Statistical Physics, vol. 116, no. 1–4, Springer, 2004, pp. 475–506, doi:10.1023/B:JOSS.0000037216.45270.1d.

Erdös, László, et al. “On the Quantum Boltzmann Equation.”10.1023/B:JOSS.0000037224.56191.ed__Journal of Statistical Physics, vol. 116, no. 1–4, Springer, 2004, pp. 367–80, doi:10.1023/B:JOSS.0000037224.56191.ed.

Erdös, László, and Jan Solovej. “Uniform Lieb-Thirring Inequality for the Three-Dimensional Pauli Operator with a Strong Non-Homogeneous Magnetic Field.”10.1007/s00023-004-0180-x__Annales Henri Poincare, vol. 5, no. 4, Birkhäuser, 2004, pp. 671–741, doi:10.1007/s00023-004-0180-x.

Elgart, Alexander, et al. “Nonlinear Hartree Equation as the Mean Field Limit of Weakly Coupled Fermions.”10.1016/j.matpur.2004.03.006__Journal de Mathématiques Pures et Appliquées, vol. 83, no. 10, Elsevier, 2004, pp. 1241–73, doi:10.1016/j.matpur.2004.03.006.

Hof, Björn, et al. “On the Onset of Oscillatory Convection in Molten Gallium.”10.1017/S0022112004000527__Journal of Fluid Mechanics, vol. 515, Cambridge University Press, 2004, pp. 391–413, doi:10.1017/S0022112004000527.

Hof, Björn, et al. “Experimental Observation of Nonlinear Traveling Waves in Turbulent Pipe Flow.”10.1126/science.1100393__Science, vol. 305, no. 5690, American Association for the Advancement of Science, 2004, pp. 1594–98, doi:10.1126/science.1100393.

Duroux, Meg, et al. “The Chromatin Remodelling Complex FACT Associates with Actively Transcribed Regions of the Arabidopsis Genome.”10.1111/j.1365-313X.2004.02242.x__Plant Journal, vol. 40, no. 5, Wiley-Blackwell, 2004, pp. 660–71, doi:10.1111/j.1365-313X.2004.02242.x.

Friml, Jií, et al. “A PINOID-Dependent Binary Switch in Apical-Basal PIN Polar Targeting Directs Auxin Efflux.”10.1126/science.1100618__Science, vol. 306, no. 5697, American Association for the Advancement of Science, 2004, pp. 862–65, doi:10.1126/science.1100618.

Sauer, Michael, and Jií Friml. “In Vitro Culture of Arabidopsis Embryos within Their Ovules.”10.1111/j.1365-313X.2004.02248.x__Plant Journal, vol. 40, no. 5, Wiley-Blackwell, 2004, pp. 835–43, doi:10.1111/j.1365-313X.2004.02248.x.

Maurer, Ueli, and Krzysztof Z. Pietrzak. Composition of Random Systems: When Two Weak Make One Strong. Vol. 2951, Springer, 2004, pp. 410–27, doi:10.1007/978-3-540-24638-1_23.

Ulrich, Florian, and Carl-Philipp J. Heisenberg. “Gastrulation in Zebrafish.” Fish Development and Geneticsf: The Zebrafish and Medaka Models, edited by Vladimir Korzh and Zhiyuan Gong, vol. 2, World Scientific Publishing, 2004, pp. 39–86.

Barton, Nicholas H., and Alison Etheridge. “The Effect of Selection on Genealogies.”10.1534/genetics.166.2.1115__Genetics, vol. 166, no. 2, Genetics Society of America, 2004, pp. 1115–31, doi:10.1534/genetics.166.2.1115.

Barton, Nicholas H. “Speciation: Why, How, Where and When?”10.1016/j.cub.2004.07.037__Current Biology, vol. 14, no. 15, Cell Press, 2004, pp. 3–04, doi:10.1016/j.cub.2004.07.037.

Ulges, Adrian, et al. Document Capture Using Stereo Vision. ACM, 2004, pp. 198–200, doi:10.1145/1030397.1030434.

Oliver, Dominik, et al. “Functional Conversion between A-Type and Delayed Rectifier K+ Channels by Membrane Lipids.”10.1126/science.1094113__Science, vol. 304, no. 5668, American Association for the Advancement of Science, 2004, pp. 265–70, doi:10.1126/science.1094113.

Chatterjee, Krishnendu, et al. On Nash Equilibria in Stochastic Games. Vol. 3210, Springer, 2004, pp. 26–40, doi:10.1007/978-3-540-30124-0_6.

Chatterjee, Krishnendu, et al. Games with Secure Equilibria. IEEE, 2004, pp. 160–69, doi:10.1109/LICS.2004.1319610.

Zhang, Hui, et al. “Neurocan-GFP Fusion Protein: A New Approach to Detect Hyaluronan on Tissue Sections and Living Cells.”10.1369/jhc.3A6221.2004__Journal of Histochemistry and Cytochemistry, vol. 52, no. 7, Histochemical Society, 2004, pp. 915–22, doi:10.1369/jhc.3A6221.2004.

Witte, Vanessa, et al. “HIV-1 Nef Mimics an Integrin Receptor Signal That Recruits the Polycomb Group Protein Eed to the Plasma Membrane.”10.1016/S1097-2765(04)00004-8__Molecular Cell, vol. 13, no. 2, Cell Press, 2004, pp. 179–90, doi:10.1016/S1097-2765(04)00004-8.

Agarwal, Pankaj, et al. “Computing the Writhing Number of a Polygonal Knot.”10.1007/s00454-004-2864-x__Discrete &; Computational Geometry, vol. 32, no. 1, Springer, 2004, pp. 37–53, doi:10.1007/s00454-004-2864-x.

Kruse, Karsten, et al. “Dpp Gradient Formation by Dynamin-Dependent Endocytosis: Receptor Trafficking and the Diffusion Model.”10.1242/dev.01335__Development, vol. 131, no. 19, Company of Biologists, 2004, pp. 4843–56, doi:10.1242/dev.01335.

de Vladar, Harold, et al. “A Mechanism for the Prebiotic Emergence of Proteins.”3807__Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, edited by J. Seckbach et al., vol. 7, Springer, 2004, pp. 83–87, doi:3807.

Barton, Nicholas H., et al. “Coalescence in a Random Background.” Annals of Applied Probability, vol. 14, no. 2, Institute of Mathematical Statistics, 2004, pp. 754–85.

Hippenmeyer, Simon, et al. “Control of Neuronal Phenotype: What Targets Tell the Cell Bodies.”10.1016/j.tins.2004.05.012__Trends in Neurosciences, vol. 27, no. 8, Elsevier, 2004, pp. 482–88, doi:10.1016/j.tins.2004.05.012.

Boykov, Yuri, and Vladimir Kolmogorov. “An Experimental Comparison of Min-Cut/Max-Flow Algorithms for Energy Minimization in Vision.”10.1109/TPAMI.2004.60__IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 26, no. 9, IEEE, 2004, pp. 1124–37, doi:10.1109/TPAMI.2004.60.

Kolmogorov, Vladimir, and Ramin Zabih. “What Energy Functions Can Be Minimized via Graph Cuts? .”10.1109/TPAMI.2004.1262177__IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 26, no. 2, IEEE, 2004, pp. 147–59, doi:10.1109/TPAMI.2004.1262177.

Kolmogorov, Vladimir, et al. “Multiprocessor Scheduling Implementation of the Simultaneous Multiple Volume SMV Navigator Method.”10.1002/mrm.20162__Magnetic Resonance in Medicine, vol. 52, no. 2, Wiley-Blackwell, 2004, pp. 362–67, doi:10.1002/mrm.20162.

Zabih, Ramin, and Vladimir Kolmogorov. Spatially Coherent Clustering Using Graph Cuts. Vol. 2, IEEE, 2004, pp. 437–44, doi:10.1109/CVPR.2004.1315196.

Rother, Carsten, et al. &;quot;GrabCut&;quot; - Interactive Foreground Extraction Using Iterated Graph Cuts . Vol. 23, no. 3, ACM, 2004, pp. 309–14, doi:10.1145/1015706.1015720.

Kedrov, Alexej, et al. “Controlled Unfolding and Refolding of a Single Sodium/Proton Antiporter Using Atomic Force Microscopy.”10.1016/j.jmb.2004.05.026__Journal of Molecular Biology, vol. 340, no. 5, Elsevier, 2004, pp. 1143–52, doi:10.1016/j.jmb.2004.05.026.

Janovjak, Harald L., et al. “Probing the Energy Landscape of the Membrane Protein Bacteriorhodopsin.”10.1016/j.str.2004.03.016__Structure, vol. 12, no. 5, Cell Press, 2004, pp. 871–79, doi:10.1016/j.str.2004.03.016.

Edelsbrunner, Herbert, and John Harer. “Jacobi Sets of Multiple Morse Functions.”10.1017/CBO9781139106962.003__Foundations of Computational Mathematics, vol. 312, Springer, 2004, pp. 37–57, doi:10.1017/CBO9781139106962.003.

Edelsbrunner, Herbert. “Biological Applications of Computational Topology.” Handbook of Discrete and Computational Geometry, CRC Press, 2004, pp. 1395–412.

Charlesworth, Brian, and Nicholas H. Barton. “Genome Size: Does Bigger Mean Worse?”10.1016/j.cub.2004.02.054__Current Biology, vol. 14, no. 6, Cell Press, 2004, pp. 3–35, 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.”10.1111/j.0014-3820.2004.tb01591.x__Evolution; International Journal of Organic Evolution, vol. 58, no. 10, Wiley-Blackwell, 2004, pp. 2111–32, 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.”10.1534/genetics.166.2.1053__Genetics, vol. 166, no. 2, Genetics Society of America, 2004, pp. 1053–79, doi:10.1534/genetics.166.2.1053.

Kampa, Bjorn, et al. “Kinetics of Mg(2+) Unblock of NMDA Receptors: Implications for Spike-Timing Dependent Synaptic Plasticity.”10.1113/jphysiol.2003.058842 __Journal of Physiology, vol. 556, no. Pt 2, Wiley-Blackwell, 2004, pp. 337–45, doi:10.1113/jphysiol.2003.058842 .

Schmidt Hieber, Christoph, et al. “Enhanced Synaptic Plasticity in Newly Generated Granule Cells of the Adult Hippocampus.”10.1038/nature02553__Nature, vol. 429, no. 6988, Nature Publishing Group, 2004, pp. 184–87, doi:10.1038/nature02553.

Jonas, Peter M., et al. “Interneuron Diversity Series: Fast in, Fast out--Temporal and Spatial Signal Processing in Hippocampal Interneurons.”doi:10.1016/j.tins.2003.10.010__Trends in Neurosciences, vol. 27, no. 1, Elsevier, 2004, pp. 30–40, doi:doi:10.1016/j.tins.2003.10.010.

Heinze, Jürgen, et al. “Production of Winged and Wingless Males in the Ant, Cardiocondyla Minutior.”10.1007/s00040-004-0740-6__Insectes Sociaux, vol. 51, no. 3, Springer, 2004, pp. 275–78, doi:10.1007/s00040-004-0740-6.

Choi, Vicky, et al. Local Search Heuristic for Rigid Protein Docking. Vol. 3240, Springer, 2004, pp. 218–29, doi:10.1007/978-3-540-30219-3_19.

Bryant, Robert, et al. “The Area Derivative of a Space-Filling Diagram.”10.1007/s00454-004-1099-1__Discrete &; Computational Geometry, vol. 32, no. 3, Springer, 2004, pp. 293–308, doi:10.1007/s00454-004-1099-1.

Bremer, Peer, et al. “A Topological Hierarchy for Functions on Triangulated Surfaces.”10.1109/TVCG.2004.3__IEEE Transactions on Visualization and Computer Graphics, vol. 10, no. 4, IEEE, 2004, pp. 385–96, doi:10.1109/TVCG.2004.3.

Natarajan, Vijay, and Herbert Edelsbrunner. “Simplification of Three-Dimensional Density Maps.”10.1109/TVCG.2004.32__IEEE Transactions on Visualization and Computer Graphics, vol. 10, no. 5, IEEE, 2004, pp. 587–97, doi:10.1109/TVCG.2004.32.

Cole Mclaughlin, Kree, et al. “Loops in Reeb Graphs of 2-Manifolds.”10.1007/s00454-004-1122-6__Discrete &; Computational Geometry, vol. 32, no. 2, Springer, 2004, pp. 231–44, doi:10.1007/s00454-004-1122-6.

Edelsbrunner, Herbert, et al. Local and Global Comparison of Continuous Functions. IEEE, 2004, pp. 275–80, doi:10.1109/VISUAL.2004.68.

Montero, Juan, and Carl-Philipp J. Heisenberg. “Gastrulation Dynamics: Cells Move into Focus.”10.1016/j.tcb.2004.09.008__Trends in Cell Biology, vol. 14, no. 11, Cell Press, 2004, pp. 620–27, doi:10.1016/j.tcb.2004.09.008.

de Vladar, Harold, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.”3801__Journal of Theoretical Biology, vol. 227, no. 3, Elsevier, 2004, pp. 335–48, doi:3801.

de Vladar, Harold, et al. “A Mechanism for the Prebiotic Emergence of Proteins.” Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, edited by A. Hanslmeier et al., Springer, 2004, pp. 83–87.

de Vladar, Harold. Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares. Centro de estudios avazados, IVIC, 2004, doi:3810.

Maler, Oded, and Dejan Nickovic. Monitoring Temporal Properties of Continuous Signals. Springer, 2004, pp. 152–66, doi:1572.

Jhala, Ranjit. Program Verification by Lazy Abstraction. University of California, Berkeley, 2004, pp. 1–165.

Henzinger, Thomas A., and Christoph Kirsch. A Typed Assembly Language for Real-Time Programs. ACM, 2004, pp. 104–13, doi:10.1145/1017753.1017774.

Henzinger, Thomas A., et al. Abstractions from Proofs. ACM, 2004, pp. 232–44, doi:10.1145/964001.964021.

Henzinger, Thomas A., et al. “Extreme Model Checking.”10.1007/978-3-540-39910-0_16__Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–58, doi:10.1007/978-3-540-39910-0_16.

Henzinger, Thomas A., et al. Race Checking by Context Inference. ACM, 2004, pp. 1–13, doi:10.1145/996841.996844.

Ghosal, Arkadeb, et al. Event-Driven Programming with Logical Execution Times. Vol. 2993, Springer, 2004, pp. 167–70, doi:10.1007/978-3-540-24743-2_24.

Chatterjee, Krishnendu, et al. Trading Memory for Randomness. IEEE, 2004, pp. 206–17, doi:10.1109/QEST.2004.10051.

Chatterjee, Krishnendu, et al. Quantitative Stochastic Parity Games. SIAM, 2004, pp. 121–30.

Chatterjee, Krishnendu, et al. “Stack Size Analysis for Interrupt-Driven Programs.”10.1016/j.ic.2004.06.001__Information and Computation, vol. 194, no. 2, Elsevier, 2004, pp. 144–74, doi:10.1016/j.ic.2004.06.001.

Beyer, Dirk, et al. The BLAST Query Language for Software Verification. Vol. 3148, Springer, 2004, pp. 2–18, doi:10.1007/978-3-540-27864-1_2.

Beyer, Dirk, et al. An Eclipse Plug-in for Model Checking. IEEE, 2004, pp. 251–55, doi:10.1109/WPC.2004.1311069Â  .

Beyer, Dirk, et al. Generating Tests from Counterexamples. IEEE, 2004, pp. 326–35, doi:10.1109/ICSE.2004.1317455.

De Alfaro, Luca, et al. Model Checking Discounted Temporal Properties. Vol. 2988, Springer, 2004, pp. 77–92, doi:10.1007/978-3-540-24730-2_6.

Cheung, Benny H. .., et al. “Soluble Guanylate Cyclases Act in Neurons Exposed to the Body Fluid to Promote C. Elegans Aggregation Behavior.”10.1016/j.cub.2004.06.027__Current Biology, vol. 14, no. 12, Elsevier, 2004, pp. 1105–11, doi:10.1016/j.cub.2004.06.027.

Mantzaras, John, et al. “Fuel Cell Modeling and Simulations.”10.2533/000942904777677029__CHIMIA International Journal for Chemistry, vol. 58, no. 12, Swiss Chemical Society, 2004, pp. 857–68, doi:10.2533/000942904777677029.

Santis, M., et al. “Modular Stack-Internal Air Humidification Concept-Verification in a 1KW Stack.”10.1002/fuce.200400028__Fuel Cells, vol. 4, no. 3, Wiley, 2004, pp. 214–18, doi:10.1002/fuce.200400028.

Panchenko, Anna, et al. “Prediction of Functional Sites by Analysis of Sequence and Structure Conservation.”10.1110/ps.03465504__Protein Science, vol. 13, no. 4, Wiley-Blackwell, 2004, pp. 884–92, doi:10.1110/ps.03465504.

Kondrashov, Fyodor, et al. “Bioinformatical Assay of Human Gene Morbidity.”10.1093/nar/gkh330__Nucleic Acids Research, vol. 32, no. 5, Oxford University Press, 2004, pp. 1731–37, 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.”10.1016/j.tig.2004.05.001__Trends in Genetics, vol. 20, no. 7, Elsevier, 2004, pp. 287–91, doi:10.1016/j.tig.2004.05.001.

Kern, Andrew, and Fyodor Kondrashov. “Mechanisms and Convergence of Compensatory Evolution in Mammalian Mitochondrial TRNAs.”10.1038/ng1451__Nature Genetics, vol. 36, no. 11, Nature Publishing Group, 2004, pp. 1207–12, doi:10.1038/ng1451.

Zilberman, Daniel, et al. “Role of Arabidopsis ARGONAUT in RNA-Directed DNA Methylation Triggered by Inverted Repeats.”10.1016/j.cub.2004.06.055__Current Biology, vol. 14, no. 13, Elsevier, 2004, pp. 1214–20, doi:10.1016/j.cub.2004.06.055.