Chatterjee, Krishnendu. Stochastic <9-Regular Games. University of California, Berkeley, 2007, pp. 1–247.

Chakrabarti, Arindam. A Framework for Compositional Design and Analysis of Systems. University of California, Berkeley, 2007, pp. 1–244.

Beyer, Dirk, et al. “The Software Model Checker BLAST: Applications to Software Engineering.”10.1007/s10009-007-0044-z__International Journal on Software Tools for Technology Transfer, vol. 9, no. 5, Springer, 2007, pp. 505–25, doi:10.1007/s10009-007-0044-z.

Brihaye, Thomas, et al. Minimum-Time Reachability in Timed Games. Vol. 4596, Springer, 2007, pp. 825–37, doi:10.1007/978-3-540-73420-8_71.

Beyer, Dirk, et al. Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. Vol. 4590, Springer, 2007, pp. 504–18, doi:10.1007/978-3-540-73368-3_51.

Beyer, Dirk, et al. Invariant Synthesis for Combined Theories. Vol. 4349, Springer, 2007, pp. 378–94, doi:10.1007/978-3-540-69738-1_27.

Beyer, Dirk, et al. Path Invariants. ACM, 2007, pp. 300–09, doi:10.1145/1250734.1250769.

Beyer, Dirk, et al. An Application of Web-Service Interfaces. IEEE, 2007, pp. 831–38, doi:10.1109/ICWS.2007.32 .

De Alfaro, Luca, et al. “Concurrent Reachability Games.”10.1016/j.tcs.2007.07.008__Theoretical Computer Science, vol. 386, no. 3, Elsevier, 2007, pp. 188–217, doi:10.1016/j.tcs.2007.07.008.

Hosten, Onur, and Paul Kwiat. Observing the Spin Hall Effect of Light via Quantum Weak Measurements. OSA, 2007, doi:10.1364/FIO.2007.JTuA4.

Gumienny, Tina L., et al. “Glypican LON-2 Is a Conserved Negative Regulator of BMP-like Signaling in Caenorhabditis Elegans.”10.1016/j.cub.2006.11.065__Current Biology, vol. 17, no. 2, Elsevier, 2007, pp. 159–64, doi:10.1016/j.cub.2006.11.065.

Browning, Timothy D. “An Overview of Manin’s Conjecture for Del Pezzo Surfaces.” A Tribute to Gauss and Dirichlet, vol. 7, American Mathematical Society, 2007, pp. 39–56.

Browning, Timothy D. “The Manin Conjecture in Dimension 2.” ArXiv, 0704.1217.

Schneider, I. A., et al. “Oscillations in Gas Channels: Part I. The Forgotten Player in Impedance Spectroscopy in PEFCs.”10.1149/1.2435706__Journal of The Electrochemical Society, vol. 154, no. 4, 3, The Electrochemical Society, 2007, doi:10.1149/1.2435706.

Büchi, F. N., et al. “Consumption and Efficiency of a Passenger Car with a Hydrogen/Oxygen PEFC Based Hybrid Electric Drivetrain.”10.1002/fuce.200600050__Fuel Cells, vol. 7, no. 4, Wiley, 2007, pp. 329–35, doi:10.1002/fuce.200600050.

Büchi, F. N., et al. “On the Efficiency of an Advanced Automotive Fuel Cell System.”10.1002/fuce.200500257__Fuel Cells, vol. 7, no. 2, Wiley, 2007, pp. 159–64, doi:10.1002/fuce.200500257.

Robinson, Matthew Richard, and Loeske E. .. Kruuk. “Function of Weaponry in Females: The Use of Horns in Intrasexual Competition for Resources in Female Soay Sheep.”10.1098/rsbl.2007.0278__Biology Letters, vol. 3, no. 6, The Royal Society, 2007, pp. 651–54, doi:10.1098/rsbl.2007.0278.

Robinson, Matthew Richard, et al. “Live Fast, Die Young: Trade-Offs between Fitness Components and Sexually Antagonistic Selection on Weaponry in Soay Sheep.”10.1111/j.0014-3820.2006.tb01854.x__Evolution, vol. 60, no. 10, Wiley, 2007, pp. 2168–81, doi:10.1111/j.0014-3820.2006.tb01854.x.

Goodrich, Carl Peter, et al. “Single-Molecule Electrophoresis of ;2-Hairpin Peptides by Electrical Recordings and Langevin Dynamics Simulations.”10.1021/jp071364h__The Journal of Physical Chemistry B, vol. 111, no. 13, American Chemical Society, 2007, pp. 3332–35, doi:10.1021/jp071364h.

Vogels, Tim P., and L. Abbott. “Gating Deficits in Model Networks: A Path to Schizophrenia?”10.1055/s-2007-992130__Pharmacopsychiatry, vol. 40, no. S 1, Thieme, 2007, pp. –77, doi:10.1055/s-2007-992130.

Schanda, Paul, et al. “Protein Folding and Unfolding Studied at Atomic Resolution by Fast Two-Dimensional NMR Spectroscopy.”10.1073/pnas.0702069104__Proceedings of the National Academy of Sciences, vol. 104, no. 27, National Academy of Sciences, 2007, pp. 11257–62, doi:10.1073/pnas.0702069104.

Gal, Maayan, et al. “UltraSOFAST HMQC NMR and the Repetitive Acquisition of 2D Protein Spectra at Hz Rates.”10.1021/ja066915g__Journal of the American Chemical Society, vol. 129, no. 5, American Chemical Society, 2007, pp. 1372–77, doi:10.1021/ja066915g.

Schanda, Paul, et al. “Sensitivity-Optimized Experiment for the Measurement of Residual Dipolar Couplings between Amide Protons.”10.1007/s10858-006-9138-2__Journal of Biomolecular NMR, vol. 38, Springer Nature, 2007, pp. 47–55, doi:10.1007/s10858-006-9138-2.

Lescop, Ewen, et al. “Automated Spectral Compression for Fast Multidimensional NMR and Increased Time Resolution in Real-Time NMR Spectroscopy.”10.1021/ja068949u__Journal of the American Chemical Society, vol. 129, no. 10, American Chemical Society, 2007, pp. 2756–57, doi:10.1021/ja068949u.

Lescop, Ewen, et al. “A Set of BEST Triple-Resonance Experiments for Time-Optimized Protein Resonance Assignment.”10.1016/j.jmr.2007.04.002__Journal of Magnetic Resonance, vol. 187, no. 1, Elsevier, 2007, pp. 163–69, doi:10.1016/j.jmr.2007.04.002.

Plotnikova, Olga, et al. “Conversion and Compensatory Evolution of the ;3-Crystallin Genes and Identification of a Cataractogenic Mutation That Reverses the Sequence of the Human CRYGD Gene to an Ancestral State.”10.1086/518616__American Journal of Human Genetics, vol. 81, no. 1, Cell Press, 2007, pp. 32–43, doi:10.1086/518616.

Kondrashov, Fyodor, et al. “Selection for Functional Uniformity of Tuf Duplicates in ;3-Proteobacteria.”10.1016/j.tig.2007.03.002__Trends in Genetics, vol. 23, no. 5, Elsevier, 2007, pp. 215–18, doi:10.1016/j.tig.2007.03.002.

Bazykin, Georgii, et al. “Extensive Parallelism in Protein Evolution.”10.1186/1745-6150-2-20__Biology Direct, vol. 2, BioMed Central, 2007, doi:10.1186/1745-6150-2-20.

Penterman, Jon, et al. “DNA Demethylation in the Arabidopsis Genome.”10.1073/pnas.0701861104__Proceedings of the National Academy of Sciences, vol. 104, no. 16, National Academy of Sciences, 2007, pp. 6752–57, doi:10.1073/pnas.0701861104.

Gorodetski, A., and Vadim Kaloshin. “How Often Surface Diffeomorphisms Have Infinitely Many Sinks and Hyperbolicity of Periodic Points near a Homoclinic Tangency.”10.1016/j.aim.2006.03.012__Advances in Mathematics, vol. 208, no. 2, Elsevier, 2007, pp. 710–97, doi:10.1016/j.aim.2006.03.012.

Kaloshin, Vadim, and Brian Hunt. “Stretched Exponential Estimates on Growth of the Number of Periodic Points for Prevalent Diffeomorphisms I.”10.4007/annals.2007.165.89__Annals of Mathematics, vol. 165, no. 1, Princeton University Press, 2007, pp. 89–170, doi:10.4007/annals.2007.165.89.

Popadin, Konstantin, et al. “A Manually Curated Database of Tetrapod Mitochondrially Encoded TRNA Sequences and Secondary Structures.”10.1186/1471-2105-8-441__BMC Bioinformatics, vol. 8, BioMed Central, 2007, doi:10.1186/1471-2105-8-441.

Bühler, Oliver, and Caroline J. Muller. “Instability and Focusing of Internal Tides in the Deep Ocean.”10.1017/s0022112007007410__Journal of Fluid Mechanics, vol. 588, Cambridge University Press, 2007, pp. 1–28, doi:10.1017/s0022112007007410.

Zilberman, Daniel. “The Human Promoter Methylome.”10.1038/ng0407-442__Nature Genetics, vol. 39, no. 4, Nature Publishing Group, 2007, pp. 442–43, doi:10.1038/ng0407-442.

Zilberman, Daniel, and Steven Henikoff. “Genome-Wide Analysis of DNA Methylation Patterns.”10.1242/dev.001131__Development, vol. 134, no. 22, The Company of Biologists, 2007, pp. 3959–65, doi:10.1242/dev.001131.

Feng, Xiaoqi, and Hugh G. Dickinson. “Packaging the Male Germline in Plants.”10.1016/j.tig.2007.08.005__Trends in Genetics, vol. 23, no. 10, Elsevier BV, 2007, pp. 503–10, doi:10.1016/j.tig.2007.08.005.

Klajn, Rafal, et al. “Synthesis of Heterodimeric Sphere–Prism Nanostructures via Metastable Gold Supraspheres.”10.1002/anie.200702570__Angewandte Chemie International Edition, vol. 46, no. 44, Wiley, 2007, pp. 8363–67, doi:10.1002/anie.200702570.

Klajn, Rafal, et al. “Light-Controlled Self-Assembly of Reversible and Irreversible Nanoparticle Suprastructures.”10.1073/pnas.0611371104__Proceedings of the National Academy of Sciences, vol. 104, no. 25, Proceedings of the National Academy of Sciences, 2007, pp. 10305–09, doi:10.1073/pnas.0611371104.

Klajn, Rafal, et al. “Plastic and Moldable Metals by Self-Assembly of Sticky Nanoparticle Aggregates.”10.1126/science.1139131__Science, vol. 316, no. 5822, American Association for the Advancement of Science, 2007, pp. 261–64, doi:10.1126/science.1139131.

Paszewski, Maciej, et al. “Multilevel Surface Nano- and Microstructuring via Sequential Photoswelling of Dichromated Gelatin.”10.1021/la062982c__Langmuir, vol. 23, no. 10, American Chemical Society, 2007, pp. 5419–22, doi:10.1021/la062982c.

Sweeney, Lora B., et al. “Temporal Target Restriction of Olfactory Receptor Neurons by Semaphorin-1a/PlexinA-Mediated Axon-Axon Interactions.”10.1016/j.neuron.2006.12.022__Neuron, vol. 53, no. 2, Elsevier, 2007, pp. 185–200, doi:10.1016/j.neuron.2006.12.022.

Komiyama, Takaki, et al. “Graded Expression of Semaphorin-1a Cell-Autonomously Directs Dendritic Targeting of Olfactory Projection Neurons.”10.1016/j.cell.2006.12.028__Cell, vol. 128, no. 2, Elsevier, 2007, pp. 399–410, doi:10.1016/j.cell.2006.12.028.