Enforcing topological constraints in random field image segmentation
C. Chen, D. Freedman, C. Lampert, in:, CVPR: Computer Vision and Pattern Recognition, IEEE, 2011, pp. 2089–2096.

Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification
K. Chatterjee, M. Henzinger, in:, SIAM, 2011, pp. 1318–1336.

Means and limits of control of the shell parameters in hollow nanoparticles obtained by the Kirkendall effect
M. Ibáñez, J. Fan, W. Li, D. Cadavid, R. Nafria, A. Carrete, A. Cabot, Chemistry of Materials 23 (2011) 3095–3104.

Quantitative evaluation of BFT protocols
R. Halalai, T.A. Henzinger, V. Singh, in:, IEEE, 2011, pp. 255–264.

The complexity of request-response games
K. Chatterjee, T.A. Henzinger, F. Horn, in:, A.-H. Dediu, S. Inenaga, C. Martín-Vide (Eds.), Springer, 2011, pp. 227–237.

Scheduling large jobs by abstraction refinement
T.A. Henzinger, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2011, pp. 329–342.

Growth kinetics of asymmetric Bi2 nanocrystals: Size distribution focusing in nanorods
M. Ibáñez, P. Guardia, A. Shavel, D. Cadavid, J. Arbiol, J. Morante, A. Cabot, Journal of Physical Chemistry C 115 (2011) 7947–7955.

QUASY: quantitative synthesis tool
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2011, pp. 267–271.

Invited Lectures  Symposia Area
C.-P.J. Heisenberg, FEBS Journal 278 (2011) 24–24.

The formation of the Bicoid morphogen gradient requires protein movement from anteriorly localized source
S. Little, G. Tkadik, T. Kneeland, E. Wieschaus, T. Gregor, PLoS Biology 9 (2011).

Morphology evolution of Cu2xS nanoparticles: from spheres to dodecahedrons
W. Li, A. Shavel, R. Guzman, J. Rubio Garcia, C. Flox, J. Fan, D. Cadavid, M. Ibáñez, J. Arbiol, J. Morante, A. Cabot, Chemical Communications 47 (2011) 10332–10334.

In vitro analysis of chemotactic leukocyte migration in 3D environments
M.K. Sixt, T. Lämmermann, Cell Migration 769 (2011) 149–165.

Structure-based design of light-controlled proteins
H.L. Janovjak, E. Isacoff, in:, Photosensitive Molecules for the Control of Biological Function, Springer, 2011, pp. 233–266.

The Amazon River system as an ecological barrier driving genetic differentiation of the pink dolphin (Inia geoffrensis)
C. Hollatz, S. Vilaça, R.A. Fernandes Redondo, M. Marmontel, C. Baker, F. Santos, Biological Journal of the Linnean Society 102 (2011) 812–827.

The difference in length of curves in R^n
B.T. Fasy, Acta Sci. Math. (Szeged) 77 (2011) 359–367.

Covering and packing with spheres by diagonal distortion in R^n
H. Edelsbrunner, M. Kerber, in:, C. Calude, G. Rozenberg, A. Salomaa (Eds.), Rainbow of Computer Science, Springer, 2011, pp. 20–35.

STM imaging of a bound state along a step on the surface of the topological insulator Bi2Te3
Z. Alpichshev, J.G. Analytis, J.H. Chu, I.R. Fisher, A. Kapitulnik, Physical Review B - Condensed Matter and Materials Physics 84 (2011).

Computing elevation maxima by searching the Gauss sphere
B. Wang, H. Edelsbrunner, D. Morozov, Journal of Experimental Algorithmics 16 (2011) 1–13.

Fast key-word searching via embedding and active-DTW
R. Saabni, A.M. Bronstein, in:, 2011 International Conference on Document Analysis and Recognition, IEEE, 2011.

Boosted metric learning for 3D multi-modal deformable registration
F. Michel, M. Bronstein, A.M. Bronstein, N. Paragios, in:, 2011 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, IEEE, 2011.