Code aware resource management
K. Chatterjee, L. De Alfaro, M. Faella, R. Majumdar, V. Raman, Formal Methods in System Design 42 (2013) 142–174.

Positional information, in bits
J. Dubuis, G. Tkadik, E. Wieschaus, T. Gregor, W. Bialek, PNAS 110 (2013) 16301–16308.

CuTe nanocrystals: Shape and size control, plasmonic properties, and use as SERS probes and photothermal agents
W. Li, R. Zamani, P. Rivera Gil, B. Pelaz, M. Ibáñez, D. Cadavid, A. Shavel, R. Alvarez Puebla, W. Parak, J. Arbiol, A. Cabot, Journal of the American Chemical Society 135 (2013) 7098–7101.

Kernel based learning
N. Quadrianto, C. Lampert, in:, W. Dubitzky, O. Wolkenhauer, K. Cho, H. Yokota (Eds.), Encyclopedia of Systems Biology, Springer, 2013, pp. 1069–1069.

Metal ions to control the morphology of semiconductor nanoparticles: Copper selenide nanocubes
W. Li, R. Zamani, M. Ibáñez, D. Cadavid, A. Shavel, J. Morante, J. Arbiol, A. Cabot, Journal of the American Chemical Society 135 (2013) 4664–4667.

Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol
T. Ely, S. Das, W. Li, P. Kundu, E. Tirosh, D. Cahen, A. Vilan, R. Klajn, Synlett 24 (2013) 2370–2374.

Dual-responsive nanoparticles and their self-assembly
S. Das, P. Ranjan, P.S. Maiti, G. Singh, G. Leitus, R. Klajn, Advanced Materials 25 (2013) 422–426.

Infinite-state games with finitary conditions
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.

Distributed synthesis for LTL fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.

Synthesizing multiple boolean functions using interpolation on a single proof
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.

Nondeterminism in the presence of a diverse or unknown future
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.

Analysis of dynamic message passing programs
D. Zufferey, Analysis of Dynamic Message Passing Programs, Institute of Science and Technology Austria, 2013.

Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading
P. Campinho, Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading, Institute of Science and Technology Austria, 2013.

Positivity for Kac polynomials and DT-invariants of quivers
T. Hausel, E. Letellier, F. Rodríguez Villegas, Annals of Mathematics 177 (2013) 1147–1168.

Global topology of the Hitchin system
T. Hausel, in:, Handbook of Moduli: Volume II, International Press, 2013, pp. 29–70.

Arithmetic harmonic analysis on character and quiver varieties II
T. Hausel, E. Letellier, F. Rodríguez Villegas, Advances in Mathematics 234 (2013) 85–128.

Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces
M. De Cataldo, T. Hausel, L. Migliorini, Journal of Singularities 7 (2013) 23–38.

Experimental realization of non-Abelian non-adiabatic geometric gates
A. Abdumalikov, J.M. Fink, K. Juliusson, M. Pechal, S. Berger, A. Wallraff, S. Filipp, Nature 496 (2013) 482–485.

Collective suppression of linewidths in circuit QED
F. Nissen, J.M. Fink, J. Mlynek, A. Wallraff, J. Keeling, Physical Review Letters 110 (2013).

Correlations, indistinguishability and entanglement in Hong-Ou-Mandel experiments at microwave frequencies
C. Lang, C. Eichler, L. Steffen, J.M. Fink, M. Woolley, A. Blais, A. Wallraff, Nature Physics 9 (2013) 345–348.