Probabilistic programming
A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–181.

Evolution of a fungal pathogen towards individual versus social immunity in ants
M. Stock, Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants, IST Austria, 2014.

On the BCS gap equation for superfluid fermionic gases
G. Bräunlich, C. Hainzl, R. Seiringer, in:, Proceedings of the QMat Conference, World Scientific Publishing, 2014, pp. 127–137.

Edit propagation using geometric relationship functions
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, ACM Transactions on Graphics 33 (2014).

Clustered planarity testing revisited
R. Fulek, J. Kyndl, I. Malinovi, D. Pálvölgyi, in:, International Symposium on Graph Drawing, Springer Nature, Cham, 2014, pp. 428–436.

Constrained Verifiable Random Functions 
G. Fuchsbauer, in:, M. Abdalla, R. De Prisco (Eds.), SCN 2014, Springer, 2014, pp. 95–114.

Generalised interpolation by solving recursion free-horn clauses
A. Gupta, C. Popeea, A. Rybalchenko, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing, 2014, pp. 31–38.

Spatio-temporal representations of uncertainty in spiking neural networks
C. Savin, S. Denève, in:, Neural Information Processing Systems, 2014, pp. 2024–2032.

Auxin on the road navigated by cellular PIN polarity
P. Baster, J. Friml, in:, E. Zaeímalová, J. Petrásek, E. Benková (Eds.), Auxin and Its Role in Plant Development, Springer, 2014, pp. 143–170.

Topology-preserving watermarking of vector graphics
S. Huber, M. Held, P. Meerwald, R. Kwitt, International Journal of Computational Geometry and Applications 24 (2014) 61–86.

Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation
R. Seiringer, Journal of Mathematical Physics 55 (2014).

Introduction
V. Jaksi, C. Pillet, R. Seiringer, Journal of Mathematical Physics 55 (2014).

Movement templates for learning of hitting and batting
K. Muelling, O. Kroemer, C. Lampert, B. Schölkopf, in:, J. Kober, J. Peters (Eds.), Learning Motor Skills, Springer, 2014, pp. 69–82.

Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history
V. Risso, F. Manssour Triedo, A. Delgado Delgado, R. Arco, A. Barroso Deljesús, Á. Inglés Prieto, R. Godoy Ruiz, J. Gavira, E. Gaucher, B. Ibarra Molero, J. Sánchez Ruiz, Molecular Biology and Evolution 32 (2014) 440–455.

On the geometric ramsey number of outerplanar graphs
J. Cibulka, P. Gao, M. Krcál, T. Valla, P. Valtr, Discrete &; Computational Geometry 53 (2014) 64–79.

Partial shape matching using transformation parameter similarity
P. Guerrero, T. Auzinger, M. Wimmer, S. Jeschke, Computer Graphics Forum 34 (2014) 239–252.

An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis
M. Sassi, O. Ali, F. Boudon, G. Cloarec, U. Abad, C. Cellier, X. Chen, B. Gilles, P. Milani, J. Friml, T. Vernoux, C. Godin, O. Hamant, J. Traas, Current Biology 24 (2014) 2335–2342.

Game theoretic secure localization in wireless sensor networks
S. Jha, S. Tripakis, S. Seshia, K. Chatterjee, in:, IEEE, 2014, pp. 85–90.

Inhibition of cell expansion by rapid AB-mediated auxin effect on microtubules
X. Chen, L. Grandont, H. Li, R. Hauschild, S. Paque, A. Abuzeineh, H. Rakusova, E. Benková, C. Perrot Rechenmann, J. Friml, Nature 516 (2014) 90–93.

Suraq - a controller synthesis tool using uninterpreted functions
G. Hofferek, A. Gupta, in:, E. Yahav (Ed.), HVC 2014, Springer, 2014, pp. 68–74.