Chatterjee K. Stochastic <9-Regular Games. 2007:1-247.

Chakrabarti A. A framework for compositional design and analysis of systems. 2007:1-244.

Beyer D, Henzinger TA, Jhala R, Majumdar R. The software model checker BLAST: Applications to software engineering. International Journal on Software Tools for Technology Transfer. 2007;9(5):505-525. doi:10.1007/s10009-007-0044-z

Brihaye T, Henzinger TA, Prabhu V, Raskin J. Minimum-time reachability in timed games. In: Vol 4596. Springer; 2007:825-837. doi:10.1007/978-3-540-73420-8_71

Beyer D, Henzinger TA, Théoduloz G. Configurable software verification: Concretizing the convergence of model checking and program analysis. In: Vol 4590. Springer; 2007:504-518. doi:10.1007/978-3-540-73368-3_51

Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Invariant synthesis for combined theories. In: Vol 4349. Springer; 2007:378-394. doi:10.1007/978-3-540-69738-1_27

Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Path invariants. In: ACM; 2007:300-309. doi:10.1145/1250734.1250769

Beyer D, Chakrabarti A, Henzinger TA, Seshia S. An application of web-service interfaces. In: IEEE; 2007:831-838. doi:10.1109/ICWS.2007.32 

De Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games. Theoretical Computer Science. 2007;386(3):188-217. doi:10.1016/j.tcs.2007.07.008

Hosten O, Kwiat P. Observing the spin hall effect of light via quantum weak measurements. In: OSA; 2007. doi:10.1364/FIO.2007.JTuA4

Gumienny TL, MacNeil LT, Wang H, de Bono M, Wrana JL, Padgett RW. Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans. Current Biology. 2007;17(2):159-164. doi:10.1016/j.cub.2006.11.065

Browning TD. An overview of Manin’s conjecture for del Pezzo surfaces. In: A Tribute to Gauss and Dirichlet. Vol 7. Analytic Number Theory. American Mathematical Society; 2007:39-56.

Browning TD. The Manin conjecture in dimension 2. arXiv.

Schneider IA, Freunberger SA, Kramer D, Wokaun A, Scherer GG. Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs. Journal of The Electrochemical Society. 2007;154(4). doi:10.1149/1.2435706

Büchi FN, Paganelli G, Dietrich P, et al. Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain. Fuel Cells. 2007;7(4):329-335. doi:10.1002/fuce.200600050

Büchi FN, Freunberger SA, Reum M, et al. On the efficiency of an advanced automotive fuel cell system. Fuel Cells. 2007;7(2):159-164. doi:10.1002/fuce.200500257

Robinson MR, Kruuk LE. Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep. Biology Letters. 2007;3(6):651-654. doi:10.1098/rsbl.2007.0278

Robinson MR, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep. Evolution. 2007;60(10):2168-2181. doi:10.1111/j.0014-3820.2006.tb01854.x

Goodrich CP, Kirmizialtin S, Huyghues-Despointes BM, et al. Single-molecule electrophoresis of ;2-hairpin peptides by electrical recordings and Langevin dynamics simulations. The Journal of Physical Chemistry B. 2007;111(13):3332-3335. doi:10.1021/jp071364h

Vogels TP, Abbott L. Gating deficits in model networks: A path to schizophrenia? Pharmacopsychiatry. 2007;40(S 1):-. doi:10.1055/s-2007-992130

Schanda P, Forge V, Brutscher B. Protein folding and unfolding studied at atomic resolution by fast two-dimensional NMR spectroscopy. Proceedings of the National Academy of Sciences. 2007;104(27):11257-11262. doi:10.1073/pnas.0702069104

Gal M, Schanda P, Brutscher B, Frydman L. UltraSOFAST HMQC NMR and the repetitive acquisition of 2D protein spectra at Hz rates. Journal of the American Chemical Society. 2007;129(5):1372-1377. doi:10.1021/ja066915g

Schanda P, Lescop E, Falge M, Sounier R, Boisbouvier J, Brutscher B. Sensitivity-optimized experiment for the measurement of residual dipolar couplings between amide protons. Journal of Biomolecular NMR. 2007;38:47-55. doi:10.1007/s10858-006-9138-2

Lescop E, Schanda P, Rasia R, Brutscher B. Automated spectral compression for fast multidimensional NMR and increased time resolution in real-time NMR spectroscopy. Journal of the American Chemical Society. 2007;129(10):2756-2757. doi:10.1021/ja068949u

Lescop E, Schanda P, Brutscher B. A set of BEST triple-resonance experiments for time-optimized protein resonance assignment. Journal of Magnetic Resonance. 2007;187(1):163-169. doi:10.1016/j.jmr.2007.04.002

Plotnikova O, Kondrashov F, Vlasov P, Grigorenko A, Ginter E, Rogaev E. 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. American Journal of Human Genetics. 2007;81(1):32-43. doi:10.1086/518616

Kondrashov F, Gurbich T, Vlasov P. Selection for functional uniformity of tuf duplicates in ;3-proteobacteria. Trends in Genetics. 2007;23(5):215-218. doi:10.1016/j.tig.2007.03.002

Bazykin G, Kondrashov F, Brudno M, Poliakov A, Dubchak I, Kondrashov A. Extensive parallelism in protein evolution. Biology Direct. 2007;2. doi:10.1186/1745-6150-2-20

Penterman J, Zilberman D, Huh JH, Ballinger T, Henikoff S, Fischer RL. DNA demethylation in the Arabidopsis genome. Proceedings of the National Academy of Sciences. 2007;104(16):6752-6757. doi:10.1073/pnas.0701861104

Gorodetski A, Kaloshin V. How often surface diffeomorphisms have infinitely many sinks and hyperbolicity of periodic points near a homoclinic tangency. Advances in Mathematics. 2007;208(2):710-797. doi:10.1016/j.aim.2006.03.012

Kaloshin V, Hunt B. Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I. Annals of Mathematics. 2007;165(1):89-170. doi:10.4007/annals.2007.165.89

Popadin K, Mamirova L, Kondrashov F. A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures. BMC Bioinformatics. 2007;8. doi:10.1186/1471-2105-8-441

Bühler O, Muller CJ. Instability and focusing of internal tides in the deep ocean. Journal of Fluid Mechanics. 2007;588:1-28. doi:10.1017/s0022112007007410

Zilberman D. The Human Promoter Methylome. Vol 39. Nature Publishing Group; 2007:442-443. doi:10.1038/ng0407-442

Zilberman D, Henikoff S. Genome-wide analysis of DNA methylation patterns. Development. 2007;134(22):3959-3965. doi:10.1242/dev.001131

Feng X, Dickinson HG. Packaging the male germline in plants. Trends in Genetics. 2007;23(10):503-510. doi:10.1016/j.tig.2007.08.005

Klajn R, Pinchuk AO, Schatz GC, Grzybowski BA. Synthesis of heterodimeric sphere–prism nanostructures via metastable gold supraspheres. Angewandte Chemie International Edition. 2007;46(44):8363-8367. doi:10.1002/anie.200702570

Klajn R, Bishop KJM, Grzybowski BA. Light-controlled self-assembly of reversible and irreversible nanoparticle suprastructures. Proceedings of the National Academy of Sciences. 2007;104(25):10305-10309. doi:10.1073/pnas.0611371104

Klajn R, Bishop KJM, Fialkowski M, et al. Plastic and moldable metals by self-assembly of sticky nanoparticle aggregates. Science. 2007;316(5822):261-264. doi:10.1126/science.1139131

Paszewski M, Smoukov SK, Klajn R, Grzybowski BA. Multilevel surface nano- and microstructuring via sequential photoswelling of dichromated gelatin. Langmuir. 2007;23(10):5419-5422. doi:10.1021/la062982c

Sweeney LB, Couto A, Chou Y-H, et al. Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions. Neuron. 2007;53(2):185-200. doi:10.1016/j.neuron.2006.12.022

Komiyama T, Sweeney LB, Schuldiner O, Garcia KC, Luo L. Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons. Cell. 2007;128(2):399-410. doi:10.1016/j.cell.2006.12.028