Hippenmeyer S, Huber R, Ladle D, Murphy K, Arber S. ETS transcription factor Erm controls subsynaptic gene expression in skeletal muscles. Neuron. 2007;55(5):726-740. doi:10.1016/j.neuron.2007.07.028

Dodis Y, Pietrzak KZ. Improving the security of MACs via randomized message preprocessing. In: Vol 4593. Springer; 2007:414-433. doi:10.1007/978-3-540-74619-5_26

Pietrzak KZ, Wikström D. Parallel repetition of computationally sound protocols revisited. In: Vol 4392. Springer; 2007:86-102. doi:10.1007/978-3-540-70936-7_5

Dziembowski S, Pietrzak KZ. Intrusion resilient secret sharing. In: IEEE; 2007:227-237. doi:10.1109/FOCS.2007.63

Maurer U, Pietrzak KZ, Renner R. Indistinguishability amplification. In: Vol 4622. Springer; 2007:130-149. doi:10.1007/978-3-540-74143-5_8

Pietrzak KZ, Sjödin J. Range extension for weak PRFs the good the bad and the ugly. In: Vol 4515. Springer; 2007:517-533. doi:10.1007/978-3-540-72540-4_30

Reynolds S, Dryer K, Bollback JP, et al. Behavioral paternity predicts genetic paternity in satin bowerbirds, a species with a non-resource-based mating system. The Auk. 2007;124(3):857-867. doi:10.1642/0004-8038(2007)124[857:BPPGPI]2.0.CO;2

Bollback JP, Gardner P, Nielsen R. Estimating the history of mutations on a phylogeny. In: Liberles D, ed. Ancestral Sequence Reconstruction. Oxford University Press; 2007:69-79. doi:10.1093/acprof:oso/9780199299188.003.0006

Jonas PM, Buzsáki G. Neural inhibition. Scholarpedia. 2007;2. doi:10.4249/scholarpedia.3286

Attali D, Edelsbrunner H, Mileyko Y. Weak witnesses for Delaunay triangulations of submanifolds. In: ACM; 2007:143-150. doi:10.1145/1236246.1236267

Ulges A, Lampert C, Keysers D, Breuel T. Optimal dominant motion estimation using adaptive search of transformation space. In: Vol 4713. Springer; 2007:204-213. doi:10.1007/978-3-540-74936-3_21

Barton NH, Briggs D, Eisen J, Goldstein D, Patel N. Evolution. Cold Spring Harbor Laboratory Press; 2007.

Bippes C, Janovjak HL, Kedrov A, Mueller D. Digital force-feedback for protein unfolding experiments using atomic force microscopy. Nanotechnology. 2007;18(4). doi:10.1088/0957-4484/18/4/044022

Janovjak HL, Knaus H, Mueller D. Transmembrane helices have rough energy surfaces. Journal of the American Chemical Society. 2007;129(2):246-247. doi:10.1021/ja065684a

Broderick T, Dudik M, Tkadik G, Schapire R, Bialek W. Faster solutions of the inverse pairwise Ising problem. ArXiv. 2007;q-QM.

Schmidt Hieber C, Jonas PM, Bischofberger J. Subthreshold dendritic signal processing and coincidence detection in dentate gyrus granule cells. Journal of Neuroscience. 2007;27(31):8430-8441. doi:10.1523/JNEUROSCI.1787-07.2007

Rollenhagen A, Satzler K, Rodriguez EP, Jonas PM, Frotscher M, Lubke J. Structural determinants of transmission at large hippocampal mossy fiber synapses. Journal of Neuroscience. 2007;27(39):10434-10444. doi:10.1523/JNEUROSCI.1946-07.2007

Li L, Bischofberger J, Jonas PM. Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons. Journal of Neuroscience. 2007;27(49):13420-13429. doi:10.1523/JNEUROSCI.1709-07.2007

Chatterjee K, Henzinger TA, Piterman N. Generalized parity games. In: Vol 4423. Springer; 2007:153-167. doi:10.1007/978-3-540-71389-0_12

Chatterjee K. Concurrent games with tail objectives. Theoretical Computer Science. 2007;388(1-3):181-198. doi:10.1016/j.tcs.2007.07.047

Chatterjee K, Henzinger TA, Piterman N. Strategy logic. In: Vol 4703. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2007:59-73. doi:10.1007/978-3-540-74407-8_5

De Alfaro L, Chatterjee K, Faella M, Legay A. Qualitative logics and equivalences for probabilistic systems. In: IEEE; 2007:237-248. doi:10.1109/QEST.2007.15

Chatterjee K. Markov decision processes with multiple long-run average objectives. In: Vol 4855. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2007:473-484. doi:10.1007/978-3-540-77050-3_39

Chatterjee K. Stochastic Müller games are PSPACE-complete. In: Vol 4855. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2007:436-448. doi:10.1007/978-3-540-77050-3_36

Chatterjee K. Optimal strategy synthesis in stochastic Müller games. In: Vol 4423. Springer; 2007:138-152. doi:10.1007/978-3-540-71389-0_11

Dorn T, Kuhn U, Bungartz G, et al. RhoH is important for positive thymocyte selection and T-cell receptor signaling. Blood. 2007;109(6):2346-2355. doi:10.1182/blood-2006-04-019034

Woolf E, Grigorova I, Sagiv A, et al. Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces. Nature Immunology. 2007;8(10):1076-1085. doi:10.1038/ni1499

Cohen Steiner D, Edelsbrunner H. Inequalities for the curvature of curves and surfaces. Foundations of Computational Mathematics. 2007;7(4):391-404. doi:10.1007/s10208-005-0200-3

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

Von Der Hardt S, Bakkers J, Inbal A, et al. The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion. Current Biology. 2007;17(6):475-487. doi:10.1016/j.cub.2007.02.013

de Vladar H, Pen I. Determinism, noise, and spurious estimations in a generalised model of population growth. Physica A. 2007;373:477-485. doi:10.1016/j.physa.2006.06.025

de Vladar H. Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas. In: Falcón N, Loyo De Sardi Y, eds. Consejo de Desarrollo Cientifico y Tecnologico; 2007:91-109. doi:3808

Gardner A, West S, Barton NH. The relation between multilocus population genetics and social evolution theory. American Naturalist. 2007;169(2):207-226. doi:10.1086/510602

Free A, Barton NH. Do evolution and ecology need the Gaia hypothesis? Trends in Ecology and Evolution. 2007;22(11):611-619. doi:10.1016/j.tree.2007.07.007

Beyer D, Henzinger TA, Singh V. Algorithms for interface synthesis. In: Vol 4590. Springer; 2007:4-19. doi:10.1007/978-3-540-73368-3_4

Bouillaguet C, Kuncak V, Wies T, Zee K, Rinard M. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. In: Springer; 2007:74-88. doi:1552

Berdine J, Calcagno C, Cook B, et al. Shape Analysis for Composite Data Structures. In: Springer; 2007:178-192. doi:1553

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

Alur R, Cerny P, Chaudhuri S. Model Checking on Trees with Path Equivalences. In: Springer; 2007:664-678. doi:1544

Manevich R, Field J, Henzinger TA, Ramalingam G, Sagiv M. 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. Springer; 2007:273-292. doi:10.1007/978-3-540-71322-7_13

Henzinger TA, Kirsch C. The embedded machine: Predictable, portable real-time code. ACM Transactions on Programming Languages and Systems (TOPLAS). 2007;29(393). doi:10.1145/1286821.1286824

Henzinger TA. Games, time, and probability: Graph models for system design and analysis. In: Vol 4362. Springer; 2007:103-110. doi:10.1007/978-3-540-69507-3_7

Henzinger TA. Quantitative generalizations of languages. In: Vol 4588. Springer; 2007:20-22. doi:10.1007/978-3-540-73208-2_2

Fisher J, Piterman N, Hajnal A, Henzinger TA. Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Computational Biology. 2007;3(5):e92. doi:10.1371/journal.pcbi.0030092

Fisher J, Henzinger TA. Executable cell biology. Nature Biotechnology. 2007;25:1239-1249. doi:10.1038/nbt1356

Duparc J, Henzinger TA. CSL: Computer Science Logic . Vol 4646. Springer; 2007. doi:10.1007/978-3-540-74915-8

Chatterjee K, Henzinger TA. Assume-guarantee synthesis. In: Vol 4424. Springer; 2007:261-275. doi:10.1007/978-3-540-71209-1_21

Chatterjee K, Doyen L, Henzinger TA, Raskin J. Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. 2007;3(184):1-23. doi:10.2168/LMCS-3(3:4)2007

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

Kraemer T, Mark M, Waldburger P, et al. Evidence for Efimov quantum states in an ultracold gas of caesium atoms. Nature. 2006;440(7082):315-318. doi:10.1038/nature04626

Nägerl H, Kraemer T, Mark M, et al. Experimental evidence for Efimov quantum states. In: Vol 869. AIP; 2006:269-277. doi:10.1063/1.2400657

Harris JR, Almouzni G, Kirschner D, et al. In Vitro Techniques. In: Harris R, Graham J, Rickwood D, eds. Cell Biology Protocols. Chichester, UK: Wiley; 2006:201-378. doi:10.1002/0470033487.ch6

D’Angelo MA, Hetzer M. The role of the nuclear envelope in cellular organization. Cellular and Molecular Life Sciences. 2006;63(3):316-332. doi:10.1007/s00018-005-5361-3

D’Angelo MA, Anderson DJ, Richard E, Hetzer M. Nuclear pores form de novo from both sides of the nuclear envelope. Science. 2006;312(5772):440-443. doi:10.1126/science.1124196

Henzinger MH. Finding near-duplicate web pages: A large-scale evaluation of algorithms. In: 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery; 2006:284-291. doi:10.1145/1148170.1148222

Hausel T. Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform. PNAS. 2006;103(16):6120-6124. doi:10.1073/pnas.0601337103

Hausel T, Swartz E. Intersection forms of toric hyperkähler varieties. Proceedings of the American Mathematical Society. 2006;134(8):2403-2409. doi:10.1090/S0002-9939-06-08248-7

Dudu V, Bittig T, Entchev E, Kicheva A, Julicher F, González Gaitán M. Postsynaptic mad signaling at the Drosophila neuromuscular junction. Current Biology. 2006;16(7):625-635. doi:10.1016/j.cub.2006.02.061

Katsaros G, Rastelli A, Stoffel M, et al. Investigating the lateral motion of SiGe islands by selective chemical etching. Surface Science. 2006;600(12):2608-2613. doi:10.1016/j.susc.2006.04.027