The force and effect of cell proliferation
P. Campinho, C.-P.J. Heisenberg, EMBO Journal 32 (2013) 2783–2784.

The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant
M. Pickup, S. Barrett, Ecology and Evolution 3 (2013) 629–639.

Computational Methods in Systems Biology
A. Gupta, T.A. Henzinger, eds., Computational Methods in Systems Biology, Springer, 2013.

Quantitative reactive modeling and verification
T.A. Henzinger, Computer Science Research and Development 28 (2013) 331–344.

ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation
Y. Boutté, K. Jonsson, H. Mcfarlane, E. Johnson, D. Gendre, R. Swarup, J. Friml, L. Samuels, S. Robert, R. Bhalerao, PNAS 110 (2013) 16259–16264.

Cryptographically enforced RBAC
A. Ferrara, G. Fuchsbauer, B. Warinschi, in:, IEEE, 2013, pp. 115–129.

Mathematical Foundations of Computer Science 2013
K. Chatterjee, J. Sgall, eds., Mathematical Foundations of Computer Science 2013, Springer, 2013.

Learning to rank using privileged information
V. Sharmanska, N. Quadrianto, C. Lampert, in:, IEEE, 2013, pp. 825–832.

Drosophila Embryo Stage Annotation using Label Propagation
T. Kazmar, E. Kvon, A. Stark, C. Lampert, in:, IEEE, 2013.

What is decidable about partially observable Markov decision processes with omega-regular objectives
K. Chatterjee, M. Chmelik, M. Tracol, 23 (2013) 165–180.

Hot topics in cold gases: A mathematical physics perspective
R. Seiringer, Japanese Journal of Mathematics 8 (2013) 185–232.

Local shape analysis for overlaid data structures
C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2013, pp. 150–171.

Synthesis of AMBA AHB from formal specification: A case study
Y. Godhal, K. Chatterjee, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 15 (2013) 585–601.

Realization of stripes and slabs in two and three dimensions
A. Giuliani, É. Lieb, R. Seiringer, Physical Review B 88 (2013).

P: Safe asynchronous event-driven programming
A. Desai, V. Gupta, E. Jackson, S. Qadeer, S. Rajamani, D. Zufferey, in:, Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, 2013, pp. 321–331.

Dissection of gene function at clonal level using mosaic analysis with double markers
S. Hippenmeyer, Frontiers in Biology 8 (2013) 557–568.

Van der Corput sequences and linear permutations
F. Pausinger, Electronic Notes in Discrete Mathematics 43 (2013) 43–50.

Trading performance for stability in Markov decision processes
T. Brázdil, K. Chatterjee, V. Forejt, A. Kudera, in:, 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–340.

(Open) Linked Data in Bibliotheken
P. Danowski, A. Pohl, (Open) Linked Data in Bibliotheken, De Gruyter, 2013.

Disordered Bose-Einstein condensates with interaction
R. Seiringer, J. Yngvason, V. Zagrebnov, in:, World Scientific Publishing, 2013, pp. 610–619.