CSL: Computer Science Logic 
J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007.

Assume-guarantee synthesis
K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.

Algorithms for omega-regular games with imperfect information
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.

Stochastic <9-Regular Games
K. Chatterjee, Stochastic <9-Regular Games, University of California, Berkeley, 2007.

A framework for compositional design and analysis of systems
A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.

The software model checker BLAST: Applications to software engineering
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, International Journal on Software Tools for Technology Transfer 9 (2007) 505–525.

Minimum-time reachability in timed games
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.

Configurable software verification: Concretizing the convergence of model checking and program analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.

Invariant synthesis for combined theories
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.

Path invariants
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, ACM, 2007, pp. 300–309.

An application of web-service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp. 831–838.

Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.

Observing the spin hall effect of light via quantum weak measurements
O. Hosten, P. Kwiat, in:, OSA, 2007.

Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans
T.L. Gumienny, L.T. MacNeil, H. Wang, M. de Bono, J.L. Wrana, R.W. Padgett, Current Biology 17 (2007) 159–164.

An overview of Manin's conjecture for del Pezzo surfaces
T.D. Browning, in:, A Tribute to Gauss and Dirichlet, American Mathematical Society, 2007, pp. 39–56.

The Manin conjecture in dimension 2
T.D. Browning, ArXiv (n.d.).

Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs
I.A. Schneider, S.A. Freunberger, D. Kramer, A. Wokaun, G.G. Scherer, Journal of The Electrochemical Society 154 (2007).

Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain
F.N. Büchi, G. Paganelli, P. Dietrich, D. Laurent, A. Tsukada, P. Varenne, A. Delfino, R. Kötz, S.A. Freunberger, P.-A. Magne, D. Walser, D. Olsommer, Fuel Cells 7 (2007) 329–335.

On the efficiency of an advanced automotive fuel cell system
F.N. Büchi, S.A. Freunberger, M. Reum, G. Paganelli, A. Tsukada, P. Dietrich, A. Delfino, Fuel Cells 7 (2007) 159–164.

Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep
M.R. Robinson, L.E.. Kruuk, Biology Letters 3 (2007) 651–654.

Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep
M.R. Robinson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Evolution 60 (2007) 2168–2181.

Single-molecule electrophoresis of ;2-hairpin peptides by electrical recordings and Langevin dynamics simulations
C.P. Goodrich, S. Kirmizialtin, B.M. Huyghues-Despointes, A. Zhu, J.M. Scholtz, D.E. Makarov, L. Movileanu, The Journal of Physical Chemistry B 111 (2007) 3332–3335.

Gating deficits in model networks: A path to schizophrenia?
T.P. Vogels, L. Abbott, Pharmacopsychiatry 40 (2007) –.

Protein folding and unfolding studied at atomic resolution by fast two-dimensional NMR spectroscopy
P. Schanda, V. Forge, B. Brutscher, Proceedings of the National Academy of Sciences 104 (2007) 11257–11262.

UltraSOFAST HMQC NMR and the repetitive acquisition of 2D protein spectra at Hz rates
M. Gal, P. Schanda, B. Brutscher, L. Frydman, Journal of the American Chemical Society 129 (2007) 1372–1377.

Sensitivity-optimized experiment for the measurement of residual dipolar couplings between amide protons
P. Schanda, E. Lescop, M. Falge, R. Sounier, J. Boisbouvier, B. Brutscher, Journal of Biomolecular NMR 38 (2007) 47–55.

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

A set of BEST triple-resonance experiments for time-optimized protein resonance assignment
E. Lescop, P. Schanda, B. Brutscher, Journal of Magnetic Resonance 187 (2007) 163–169.

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

Selection for functional uniformity of tuf duplicates in ;3-proteobacteria
F. Kondrashov, T. Gurbich, P. Vlasov, Trends in Genetics 23 (2007) 215–218.

Extensive parallelism in protein evolution
G. Bazykin, F. Kondrashov, M. Brudno, A. Poliakov, I. Dubchak, A. Kondrashov, Biology Direct 2 (2007).

DNA demethylation in the Arabidopsis genome
J. Penterman, D. Zilberman, J.H. Huh, T. Ballinger, S. Henikoff, R.L. Fischer, Proceedings of the National Academy of Sciences 104 (2007) 6752–6757.

How often surface diffeomorphisms have infinitely many sinks and hyperbolicity of periodic points near a homoclinic tangency
A. Gorodetski, V. Kaloshin, Advances in Mathematics 208 (2007) 710–797.

Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I
V. Kaloshin, B. Hunt, Annals of Mathematics 165 (2007) 89–170.

A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures
K. Popadin, L. Mamirova, F. Kondrashov, BMC Bioinformatics 8 (2007).

Instability and focusing of internal tides in the deep ocean
O. Bühler, C.J. Muller, Journal of Fluid Mechanics 588 (2007) 1–28.

The human promoter methylome
D. Zilberman, The Human Promoter Methylome, Nature Publishing Group, 2007.

Genome-wide analysis of DNA methylation patterns
D. Zilberman, S. Henikoff, Development 134 (2007) 3959–3965.

Packaging the male germline in plants
X. Feng, H.G. Dickinson, Trends in Genetics 23 (2007) 503–510.

Synthesis of heterodimeric sphere–prism nanostructures via metastable gold supraspheres
R. Klajn, A.O. Pinchuk, G.C. Schatz, B.A. Grzybowski, Angewandte Chemie International Edition 46 (2007) 8363–8367.

Light-controlled self-assembly of reversible and irreversible nanoparticle suprastructures
R. Klajn, K.J.M. Bishop, B.A. Grzybowski, Proceedings of the National Academy of Sciences 104 (2007) 10305–10309.

Plastic and moldable metals by self-assembly of sticky nanoparticle aggregates
R. Klajn, K.J.M. Bishop, M. Fialkowski, M. Paszewski, C.J. Campbell, T.P. Gray, B.A. Grzybowski, Science 316 (2007) 261–264.

Multilevel surface nano- and microstructuring via sequential photoswelling of dichromated gelatin
M. Paszewski, S.K. Smoukov, R. Klajn, B.A. Grzybowski, Langmuir 23 (2007) 5419–5422.

Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions
L.B. Sweeney, A. Couto, Y.-H. Chou, D. Berdnik, B.J. Dickson, L. Luo, T. Komiyama, Neuron 53 (2007) 185–200.

Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons
T. Komiyama, L.B. Sweeney, O. Schuldiner, K.C. Garcia, L. Luo, Cell 128 (2007) 399–410.

Evidence for Efimov quantum states in an ultracold gas of caesium atoms
T. Kraemer, M. Mark, P. Waldburger, J.G. Danzl, C. Chin, B. Engeser, A. Lange, K. Pilch, A. Jaakkola, H. Nägerl, R. Grimm, Nature 440 (2006) 315–318.

Experimental evidence for Efimov quantum states
H. Nägerl, T. Kraemer, M. Mark, P. Waldburger, J.G. Danzl, B. Engeser, A. Lange, K. Pilch, A. Jaakkola, C. Chin, R. Grimm, in:, AIP, 2006, pp. 269–277.

In Vitro Techniques
J.R. Harris, G. Almouzni, D. Kirschner, D. Dimitrova, J.A. Nickerson, J. Underwood, S. Wagner, B. Korbei, R. Foisner, T.C. Walther, M. Hetzer, R. Peters, I. Walev, A.I.P.M. de Kroon, R.W.H.M. Staffhorst, B. de Kruijff, K.N.J. Burger, L.E.S. Netto, E. Bertrand, J.B. Alimonti, A.H. Greenberg, J. Xiao, A. Pradhan, Y. Liu, J. Paiement, R. Young, F.M. Goñi, A.-V. Villar, F.-X. Contreras, A. Alonso, B.J. Peter, I.G. Mills, M.K. Higgins, W.J. Brown, K. Chambers, A. Doody, C.Y. Cheng, D.D. Mruk, C. Yang, H. Kirchhoff, W. Haase, S. Boggasch, H. Paulsen, J. Benesova, S.-T. Liffers, M. Rögner, Y. Gao, E. Sztul, M. Thiemann, H.D. Fahimi, R. Gniadecki, B. Gajkowska, S.L. Bane, J.F. Hess, J.C. Voss, P.G. Fitzgerald, S. Hisanaga, T. Sasaki, K. Uéda, T. Town, J. Tan, N.G.N. Milton, R. Chi, T.C.S. Keller, M. Kriajevska, I. Bronstein, E. Lukanidin, D.F. Holmes, K.E. Kadler, in:, R. Harris, J. Graham, D. Rickwood (Eds.), Cell Biology Protocols, Wiley, Chichester, UK, 2006, pp. 201–378.

The role of the nuclear envelope in cellular organization
M.A. D’Angelo, M. Hetzer, Cellular and Molecular Life Sciences 63 (2006) 316–332.

Nuclear pores form de novo from both sides of the nuclear envelope
M.A. D’Angelo, D.J. Anderson, E. Richard, M. Hetzer, Science 312 (2006) 440–443.

Finding near-duplicate web pages: A large-scale evaluation of algorithms
M.H. Henzinger, in:, 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Association for Computing Machinery, 2006, pp. 284–291.

Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform
T. Hausel, PNAS 103 (2006) 6120–6124.

Intersection forms of toric hyperkähler varieties
T. Hausel, E. Swartz, Proceedings of the American Mathematical Society 134 (2006) 2403–2409.

Postsynaptic mad signaling at the Drosophila neuromuscular junction
V. Dudu, T. Bittig, E. Entchev, A. Kicheva, F. Julicher, M. González Gaitán, Current Biology 16 (2006) 625–635.

Investigating the lateral motion of SiGe islands by selective chemical etching
G. Katsaros, A. Rastelli, M. Stoffel, G. Isella, H. Von Känel, A. Bittner, J. Tersoff, U. Denker, O. Schmidt, G. Costantini, K. Kern, Surface Science 600 (2006) 2608–2613.

Reading the footprints of strained islands
A. Rastelli, M. Stoffel, G. Katsaros, J. Tersoff, U. Denker, T. Merdzhanova, G. Kar, G. Costantini, K. Kern, H. Von Känel, O. Schmidt, Microelectronics Journal 37 (2006) 1471–1476.

Interplay between thermodynamics and kinetics in the capping of InAs/GaAs (001) quantum dots
G. Costantini, A. Rastelli, C. Manzano, P. Acosta Diaz, R. Songmuang, G. Katsaros, O. Schmidt, K. Kern, Physical Review Letters 96 (2006).

Evolution of buried semiconductor nanostructures and origin of stepped surface mounds during capping
G. Katsaros, A. Rastelli, M. Stoffel, G. Costantini, O. Schmidt, K. Kern, J. Tersoff, E. Müller, H. Von Känel, Applied Physics Letters 89 (2006).

Novel anti-viral therapy: Drugs that block HIV entry at different target sites
S. Siegert, P. Schnierle, B. Schnierle, Mini-Reviews in Medicinal Chemistry 6 (2006) 557–562.

Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus
L.A. Sazanov, P. Hinchliffe, Science 311 (2006) 1430–1436.

Identification of a novel subunit of respiratory complex I from Thermus thermophilus
P. Hinchliffe, J. Carroll, L.A. Sazanov, Biochemistry 45 (2006) 4413–4420.

Evolution on the X chromosome: Unusual patterns and processes
B. Vicoso, B. Charlesworth, Nature Reviews Genetics 7 (2006) 645–653.

Adaptive simulation of electrical discharges
B. Bickel, M. Wicke, M. Gross, in:, IOS Press, 2006.

Analysis of human faces using a measurement-based skin reflectance model
T. Weyrich, W. Matusik, H. Pfister, B. Bickel, C. Donner, C. Tu, J. Mcandless, J. Lee, A. Ngan, H. Jensen, M. Groß, ACM Transactions on Graphics 25 (2006) 1013–1024.

Analysis of human faces using a measurement-based skin reflectance model
T. Weyrich, W. Matusik, H. Pfister, B. Bickel, C. Donner, C. Tu, J. Mcandless, J. Lee, A. Ngan, H. Jensen, M. Groß, in:, ACM, 2006, pp. 1013–1024.

Processing and editing of faces using a measurement-based skin reflectance model
B. Bickel, T. Weyrich, W. Matusik, H. Pfister, C. Donner, C. Tu, J. Mcandless, J. Lee, A. Ngan, H. Jensen, M. Groß, in:, ACM, 2006.

Predissociation of the N+2(C 2:3+u) state observed via C 2:3+u  X 2:3+g fluorescence after resonant 1<0* excitation of N2 molecule
A. Ehresmann, L. Werner, S. Klumpp, P. Demekhin, M. Lemeshko, V. Sukhorukov, K. Schartner, H. Schmoranzer, Journal of Physics B: Atomic, Molecular and Optical Physics 39 (2006) L119–L126.

The density of rational points on non-singular hypersurfaces, II
T.D. Browning, R. Heath Brown, J. Starr, Proceedings of the London Mathematical Society 93 (2006) 273–303.

Temperature dependent XAFS studies of local atomic structure of the perovskite-type zirconates
R. Vedrinski0, E. Nazarenko, M. Lemeshko, V. Nassif, O. Proux, A. Novakovich, Y. Joly, Physical Review B - Condensed Matter and Materials Physics 73 (2006).

Studying the N+2(:3+u  :3+g) fluorescence excited via the 1<0* resonance
A. Ehresmann, L. Werner, S. Klumpp, S. Lucht, H. Schmoranzer, S. Mickat, R. Schill, K. Schartner, P. Demekhin, M. Lemeshko, V. Sukhorukov, Journal of Physics B: Atomic, Molecular and Optical Physics 39 (2006) 283–304.

The density of rational points on non-singular hypersurfaces, I
T.D. Browning, R. Heath Brown, Bulletin of the London Mathematical Society 38 (2006) 401–410.

Counting rational points on algebraic varieties
T.D. Browning, R. Heath Brown, P. Salberger, Duke Mathematical Journal 132 (2006) 545–578.

Sums of arithmetic functions over values of binary forms
R. De La Bretèche, T.D. Browning, Acta Arithmetica 125 (2006) 291–304.

Ground-state energy of a dilute Fermi gas
É. Lieb, R. Seiringer, J. Solovej, in:, American Mathematical Society, 2006, pp. 239–248.

One-dimensional behavior of dilute, trapped Bose gases in traps
R. Seiringer, É. Lieb, J. Yngvason, in:, J. Zambrini (Ed.), World Scientific Publishing, 2006.

Derivation of the Gross-Pitaevskii equation for rotating Bose gases
É. Lieb, R. Seiringer, Communications in Mathematical Physics 264 (2006) 505–537.

A correlation estimate for quantum many-body systems at positive temperature
R. Seiringer, Reviews in Mathematical Physics 18 (2006) 233–253.

The thermodynamic pressure of a dilute fermi gas
R. Seiringer, Communications in Mathematical Physics 261 (2006) 729–757.

Lieb-Thirring inequalities for Schrödinger operators with complex-valued potentials
R. Frank, A. Laptev, É. Lieb, R. Seiringer, Letters in Mathematical Physics 77 (2006) 309–316.

Dilute, trapped Bose gases and Bose-Einstein condensation
R. Seiringer, in:, J. Dereziski, H. Siedentop (Eds.), Large Coulomb Systems, Springer, 2006, pp. 249–274.

Bose-Einstein condensation as a quantum phase transition in an optical lattice
M. Aizenman, É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, in:, J. Asch, A. Joye (Eds.), Mathematical Physics of Quantum Mechanics, Springer, 2006, pp. 199–215.

On six problems posed by Jarik Nesetil
J. Bang Jensen, B. Reed, B. Schacht, R. Sámal, B. Toft, U. Wagner, in:, Topics in Discrete Mathematics, Springer, 2006, pp. 613–627.

Online conflict-free coloring for intervals
K. Chent, A. Fiat, H. Kaplan, M. Levy, J. Matousek, E. Mossel, J. Pach, M. Sharir, S. Smorodinsky, U. Wagner, E. Welzl, SIAM Journal on Computing 36 (2006) 1342–1359.

On a geometric generalization of the Upper Bound Theorem
U. Wagner, in:, IEEE, 2006, pp. 635–645.

K-sets in four dimensions
J. Matousek, M. Sharir, S. Smorodinsky, U. Wagner, Discrete &; Computational Geometry 35 (2006) 177–191.

 Differential localization and regulation of stargazin-like protein, ;3-8 and stargazin in the plasma membrane of hippocampal and cortical neurons
M. Inamura, M. Itakura, H. Okamoto, S. Hoka, A. Mizoguchi, Y. Fukazawa, R. Shigemoto, S. Yamamori, M. Takahashi, Neuroscience Research 55 (2006) 45–53.

Localization of metabotropic GABA receptor subunits GABA and GABA relative to synaptic sites in the rat developing cerebellum
R. Luján, R. Shigemoto, European Journal of Neuroscience 23 (2006) 1479–1490.

A Ca.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses
T. Kodama, Y. Itsukaichi Nishida, Y. Fukazawa, M. Wakamori, M. Miyata, E. Molnár, Y. Mori, R. Shigemoto, K. Imoto, European Journal of Neuroscience 24 (2006) 2993–3007.

Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants
R. Vigot, S. Barbieri, H. Bräuner Osborne, R. Turedek, R. Shigemoto, Y. Zhang, R. Luján, L. Jacobson, B. Biermann, J. Fritschy, C. Vacher, M. Müller, G. Sansig, N. Guetg, J. Cryan, K. Kaupmann, M. Gassmann, T. Oertner, B. Bettler, Neuron 50 (2006) 589–601.

Compartment-dependent colocalization of Ki.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells
Á. Kulik, I. Vida, Y. Fukazawa, N. Guetg, Y. Kasugai, C. Marker, F. Rigato, B. Bettler, K. Wickman, M. Frotscher, R. Shigemoto, Journal of Neuroscience 26 (2006) 4289–4297.

Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition
H. Shaban, Y. Humeau, C. Herry, G. Cassasus, R. Shigemoto, S. Ciocchi, S. Barbieri, H. Van Der Putten, K. Kaupmann, B. Bettler, A. Lüthi, Nature Neuroscience 9 (2006) 1028–1035.

Metabotropic glutamate receptors
F. Ferraguti, R. Shigemoto, Cell and Tissue Research 326 (2006) 483–504.

Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate
L. Erdös, B. Schlein, H. Yau, Communications on Pure and Applied Mathematics 59 (2006) 1659–1741.

Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons
A. Elgart, L. Erdös, B. Schlein, H. Yau, Archive for Rational Mechanics and Analysis 179 (2006) 265–283.

Towards the quantum Brownian motion
L. Erdös, M. Salmhofer, H. Yau, in:, World Scientific Publishing, 2006, pp. 233–257.

Finite lifetime of turbulence in shear flows
B. Hof, J. Westerweel, T. Schneider, B. Eckhardt, Nature 443 (2006) 59–62.

Observation of nonlinear travelling waves in turbulent pipe flow
B. Hof, C. Van Doorne, J. Westerweel, F. Nieuwstadt, Fluid Mechanics and Its Applications 78 (2006) 109–114.

Stochastic Monoallelic Expression of IL 10 in T Cells
D. Calado, T. Paixao, D. Holmberg, M. Haury, Journal of Immunology 177 (2006) 5358–5364.

Graph cut algorithms for binocular stereo with occlusions
V. Kolmogorov, R. Zabih, in:, Handbook of Mathematical Models in Computer Vision, Springer, 2006, pp. 423–427.

In vitro culture of Arabidopsis embryos
M. Sauer, J. Friml, in:, A. Mujib, J. Samaj (Eds.), Somatic Embryogenesis, Springer, 2006, pp. 343–354.