On synthesizing controllers from bounded-response properties
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2007, pp. 95–107.

AMT: a property-based monitoring tool for analog systems
D. Nickovic, O. Maler, in:, Springer, 2007, pp. 304–319.

Clathrin-mediated constitutive endocytosis of PIN auxin efflux carriers in Arabidopsis
P. Dhonukshe, F. Aniento, I. Hwang, D. Robinson, J. Mravec, Y. Stierhof, J. Friml, Current Biology 17 (2007) 520–527.

MODULATOR of PIN genes control steady state levels of Arabidopsis PIN proteins
N. Malenica, L. Abas, R. Benjamins, S. Kitakura, H. Sigmund, K. Jun, M. Hauser, J. Friml, C. Luschnig, Plant Journal 51 (2007) 537–550.

ETS transcription factor Erm controls subsynaptic gene expression in skeletal muscles
S. Hippenmeyer, R. Huber, D. Ladle, K. Murphy, S. Arber, Neuron 55 (2007) 726–740.

Improving the security of MACs via randomized message preprocessing
Y. Dodis, K.Z. Pietrzak, in:, Springer, 2007, pp. 414–433.

Parallel repetition of computationally sound protocols revisited
K.Z. Pietrzak, D. Wikström, in:, Springer, 2007, pp. 86–102.

Intrusion resilient secret sharing
S. Dziembowski, K.Z. Pietrzak, in:, IEEE, 2007, pp. 227–237.

Indistinguishability amplification
U. Maurer, K.Z. Pietrzak, R. Renner, in:, Springer, 2007, pp. 130–149.

Range extension for weak PRFs the good the bad and the ugly
K.Z. Pietrzak, J. Sjödin, in:, Springer, 2007, pp. 517–533.

Behavioral paternity predicts genetic paternity in satin bowerbirds, a species with a non-resource-based mating system
S. Reynolds, K. Dryer, J.P. Bollback, J.A. Uy, G. Patricelli, T. Robson, G. Borgia, M. Braun, The Auk 124 (2007) 857–867.

Estimating the history of mutations on a phylogeny
J.P. Bollback, P. Gardner, R. Nielsen, in:, D. Liberles (Ed.), Ancestral Sequence Reconstruction, Oxford University Press, 2007, pp. 69–79.

Neural inhibition
P.M. Jonas, G. Buzsáki, Scholarpedia 2 (2007).

Weak witnesses for Delaunay triangulations of submanifolds
D. Attali, H. Edelsbrunner, Y. Mileyko, in:, ACM, 2007, pp. 143–150.

Optimal dominant motion estimation using adaptive search of transformation space
A. Ulges, C. Lampert, D. Keysers, T. Breuel, in:, Springer, 2007, pp. 204–213.

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

Digital force-feedback for protein unfolding experiments using atomic force microscopy
C. Bippes, H.L. Janovjak, A. Kedrov, D. Mueller, Nanotechnology 18 (2007).

Transmembrane helices have rough energy surfaces
H.L. Janovjak, H. Knaus, D. Mueller, Journal of the American Chemical Society 129 (2007) 246–247.

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

Subthreshold dendritic signal processing and coincidence detection in dentate gyrus granule cells
C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, Journal of Neuroscience 27 (2007) 8430–8441.