Erdös, László, et al. “Derivation of the Cubic Non Linear Schrödinger Equation from Quantum Dynamics of Many Body Systems.”10.1007/s00222-006-0022-1__Inventiones Mathematicae, vol. 167, no. 3, Springer, 2007, pp. 515–614, doi:10.1007/s00222-006-0022-1.

Erdös, László, et al. “Rigorous Derivation of the Gross-Pitaevskii Equation.”10.1103/PhysRevLett.98.040404__Physical Review Letters, vol. 98, no. 4, American Physical Society, 2007, doi:10.1103/PhysRevLett.98.040404.

Eckhardt, Bruno, et al. “Turbulence Transition in Pipe Flow.”10.1146/annurev.fluid.39.050905.110308__Annual Review of Fluid Mechanics, vol. 39, Annual Reviews, 2007, pp. 447–68, doi:10.1146/annurev.fluid.39.050905.110308.

Hof, Björn, et al. Lifetime of Turbulence in Pipe Flow. Vol. 117, Springer, 2007, pp. 556–58, doi:10.1007/978-3-540-72604-3_177.

Carneiro, Jorge, et al. “When Three Is Not a Crowd a Crossregulation Model of the Dynamics and Repertoire Selection of Regulatory C T Cells.”10.1111/j.1600-065X.2007.00487.x__Immunological Reviews, vol. 216, no. 1, Wiley-Blackwell, 2007, pp. 48–68, doi:10.1111/j.1600-065X.2007.00487.x.

Paixao, Tiago, et al. “Quantitative Insights into Stochastic Monoallelic Expression of Cytokine Genes.”10.1038/sj.icb.7100057__Immunology and Cell Biology, vol. 85, no. 4, Nature Publishing Group, 2007, pp. 315–22, doi:10.1038/sj.icb.7100057.

Kumar, M. Pawan, et al. An Analysis of Convex Relaxations for MAP Estimation. Neural Information Processing Systems, 2007.

Blakeslee, Joshua, et al. “Interactions among PIN FORMED and P Glycoprotein Auxin Transporters in Arabidopsis.”10.1105/tpc.106.040782__Plant Cell, vol. 19, no. 1, American Society of Plant Biologists, 2007, pp. 131–47, doi:10.1105/tpc.106.040782.

Dhonukshe, Pankaj, et al. “A Unifying New Model of Cytokinesis for the Dividing Plant and Animal Cells.”10.1002/bies.20559__Bioessaysf: News and Reviews in Molecular, Cellular and Developmental Biology, vol. 29, no. 4, Wiley-Blackwell, 2007, pp. 371–81, doi:10.1002/bies.20559.

Bandyopadhyay, Anindita, et al. Interactions of PIN and PGP Auxin Transport Mechanisms. Vol. 35, no. 1, Portland Press, 2007, pp. 137–41, doi:10.1042/BST0350137.

Laplaze, Laurent, et al. “Cytokinins Act Directly on Lateral Root Founder Cells to Inhibit Root Initiation.”10.1105/tpc.107.055863__Plant Cell, vol. 19, no. 12, American Society of Plant Biologists, 2007, pp. 3889–900, doi:10.1105/tpc.107.055863.

Rfeidka, Kamil, et al. “Ethylene Regulates Root Growth through Effects on Auxin Biosynthesis and Transport Dependent Auxin Distribution.”10.1105/tpc.107.052126__Plant Cell, vol. 19, no. 7, American Society of Plant Biologists, 2007, pp. 2197–212, doi:10.1105/tpc.107.052126.

Michniewicz, Marta, et al. “Antagonistic Regulation of PIN Phosphorylation by PA and PINOID Directs Auxin Flux.”10.1016/j.cell.2007.07.033__Cell, vol. 130, no. 6, Cell Press, 2007, pp. 1044–56, doi:10.1016/j.cell.2007.07.033.

Vieten, Anne, et al. “Molecular and Cellular Aspects of Auxin-Transport-Mediated Development.”10.1016/j.tplants.2007.03.006__Trends in Plant Science, vol. 12, no. 4, Cell Press, 2007, pp. 160–68, doi:10.1016/j.tplants.2007.03.006.

Rother, Carsten, et al. Optimizing Binary MRFs via Extended Roof Duality. IEEE, 2007, doi:10.1109/CVPR.2007.383203.

Kolmogorov, Vladimir, et al. Applications of Parametric Maxflow in Computer Vision. IEEE, 2007, doi:10.1109/ICCV.2007.4408910.

Kolmogorov, Vladimir, and Carsten Rother. “Minimizing Nonsubmodular Functions with Graph Cuts - A Review.”10.1109/TPAMI.2007.1031__IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 29, no. 7, IEEE, 2007, pp. 1274–79, doi:10.1109/TPAMI.2007.1031.

Blake, Andrew, et al. “Fusion of Stereo Colour and Contrast.”10.1007/978-3-540-48113-3_27__Springer Tracts in Advanced Robotics, vol. 28, Springer, 2007, pp. 295–304, doi:10.1007/978-3-540-48113-3_27.

Pietrzak, Krzysztof Z. Non-Trivial Black-Box Combiners for Collision-Resistant Hash-Functions Don’t Exist. Vol. 4515, Springer, 2007, pp. 23–33, doi:10.1007/978-3-540-72540-4_2.

Desai, Michael, et al. “Evolution Can Favor Antagonistic Epistasis.”10.1534/genetics.107.075812__Genetics, vol. 177, no. 2, Genetics Society of America, 2007, pp. 1001–10, doi:10.1534/genetics.107.075812.

Preiner, Johannes, et al. “Free Energy of Membrane Protein Unfolding Derived from Single-Molecule Force Measurements.”10.1529/biophysj.106.096982__Biophysical Journal, vol. 93, no. 3, Biophysical Society, 2007, pp. 930–37, doi:10.1529/biophysj.106.096982.

Kedrov, Alexej, et al. “Deciphering Molecular Interactions of Native Membrane Proteins by Single-Molecule Force Spectroscopy.”10.1146/annurev.biophys.36.040306.132640__Annual Review of Biophysics, vol. 36, Annual Reviews, 2007, pp. 233–60, doi:10.1146/annurev.biophys.36.040306.132640.

Bollenbach, Mark Tobias, et al. “Morphogen Transport in Epithelia.”10.1103/PhysRevE.75.011901__Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 75, no. 1, American Institute of Physics, 2007, doi:10.1103/PhysRevE.75.011901.

Csicsvari, Jozsef L., et al. “Place-Selective Firing Contributes to the Reverse-Order Reactivation of C Pyramidal Cells during Sharp Waves in Open-Field Exploration.”10.1111/j.1460-9568.2007.05684.x__European Journal of Neuroscience, vol. 26, no. 3, Wiley-Blackwell, 2007, pp. 704–16, doi:10.1111/j.1460-9568.2007.05684.x.

Yang, Erfu, et al. Multiobjective Optimal Design of MEMS-Based Reconfigurable and Evolvable Sensor Networks for Space Applications. IEEE, 2007, pp. 27–34, doi:10.1109/AHS.2007.76.

Blaschko, Matthew, et al. “Efficient Subwindow Search for Object Localization.” Unknown, no. 164, Max-Planck-Institute for Biological Cybernetics, 2007.

Ulges, Adrian, et al. Optimal Dominant Motion Estimation Using Adaptive Search of Transformation Space. Vol. 4713, Springer, 2007, pp. 204–13, doi:10.1007/978-3-540-74936-3_21.

Kinney, Justin, et al. “Precise Physical Models of Protein-DNA Interaction from High-Throughput Data.”10.1073/pnas.0609908104__PNAS, vol. 104, no. 2, National Academy of Sciences, 2007, pp. 501–06, doi:10.1073/pnas.0609908104.

Bargteil, Adam, et al. “A Finite Element Method for Animating Large Viscoplastic Flow.”10.1145/1276377.1276397__ACM Transactions on Graphics, vol. 26, no. 3, ACM, 2007, doi:10.1145/1276377.1276397.

Wojtan, Chris, et al. Animating Corrosion and Erosion. Eurographics Association, 2007, pp. 15–22, doi:10.2312/NPH/NPH07/015-022.

Bartos, Marlene, et al. “Synaptic Mechanisms of Synchronized Gamma Oscillations in Inhibitory Interneuron Networks (Review).”10.1038/nrn2044 __Nature Reviews Neuroscience, vol. 8, no. 1, Nature Publishing Group, 2007, pp. 45–56, doi:10.1038/nrn2044 .

Ugelvig, Line V., and Sylvia Cremer. “Social Prophylaxis: Group Interaction Promotes Collective Immunity in Ant Colonies.”10.1016/j.cub.2007.10.029__Current Biology, vol. 17, no. 22, Cell Press, 2007, pp. 1967–71, doi:10.1016/j.cub.2007.10.029.

Cremer, Sylvia, et al. “Social Immunity.”10.1016/j.cub.2007.06.008__Current Biology, vol. 17, no. 16, Cell Press, 2007, pp. 3–702, doi:10.1016/j.cub.2007.06.008.

Hughes, David, and Sylvia Cremer. “Plasticity in Anti-Parasite Behaviours and Its Suggested Role in Invasion Biology.”10.1016/j.anbehav.2006.12.025__Animal Behaviour, vol. 74, no. 5, Elsevier, 2007, pp. 1593–99, doi:10.1016/j.anbehav.2006.12.025.

Headd, Jeffrey, et al. “Protein-Protein Interfaces: Properties, Preferences, and Projections.”10.1021/pr070018+__Journal of Proteome Research, vol. 6, no. 7, American Chemical Society, 2007, pp. 2576–86, doi:10.1021/pr070018+.

Attali, Dominique, et al. Alpha-Beta Witness Complexes. Vol. 4619, Springer, 2007, pp. 386–97, doi:10.1007/978-3-540-73951-7_34.

Bendich, Paul, et al. Inferring Local Homology from Sampled Stratified Spaces. IEEE, 2007, pp. 536–46, doi:10.1109/FOCS.2007.33.

Attali, Dominique, and Herbert Edelsbrunner. “Inclusion-Exclusion Formulas from Independent Complexes.”10.1007/s00454-006-1274-7__Discrete &; Computational Geometry, vol. 37, no. 1, Springer, 2007, pp. 59–77, doi:10.1007/s00454-006-1274-7.

Rohde, Laurel, and Carl-Philipp J. Heisenberg. “Zebrafish Gastrulation: Cell Movements, Signals, and Mechanisms.”10.1016/S0074-7696(07)61004-3__International Review of Cytology - A Survey of Cell Biology, vol. 261, Academic Press, 2007, pp. 159–92, doi:10.1016/S0074-7696(07)61004-3.

Krieg, Michael, et al. “The Role of Cell Adhesion and Contractility for Germ Layer Morphogenesis during Zebrafish Gastrulation.”10.1016/j.ejcb.2007.02.002__European Journal of Cell Biology, vol. 86, no. Supplement 1, Elsevier, 2007, pp. 39–39, doi:10.1016/j.ejcb.2007.02.002.

Bollenbach, Mark Tobias, et al. “Evolution and Multilevel Optimization of the Genetic Code.”10.1101/gr.6144007__Genome Research, vol. 17, no. 4, Cold Spring Harbor Laboratory Press, 2007, pp. 401–04, doi:10.1101/gr.6144007.

Kicheva, Anna, et al. “Kinetics of Morphogen Gradient Formation.”10.1126/science.1135774__Science, vol. 315, no. 5811, American Association for the Advancement of Science, 2007, pp. 521–25, doi:10.1126/science.1135774.

Danowski, Patrick. Library 2.0 and User-Generated Content - What Can the Users Do for Us? IFLA, 2007, doi:601.

Danowski, Patrick, and Barbara Pfeifer. “Wikipedia Und Normdateien: Wege Der Vernetzung Am Beispiel Der Kooperation Mit Der Personennamendatei.”485__Bibliothek - Forschung Und Praxis, vol. 31, no. 2, De Gruyter, 2007, pp. 149–55, doi:485.

Danowski, Patrick, and Lambert Heller. “Bibliothek 2.0f? Wird Alles Anders?”45__Bibliothek - Forschung Und Praxis, vol. 31, no. 2007, De Gruyter, 2007, pp. 130–36, doi:45.

Binladen, Jonas, et al. “The Use of Coded PCR Primers Enables High-Throughput Sequencing of Multiple Homolog Amplification Products by 454 Parallel Sequencing.”10.1371/journal.pone.0000197__PLoS One, vol. 2, no. 2, Public Library of Science, 2007, doi:10.1371/journal.pone.0000197.

Petersen, Lise, et al. “Genes under Positive Selection in Escherichia Coli.”10.1101/gr.6254707__Genome Research, vol. 17, no. 9, Cold Spring Harbor Laboratory Press, 2007, pp. 1336–43, doi:10.1101/gr.6254707.

Bollback, Jonathan P., and John Huelsenbeck. “Clonal Interference Is Alleviated by High Mutation Rates in Large Populations.”10.1093/molbev/msm056__Molecular Biology and Evolution, vol. 24, no. 6, Oxford University Press, 2007, pp. 1397–406, doi:10.1093/molbev/msm056.

Freyhult, Eva, et al. “Exploring Genomic Dark Matter: A Critical Assessment of the Performance of Homology Search Methods on Noncoding RNA.”10.1101/gr.5890907__Genome Research, vol. 17, no. 1, Cold Spring Harbor Laboratory Press, 2007, pp. 117–25, doi:10.1101/gr.5890907.

Maler, Oded, et al. On Synthesizing Controllers from Bounded-Response Properties. Springer, 2007, pp. 95–107, doi:1568.

Nickovic, Dejan, and Oded Maler. AMT: A Property-Based Monitoring Tool for Analog Systems. Springer, 2007, pp. 304–19, doi:1567.

Dhonukshe, Pankaj, et al. “Clathrin-Mediated Constitutive Endocytosis of PIN Auxin Efflux Carriers in Arabidopsis.”10.1016/j.cub.2007.01.052__Current Biology, vol. 17, no. 6, Cell Press, 2007, pp. 520–27, doi:10.1016/j.cub.2007.01.052.

Malenica, Nenad, et al. “MODULATOR of PIN Genes Control Steady State Levels of Arabidopsis PIN Proteins.”10.1111/j.1365-313X.2007.03158.x__Plant Journal, vol. 51, no. 4, Wiley-Blackwell, 2007, pp. 537–50, doi:10.1111/j.1365-313X.2007.03158.x.

Hippenmeyer, Simon, et al. “ETS Transcription Factor Erm Controls Subsynaptic Gene Expression in Skeletal Muscles.”10.1016/j.neuron.2007.07.028__Neuron, vol. 55, no. 5, Elsevier, 2007, pp. 726–40, doi:10.1016/j.neuron.2007.07.028.

Dodis, Yevgeniy, and Krzysztof Z. Pietrzak. Improving the Security of MACs via Randomized Message Preprocessing. Vol. 4593, Springer, 2007, pp. 414–33, doi:10.1007/978-3-540-74619-5_26.

Pietrzak, Krzysztof Z., and Douglas Wikström. Parallel Repetition of Computationally Sound Protocols Revisited. Vol. 4392, Springer, 2007, pp. 86–102, doi:10.1007/978-3-540-70936-7_5.

Dziembowski, Stefan, and Krzysztof Z. Pietrzak. Intrusion Resilient Secret Sharing. IEEE, 2007, pp. 227–37, doi:10.1109/FOCS.2007.63.

Maurer, Ueli, et al. Indistinguishability Amplification. Vol. 4622, Springer, 2007, pp. 130–49, doi:10.1007/978-3-540-74143-5_8.

Pietrzak, Krzysztof Z., and Johan Sjödin. Range Extension for Weak PRFs the Good the Bad and the Ugly. Vol. 4515, Springer, 2007, pp. 517–33, doi:10.1007/978-3-540-72540-4_30.

Reynolds, Sheila, et al. “Behavioral Paternity Predicts Genetic Paternity in Satin Bowerbirds, a Species with a Non-Resource-Based Mating System.”10.1642/0004-8038(2007)124[857:BPPGPI]2.0.CO;2__The Auk, vol. 124, no. 3, University of California Press, 2007, pp. 857–67, doi:10.1642/0004-8038(2007)124[857:BPPGPI]2.0.CO;2.

Bollback, Jonathan P., et al. “Estimating the History of Mutations on a Phylogeny.”10.1093/acprof:oso/9780199299188.003.0006__Ancestral Sequence Reconstruction, edited by David Liberles, Oxford University Press, 2007, pp. 69–79, doi:10.1093/acprof:oso/9780199299188.003.0006.

Jonas, Peter M., and György Buzsáki. “Neural Inhibition.”10.4249/scholarpedia.3286__Scholarpedia, vol. 2, Scholarpedia, 2007, doi:10.4249/scholarpedia.3286.

Attali, Dominique, et al. Weak Witnesses for Delaunay Triangulations of Submanifolds. ACM, 2007, pp. 143–50, doi:10.1145/1236246.1236267.

Ulges, Adrian, et al. Optimal Dominant Motion Estimation Using Adaptive Search of Transformation Space. Vol. 4713, Springer, 2007, pp. 204–13, doi:10.1007/978-3-540-74936-3_21.

Barton, Nicholas H., et al. Evolution. Cold Spring Harbor Laboratory Press, 2007.

Bippes, Christian, et al. “Digital Force-Feedback for Protein Unfolding Experiments Using Atomic Force Microscopy.”10.1088/0957-4484/18/4/044022__Nanotechnology, vol. 18, no. 4, IOP Publishing Ltd., 2007, doi:10.1088/0957-4484/18/4/044022.

Janovjak, Harald L., et al. “Transmembrane Helices Have Rough Energy Surfaces.”10.1021/ja065684a__Journal of the American Chemical Society, vol. 129, no. 2, ACS, 2007, pp. 246–47, doi:10.1021/ja065684a.

Broderick, Tamara, et al. “Faster Solutions of the Inverse Pairwise Ising Problem.” ArXiv, vol. q-QM, ArXiv, 2007.

Schmidt Hieber, Christoph, et al. “Subthreshold Dendritic Signal Processing and Coincidence Detection in Dentate Gyrus Granule Cells.”10.1523/JNEUROSCI.1787-07.2007__Journal of Neuroscience, vol. 27, no. 31, Society for Neuroscience, 2007, pp. 8430–41, doi:10.1523/JNEUROSCI.1787-07.2007.

Rollenhagen, Astrid, et al. “Structural Determinants of Transmission at Large Hippocampal Mossy Fiber Synapses.”10.1523/JNEUROSCI.1946-07.2007__Journal of Neuroscience, vol. 27, no. 39, Society for Neuroscience, 2007, pp. 10434–44, doi:10.1523/JNEUROSCI.1946-07.2007.

Li, Liyi, et al. “Differential Gating and Recruitment of P/Q-, N-, and R-Type Ca(2+) Channels in Hippocampal Mossy Fiber Boutons.”10.1523/JNEUROSCI.1709-07.2007__Journal of Neuroscience, vol. 27, no. 49, Society for Neuroscience, 2007, pp. 13420–29, doi:10.1523/JNEUROSCI.1709-07.2007.

Chatterjee, Krishnendu, et al. Generalized Parity Games. Vol. 4423, Springer, 2007, pp. 153–67, doi:10.1007/978-3-540-71389-0_12.

Chatterjee, Krishnendu. “Concurrent Games with Tail Objectives.”10.1016/j.tcs.2007.07.047__Theoretical Computer Science, vol. 388, no. 1–3, Elsevier, 2007, pp. 181–98, doi:10.1016/j.tcs.2007.07.047.

Chatterjee, Krishnendu, et al. Strategy Logic. Vol. 4703, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73, doi:10.1007/978-3-540-74407-8_5.

De Alfaro, Luca, et al. Qualitative Logics and Equivalences for Probabilistic Systems. IEEE, 2007, pp. 237–48, doi:10.1109/QEST.2007.15.

Chatterjee, Krishnendu. Markov Decision Processes with Multiple Long-Run Average Objectives. Vol. 4855, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 473–84, doi:10.1007/978-3-540-77050-3_39.

Chatterjee, Krishnendu. Stochastic Müller Games Are PSPACE-Complete. Vol. 4855, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 436–48, doi:10.1007/978-3-540-77050-3_36.

Chatterjee, Krishnendu. Optimal Strategy Synthesis in Stochastic Müller Games. Vol. 4423, Springer, 2007, pp. 138–52, doi:10.1007/978-3-540-71389-0_11.

Dorn, Tatjana, et al. “RhoH Is Important for Positive Thymocyte Selection and T-Cell Receptor Signaling.”10.1182/blood-2006-04-019034__Blood, vol. 109, no. 6, American Society of Hematology, 2007, pp. 2346–55, doi:10.1182/blood-2006-04-019034.

Woolf, Eilon, et al. “Lymph Node Chemokines Promote Sustained T Lymphocyte Motility without Triggering Stable Integrin Adhesiveness in the Absence of Shear Forces.”10.1038/ni1499__Nature Immunology, vol. 8, no. 10, Nature Publishing Group, 2007, pp. 1076–85, doi:10.1038/ni1499.

Cohen Steiner, David, and Herbert Edelsbrunner. “Inequalities for the Curvature of Curves and Surfaces.”10.1007/s10208-005-0200-3__Foundations of Computational Mathematics, vol. 7, no. 4, Springer, 2007, pp. 391–404, doi:10.1007/s10208-005-0200-3.

Cohen Steiner, David, et al. “Stability of Persistence Diagrams.”10.1007/s00454-006-1276-5__Discrete &; Computational Geometry, vol. 37, no. 1, Springer, 2007, pp. 103–20, doi:10.1007/s00454-006-1276-5.

Von Der Hardt, Sophia, et al. “The Bmp Gradient of the Zebrafish Gastrula Guides Migrating Lateral Cells by Regulating Cell-Cell Adhesion.”10.1016/j.cub.2007.02.013__Current Biology, vol. 17, no. 6, Cell Press, 2007, pp. 475–87, doi:10.1016/j.cub.2007.02.013.

de Vladar, Harold, and I. Pen. “Determinism, Noise, and Spurious Estimations in a Generalised Model of Population Growth.”10.1016/j.physa.2006.06.025__Physica A, vol. 373, Elsevier, 2007, pp. 477–85, doi:10.1016/j.physa.2006.06.025.

de Vladar, Harold. Alternativas Prebióticas Para La Síntesis de Amino- Ácidos y Otras Moléculas Relacionadas. Edited by N. Falcón and Y. Loyo De Sardi, Consejo de Desarrollo Cientifico y Tecnologico, 2007, pp. 91–109, doi:3808.

Gardner, Andy, et al. “The Relation between Multilocus Population Genetics and Social Evolution Theory.”10.1086/510602__American Naturalist, vol. 169, no. 2, University of Chicago Press, 2007, pp. 207–26, doi:10.1086/510602.

Free, Andrew, and Nicholas H. Barton. “Do Evolution and Ecology Need the Gaia Hypothesis?”10.1016/j.tree.2007.07.007__Trends in Ecology and Evolution, vol. 22, no. 11, Cell Press, 2007, pp. 611–19, doi:10.1016/j.tree.2007.07.007.

Beyer, Dirk, et al. Algorithms for Interface Synthesis. Vol. 4590, Springer, 2007, pp. 4–19, doi:10.1007/978-3-540-73368-3_4.

Bouillaguet, Charles, et al. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. Springer, 2007, pp. 74–88, doi:1552.

Berdine, Josh, et al. Shape Analysis for Composite Data Structures. Springer, 2007, pp. 178–92, doi:1553.

Schaub, Marc, et al. “Qualitative Networks: A Symbolic Approach to Analyze Biological Signaling Networks.”10.1186/1752-0509-1-4__BMC Systems Biology, vol. 1, no. 4, BioMed Central, 2007, doi:10.1186/1752-0509-1-4.

Alur, Rajeev, et al. Model Checking on Trees with Path Equivalences. Springer, 2007, pp. 664–78, doi:1544.

Manevich, Roman, et al. “Abstract Counterexample-Based Refinement for Powerset Domains.”10.1007/978-3-540-71322-7_13__Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, vol. 4444, Springer, 2007, pp. 273–92, doi:10.1007/978-3-540-71322-7_13.

Henzinger, Thomas A., and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.”10.1145/1286821.1286824__ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 29, no. 393, ACM, 2007, doi:10.1145/1286821.1286824.

Henzinger, Thomas A. Games, Time, and Probability: Graph Models for System Design and Analysis. Vol. 4362, Springer, 2007, pp. 103–10, doi:10.1007/978-3-540-69507-3_7.

Henzinger, Thomas A. Quantitative Generalizations of Languages. Vol. 4588, Springer, 2007, pp. 20–22, doi:10.1007/978-3-540-73208-2_2.

Fisher, Jasmin, et al. “Predictive Modeling of Signaling Crosstalk during C. Elegans Vulval Development.”10.1371/journal.pcbi.0030092__PLoS Computational Biology, vol. 3(5):e92, Public Library of Science, 2007, doi:10.1371/journal.pcbi.0030092.

Fisher, Jasmin, and Thomas A. Henzinger. “Executable Cell Biology.”10.1038/nbt1356__Nature Biotechnology, vol. 25, Nature Publishing Group, 2007, pp. 1239–49, doi:10.1038/nbt1356.

Duparc, Jacques, and Thomas A. Henzinger. “CSL: Computer Science Logic .”10.1007/978-3-540-74915-8__CSL: Computer Science Logic, vol. 4646, Springer, 2007, doi:10.1007/978-3-540-74915-8.

Chatterjee, Krishnendu, and Thomas A. Henzinger. Assume-Guarantee Synthesis. Vol. 4424, Springer, 2007, pp. 261–75, doi:10.1007/978-3-540-71209-1_21.