Erdös, L., Schlein, B., &; Yau, H. (2007). Rigorous derivation of the Gross-Pitaevskii equation. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.98.040404 

Eckhardt, B., Schneider, T., Hof, B., &; Westerweel, J. (2007). Turbulence transition in pipe flow. Annual Review of Fluid Mechanics. Annual Reviews.https://doi.org/10.1146/annurev.fluid.39.050905.110308 

Hof, B., Tax, W., &; Westerweel, J. (2007). Lifetime of turbulence in pipe flow (Vol. 117, pp. 556–558). Presented at the EET: European Turbulence Conference, Springer.https://doi.org/10.1007/978-3-540-72604-3_177 

Carneiro, J., Leon, K., Caramalho, Í., Van Den Dool, C., Gardner, R., Oliveira, V.,https://doi.org/10.1111/j.1600-065X.2007.00487.x__Demengeot, J. (2007). When three is not a crowd a Crossregulation Model of the dynamics and repertoire selection of regulatory C T cells. Immunological Reviews. Wiley-Blackwell.https://doi.org/10.1111/j.1600-065X.2007.00487.x 

Paixao, T., Carvalho, T., Calado, D., &; Carneiro, J. (2007). Quantitative insights into stochastic monoallelic expression of cytokine genes. Immunology and Cell Biology. Nature Publishing Group.https://doi.org/10.1038/sj.icb.7100057 

Kumar, M. P., Kolmogorov, V., &; Torr, P. (2007). An Analysis of Convex Relaxations for MAP Estimation. Presented at the Neural Information Processing Systems, Neural Information Processing Systems.

Blakeslee, J., Bandyopadhyay, A., Ok, R., Mravec, J., Titapiwatanakun, B., Sauer, M.,https://doi.org/10.1105/tpc.106.040782__Murphy, A. (2007). Interactions among PIN FORMED and P glycoprotein auxin transporters in Arabidopsis. Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.106.040782 

Dhonukshe, P., Samaj, J., Baluska, F., &; Friml, J. (2007). A unifying new model of cytokinesis for the dividing plant and animal cells. Bioessaysf: News and Reviews in Molecular, Cellular and Developmental Biology. Wiley-Blackwell.https://doi.org/10.1002/bies.20559 

Bandyopadhyay, A., Blakeslee, J., Lee, O., Mravec, J., Sauer, M., Titapiwatanakun, B.,https://doi.org/10.1042/BST0350137__Murphy, A. (2007). Interactions of PIN and PGP auxin transport mechanisms (Vol. 35, pp. 137–141). Presented at the Intercellular Signalling in Plants, Portland Press.https://doi.org/10.1042/BST0350137 

Laplaze, L., Benková, E., Casimiro, I., Maes, L., Vanneste, S., Swarup, R.,https://doi.org/10.1105/tpc.107.055863__Bennett, M. (2007). Cytokinins act directly on lateral root founder cells to inhibit root initiation. Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.107.055863 

Rfeidka, K., Ljung, K., Vanneste, S., Podhorská, R., Beeckman, T., Friml, J., &; Benková, E. (2007). Ethylene regulates root growth through effects on auxin biosynthesis and transport dependent auxin distribution. Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.107.052126 

Michniewicz, M., Zago, M., Abas, L., Weijers, D., Schweighofer, A., Meskiene, I.,https://doi.org/10.1016/j.cell.2007.07.033__Friml, J. (2007). Antagonistic regulation of PIN phosphorylation by PA and PINOID directs auxin flux. Cell. Cell Press.https://doi.org/10.1016/j.cell.2007.07.033 

Vieten, A., Sauer, M., Brewer, P., &; Friml, J. (2007). Molecular and cellular aspects of auxin-transport-mediated development. Trends in Plant Science. Cell Press.https://doi.org/10.1016/j.tplants.2007.03.006 

Rother, C., Kolmogorov, V., Lempitsky, V., &; Szummer, M. (2007). Optimizing binary MRFs via extended roof duality. Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE.https://doi.org/10.1109/CVPR.2007.383203 

Kolmogorov, V., Boykov, Y., &; Rother, C. (2007). Applications of parametric maxflow in computer vision. Presented at the ICCV: International Conference on Computer Vision, IEEE.https://doi.org/10.1109/ICCV.2007.4408910 

Kolmogorov, V., &; Rother, C. (2007). Minimizing nonsubmodular functions with graph cuts - A review. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE.https://doi.org/10.1109/TPAMI.2007.1031 

Blake, A., Criminisi, A., Cross, G., Kolmogorov, V., &; Rother, C. (2007). Fusion of stereo colour and contrast. Springer Tracts in Advanced Robotics. Springer.https://doi.org/10.1007/978-3-540-48113-3_27 

Pietrzak, K. Z. (2007). Non-trivial black-box combiners for collision-resistant hash-functions don’t exist (Vol. 4515, pp. 23–33). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer.https://doi.org/10.1007/978-3-540-72540-4_2 

Desai, M., Weissman, D., &; Feldman, M. (2007). Evolution can favor antagonistic epistasis. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.107.075812 

Preiner, J., Janovjak, H. L., Rankl, C., Knaus, H., Cisneros, D., Kedrov, A.,https://doi.org/10.1529/biophysj.106.096982__Hinterdorfer, P. (2007). Free energy of membrane protein unfolding derived from single-molecule force measurements. Biophysical Journal. Biophysical Society.https://doi.org/10.1529/biophysj.106.096982 

Kedrov, A., Janovjak, H. L., Sapra, T., &; Mueller, D. (2007). Deciphering molecular interactions of native membrane proteins by single-molecule force spectroscopy. Annual Review of Biophysics. Annual Reviews.https://doi.org/10.1146/annurev.biophys.36.040306.132640 

Bollenbach, M. T., Kruse, K., Pantazis, P., Gonzalez Gaitan, M., &; Julicher, F. (2007). Morphogen transport in epithelia. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics.https://doi.org/10.1103/PhysRevE.75.011901 

Csicsvari, J. L., O’Neill, J., Allen, K., &; Senior, T. (2007). Place-selective firing contributes to the reverse-order reactivation of C pyramidal cells during sharp waves in open-field exploration. European Journal of Neuroscience. Wiley-Blackwell.https://doi.org/10.1111/j.1460-9568.2007.05684.x 

Yang, E., Haridas, N., El Rayis, A., Erdogan, A., Arslan, T., &; Barton, N. H. (2007). Multiobjective optimal design of MEMS-based reconfigurable and evolvable sensor networks for space applications (pp. 27–34). Presented at the AHS: NASA/ESA Conference on Adaptive Hardware and Systems, IEEE.https://doi.org/10.1109/AHS.2007.76 

Blaschko, M., Hofmann, T., &; Lampert, C. (2007). Efficient subwindow search for object localization. Unknown. Max-Planck-Institute for Biological Cybernetics.

Ulges, A., Lampert, C., Keysers, D., &; Breuel, T. (2007). Optimal dominant motion estimation using adaptive search of transformation space (Vol. 4713, pp. 204–213). Presented at the DAGM: German Association For Pattern Recognition, Springer.https://doi.org/10.1007/978-3-540-74936-3_21 

Kinney, J., Tkadik, G., &; Callan, C. (2007). Precise physical models of protein-DNA interaction from high-throughput data. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.0609908104 

Bargteil, A., Wojtan, C., Hodgins, J., &; Turk, G. (2007). A finite element method for animating large viscoplastic flow. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/1276377.1276397 

Wojtan, C., Carlson, M., Mucha, P., &; Turk, G. (2007). Animating corrosion and erosion (pp. 15–22). Presented at the EGWNP: Eurographics Workshop on Natural Phenomena, Eurographics Association.https://doi.org/10.2312/NPH/NPH07/015-022 

Bartos, M., Vida, I., &; Jonas, P. M. (2007). Synaptic mechanisms of synchronized gamma oscillations in inhibitory interneuron networks (Review). Nature Reviews Neuroscience. Nature Publishing Group.https://doi.org/10.1038/nrn2044  

Ugelvig, L. V., &; Cremer, S. (2007). Social prophylaxis: group interaction promotes collective immunity in ant colonies. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2007.10.029 

Cremer, S., Armitage, S., &; Schmid Hempel, P. (2007). Social immunity. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2007.06.008 

Hughes, D., &; Cremer, S. (2007). Plasticity in anti-parasite behaviours and its suggested role in invasion biology. Animal Behaviour. Elsevier.https://doi.org/10.1016/j.anbehav.2006.12.025 

Headd, J., Ban, Y. E. A., Brown, P., Edelsbrunner, H., Vaidya, M., &; Rudolph, J. (2007). Protein-protein interfaces: Properties, preferences, and projections. Journal of Proteome Research. American Chemical Society.https://doi.org/10.1021/pr070018+ 

Attali, D., Edelsbrunner, H., Harer, J., &; Mileyko, Y. (2007). Alpha-beta witness complexes (Vol. 4619, pp. 386–397). Presented at the WADS: International Workshop on Algrithms and Data Structures, Springer.https://doi.org/10.1007/978-3-540-73951-7_34 

Bendich, P., Cohen Steiner, D., Edelsbrunner, H., Harer, J., &; Morozov, D. (2007). Inferring local homology from sampled stratified spaces (pp. 536–546). Presented at the FOCS: Foundations of Computer Science, IEEE.https://doi.org/10.1109/FOCS.2007.33 

Attali, D., &; Edelsbrunner, H. (2007). Inclusion-exclusion formulas from independent complexes. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-006-1274-7 

Rohde, L., &; Heisenberg, C.-P. J. (2007). Zebrafish gastrulation: Cell movements, signals, and mechanisms. International Review of Cytology - A Survey of Cell Biology. Academic Press.https://doi.org/10.1016/S0074-7696(07)61004-3 

Krieg, M., Arboleda, Y., Müller, D., &; Heisenberg, C.-P. J. (2007). The role of cell adhesion and contractility for germ layer morphogenesis during zebrafish gastrulation. European Journal of Cell Biology. Elsevier.https://doi.org/10.1016/j.ejcb.2007.02.002 

Bollenbach, M. T., Vetsigian, K., &; Kishony, R. (2007). Evolution and multilevel optimization of the genetic code. Genome Research. Cold Spring Harbor Laboratory Press.https://doi.org/10.1101/gr.6144007 

Kicheva, A., Pantazis, P., Bollenbach, T., Kalaidzidis, Y., Bittig, T., Julicher, F., &; Gonzalez Gaitan, M. (2007). Kinetics of morphogen gradient formation. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1135774 

Danowski, P. (2007). Library 2.0 and User-Generated Content - What can the users do for us? Presented at the WLIC: World Library and Information Congress, Durban, South Africa: IFLA.https://doi.org/601 

Danowski, P., &; Pfeifer, B. (2007). Wikipedia und Normdateien: Wege der Vernetzung am Beispiel der Kooperation mit der Personennamendatei. Bibliothek - Forschung Und Praxis. De Gruyter.https://doi.org/485 

Danowski, P., &; Heller, L. (2007). Bibliothek 2.0f? Wird alles anders? Bibliothek - Forschung Und Praxis. De Gruyter.https://doi.org/45 

Binladen, J., Gilbert, M. T., Bollback, J. P., Panitz, F., Bendixen, C., Nielsen, R., &; Willerslev, E. (2007). The use of coded PCR primers enables high-throughput sequencing of multiple homolog amplification products by 454 parallel sequencing. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0000197 

Petersen, L., Bollback, J. P., Dimmic, M., Hubisz, M., &; Nielsen, R. (2007). Genes under positive selection in Escherichia coli. Genome Research. Cold Spring Harbor Laboratory Press.https://doi.org/10.1101/gr.6254707 

Bollback, J. P., &; Huelsenbeck, J. (2007). Clonal interference is alleviated by high mutation rates in large populations. Molecular Biology and Evolution. Oxford University Press.https://doi.org/10.1093/molbev/msm056 

Freyhult, E., Bollback, J. P., &; Gardner, P. (2007). Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA. Genome Research. Cold Spring Harbor Laboratory Press.https://doi.org/10.1101/gr.5890907 

Maler, O., Nickovic, D., &; Pnueli, A. (2007). On synthesizing controllers from bounded-response properties (pp. 95–107). Presented at the CAV: Computer Aided Verification, Springer.https://doi.org/1568 

Nickovic, D., &; Maler, O. (2007). AMT: a property-based monitoring tool for analog systems (pp. 304–319). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer.https://doi.org/1567 

Dhonukshe, P., Aniento, F., Hwang, I., Robinson, D., Mravec, J., Stierhof, Y., &; Friml, J. (2007). Clathrin-mediated constitutive endocytosis of PIN auxin efflux carriers in Arabidopsis. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2007.01.052 

Malenica, N., Abas, L., Benjamins, R., Kitakura, S., Sigmund, H., Jun, K.,https://doi.org/10.1111/j.1365-313X.2007.03158.x__Luschnig, C. (2007). MODULATOR of PIN genes control steady state levels of Arabidopsis PIN proteins. Plant Journal. Wiley-Blackwell.https://doi.org/10.1111/j.1365-313X.2007.03158.x 

Hippenmeyer, S., Huber, R., Ladle, D., Murphy, K., &; Arber, S. (2007). ETS transcription factor Erm controls subsynaptic gene expression in skeletal muscles. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2007.07.028 

Dodis, Y., &; Pietrzak, K. Z. (2007). Improving the security of MACs via randomized message preprocessing (Vol. 4593, pp. 414–433). Presented at the FSE: Fast Software Encryption, Springer.https://doi.org/10.1007/978-3-540-74619-5_26 

Pietrzak, K. Z., &; Wikström, D. (2007). Parallel repetition of computationally sound protocols revisited (Vol. 4392, pp. 86–102). Presented at the TCC: Theory of Cryptography Conference, Springer.https://doi.org/10.1007/978-3-540-70936-7_5 

Dziembowski, S., &; Pietrzak, K. Z. (2007). Intrusion resilient secret sharing (pp. 227–237). Presented at the FOCS: Foundations of Computer Science, IEEE.https://doi.org/10.1109/FOCS.2007.63 

Maurer, U., Pietrzak, K. Z., &; Renner, R. (2007). Indistinguishability amplification (Vol. 4622, pp. 130–149). Presented at the CRYPTO: International Cryptology Conference, Springer.https://doi.org/10.1007/978-3-540-74143-5_8 

Pietrzak, K. Z., &; Sjödin, J. (2007). Range extension for weak PRFs the good the bad and the ugly (Vol. 4515, pp. 517–533). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer.https://doi.org/10.1007/978-3-540-72540-4_30 

Reynolds, S., Dryer, K., Bollback, J. P., Uy, J. A., Patricelli, G., Robson, T.,https://doi.org/10.1642/0004-8038(2007)124[857:BPPGPI]2.0.CO;2__Braun, M. (2007). Behavioral paternity predicts genetic paternity in satin bowerbirds, a species with a non-resource-based mating system. The Auk. University of California Press.https://doi.org/10.1642/0004-8038(2007)124[857:BPPGPI]2.0.CO;2 

Bollback, J. P., Gardner, P., &; Nielsen, R. (2007). Estimating the history of mutations on a phylogeny. In D. Liberles (Ed.), Ancestral Sequence Reconstruction (pp. 69–79). Oxford University Press.https://doi.org/10.1093/acprof:oso/9780199299188.003.0006 

Jonas, P. M., &; Buzsáki, G. (2007). Neural inhibition. Scholarpedia. Scholarpedia.https://doi.org/10.4249/scholarpedia.3286 

Attali, D., Edelsbrunner, H., &; Mileyko, Y. (2007). Weak witnesses for Delaunay triangulations of submanifolds (pp. 143–150). Presented at the SPM: Symposium on Solid and Physical Modeling, ACM.https://doi.org/10.1145/1236246.1236267 

Ulges, A., Lampert, C., Keysers, D., &; Breuel, T. (2007). Optimal dominant motion estimation using adaptive search of transformation space (Vol. 4713, pp. 204–213). Presented at the DAGM: German Association For Pattern Recognition, Springer.https://doi.org/10.1007/978-3-540-74936-3_21 

Barton, N. H., Briggs, D., Eisen, J., Goldstein, D., &; Patel, N. (2007). Evolution. Cold Spring Harbor Laboratory Press.

Bippes, C., Janovjak, H. L., Kedrov, A., &; Mueller, D. (2007). Digital force-feedback for protein unfolding experiments using atomic force microscopy. Nanotechnology. IOP Publishing Ltd.https://doi.org/10.1088/0957-4484/18/4/044022 

Janovjak, H. L., Knaus, H., &; Mueller, D. (2007). Transmembrane helices have rough energy surfaces. Journal of the American Chemical Society. ACS.https://doi.org/10.1021/ja065684a 

Broderick, T., Dudik, M., Tkadik, G., Schapire, R., &; Bialek, W. (2007). Faster solutions of the inverse pairwise Ising problem. ArXiv. ArXiv.

Schmidt Hieber, C., Jonas, P. M., &; Bischofberger, J. (2007). Subthreshold dendritic signal processing and coincidence detection in dentate gyrus granule cells. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.1787-07.2007 

Rollenhagen, A., Satzler, K., Rodriguez, E. P., Jonas, P. M., Frotscher, M., &; Lubke, J. (2007). Structural determinants of transmission at large hippocampal mossy fiber synapses. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.1946-07.2007 

Li, L., Bischofberger, J., &; Jonas, P. M. (2007). Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.1709-07.2007 

Chatterjee, K., Henzinger, T. A., &; Piterman, N. (2007). Generalized parity games (Vol. 4423, pp. 153–167). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Springer.https://doi.org/10.1007/978-3-540-71389-0_12 

Chatterjee, K. (2007). Concurrent games with tail objectives. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2007.07.047 

Chatterjee, K., Henzinger, T. A., &; Piterman, N. (2007). Strategy logic (Vol. 4703, pp. 59–73). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-540-74407-8_5 

De Alfaro, L., Chatterjee, K., Faella, M., &; Legay, A. (2007). Qualitative logics and equivalences for probabilistic systems (pp. 237–248). Presented at the QEST: Quantitative Evaluation of Systems, IEEE.https://doi.org/10.1109/QEST.2007.15 

Chatterjee, K. (2007). Markov decision processes with multiple long-run average objectives (Vol. 4855, pp. 473–484). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-540-77050-3_39 

Chatterjee, K. (2007). Stochastic Müller games are PSPACE-complete (Vol. 4855, pp. 436–448). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-540-77050-3_36 

Chatterjee, K. (2007). Optimal strategy synthesis in stochastic Müller games (Vol. 4423, pp. 138–152). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Springer.https://doi.org/10.1007/978-3-540-71389-0_11 

Dorn, T., Kuhn, U., Bungartz, G., Stiller, S., Bauer, M., Ellwart, J.,https://doi.org/10.1182/blood-2006-04-019034__Brakebusch, C. (2007). RhoH is important for positive thymocyte selection and T-cell receptor signaling. Blood. American Society of Hematology.https://doi.org/10.1182/blood-2006-04-019034 

Woolf, E., Grigorova, I., Sagiv, A., Grabovsky, V., Feigelson, S., Shulman, Z.,https://doi.org/10.1038/ni1499__Alon, R. (2007). Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces. Nature Immunology. Nature Publishing Group.https://doi.org/10.1038/ni1499 

Cohen Steiner, D., &; Edelsbrunner, H. (2007). Inequalities for the curvature of curves and surfaces. Foundations of Computational Mathematics. Springer.https://doi.org/10.1007/s10208-005-0200-3 

Cohen Steiner, D., Edelsbrunner, H., &; Harer, J. (2007). Stability of persistence diagrams. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-006-1276-5 

Von Der Hardt, S., Bakkers, J., Inbal, A., Carvalho, L., Solnica Krezel, L., Heisenberg, C.-P. J., &; Hammerschmidt, M. (2007). The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2007.02.013 

de Vladar, H., &; Pen, I. (2007). Determinism, noise, and spurious estimations in a generalised model of population growth. Physica A. Elsevier.https://doi.org/10.1016/j.physa.2006.06.025 

de Vladar, H. (2007). Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas. In N. Falcón &; Y. Loyo De Sardi (Eds.) (pp. 91–109). Presented at the Ab Initio: Orígenes Del Universo, La Vida, Y La Inteligencia, Consejo de Desarrollo Cientifico y Tecnologico.https://doi.org/3808 

Gardner, A., West, S., &; Barton, N. H. (2007). The relation between multilocus population genetics and social evolution theory. American Naturalist. University of Chicago Press.https://doi.org/10.1086/510602 

Free, A., &; Barton, N. H. (2007). Do evolution and ecology need the Gaia hypothesis? Trends in Ecology and Evolution. Cell Press.https://doi.org/10.1016/j.tree.2007.07.007 

Beyer, D., Henzinger, T. A., &; Singh, V. (2007). Algorithms for interface synthesis (Vol. 4590, pp. 4–19). Presented at the CAV: Computer Aided Verification, Springer.https://doi.org/10.1007/978-3-540-73368-3_4 

Bouillaguet, C., Kuncak, V., Wies, T., Zee, K., &; Rinard, M. (2007). Using First-Order Theorem Provers in the Jahob Data Structure Verification System (pp. 74–88). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer.https://doi.org/1552 

Berdine, J., Calcagno, C., Cook, B., Distefano, D., O’Hearn, P., Wies, T., &; Yang, H. (2007). Shape Analysis for Composite Data Structures (pp. 178–192). Presented at the CAV: Computer Aided Verification, Springer.https://doi.org/1553 

Schaub, M., Henzinger, T. A., &; Fisher, J. (2007). Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology. BioMed Central.https://doi.org/10.1186/1752-0509-1-4 

Alur, R., Cerny, P., &; Chaudhuri, S. (2007). Model Checking on Trees with Path Equivalences (pp. 664–678). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer.https://doi.org/1544 

Manevich, R., Field, J., Henzinger, T. A., Ramalingam, G., &; Sagiv, M. (2007). Abstract counterexample-based refinement for powerset domains. In Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday (Vol. 4444, pp. 273–292). Springer.https://doi.org/10.1007/978-3-540-71322-7_13 

Henzinger, T. A., &; Kirsch, C. (2007). The embedded machine: Predictable, portable real-time code. ACM Transactions on Programming Languages and Systems (TOPLAS). ACM.https://doi.org/10.1145/1286821.1286824 

Henzinger, T. A. (2007). Games, time, and probability: Graph models for system design and analysis (Vol. 4362, pp. 103–110). Presented at the SOFSEM: Current Trends in Theory and Practice of Computer Science, Springer.https://doi.org/10.1007/978-3-540-69507-3_7 

Henzinger, T. A. (2007). Quantitative generalizations of languages (Vol. 4588, pp. 20–22). Presented at the DLT: Developments in Language Theory, Springer.https://doi.org/10.1007/978-3-540-73208-2_2 

Fisher, J., Piterman, N., Hajnal, A., &; Henzinger, T. A. (2007). Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.0030092 

Fisher, J., &; Henzinger, T. A. (2007). Executable cell biology. Nature Biotechnology. Nature Publishing Group.https://doi.org/10.1038/nbt1356 

Duparc, J., &; Henzinger, T. A. (2007). CSL: Computer Science Logic . CSL: Computer Science Logic (Vol. 4646). Springer.https://doi.org/10.1007/978-3-540-74915-8 

Chatterjee, K., &; Henzinger, T. A. (2007). Assume-guarantee synthesis (Vol. 4424, pp. 261–275). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer.https://doi.org/10.1007/978-3-540-71209-1_21 

Chatterjee, K., Doyen, L., Henzinger, T. A., &; Raskin, J. (2007). Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.2168/LMCS-3(3:4)2007