Guerrero, Paul, et al. “Edit Propagation Using Geometric Relationship Functions.”10.1145/2591010__ACM Transactions on Graphics, vol. 33, no. 2, 15, ACM, 2014, doi:10.1145/2591010.

Fulek, Radoslav, et al. “Clustered Planarity Testing Revisited.”10.1007/978-3-662-45803-7_36__International Symposium on Graph Drawing, vol. 8871, Springer Nature, 2014, pp. 428–36, doi:10.1007/978-3-662-45803-7_36.

Fuchsbauer, Georg. “Constrained Verifiable Random Functions .”10.1007/978-3-319-10879-7_7__SCN 2014, edited by Michel Abdalla and Roberto De Prisco, vol. 8642, Springer, 2014, pp. 95–114, doi:10.1007/978-3-319-10879-7_7.

Gupta, Ashutosh, et al. “Generalised Interpolation by Solving Recursion Free-Horn Clauses.”10.4204/EPTCS.169.5__Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 169, Open Publishing, 2014, pp. 31–38, doi:10.4204/EPTCS.169.5.

Savin, Cristina, and Sophie Denève. Spatio-Temporal Representations of Uncertainty in Spiking Neural Networks. Vol. 3, no. January, Neural Information Processing Systems, 2014, pp. 2024–32.

Baster, Pawel, and Jií Friml. “Auxin on the Road Navigated by Cellular PIN Polarity.”10.1007/978-3-7091-1526-8_8__Auxin and Its Role in Plant Development, edited by Eva Zaeímalová et al., Springer, 2014, pp. 143–70, doi:10.1007/978-3-7091-1526-8_8.

Huber, Stefan, et al. “Topology-Preserving Watermarking of Vector Graphics.”10.1142/S0218195914500034__International Journal of Computational Geometry and Applications, vol. 24, no. 1, World Scientific Publishing, 2014, pp. 61–86, doi:10.1142/S0218195914500034.

Seiringer, Robert. “Bose Gases, Bose-Einstein Condensation, and the Bogoliubov Approximation.”10.1063/1.4881536__Journal of Mathematical Physics, vol. 55, no. 7, 1.4881536, American Institute of Physics, 2014, doi:10.1063/1.4881536.

Jaksi, Vojkan, et al. “Introduction.”10.1063/1.4884877__Journal of Mathematical Physics, vol. 55, no. 7, 075101, American Institute of Physics, 2014, doi:10.1063/1.4884877.

Muelling, Katharina, et al. “Movement Templates for Learning of Hitting and Batting.”10.1007/978-3-319-03194-1_3__Learning Motor Skills, edited by Jens Kober and Jan Peters, vol. 97, Springer, 2014, pp. 69–82, doi:10.1007/978-3-319-03194-1_3.

Risso, Valeria, et al. “Mutational Studies on Resurrected Ancestral Proteins Reveal Conservation of Site-Specific Amino Acid Preferences throughout Evolutionary History.”10.1093/molbev/msu312__Molecular Biology and Evolution, vol. 32, no. 2, Oxford University Press, 2014, pp. 440–55, doi:10.1093/molbev/msu312.

Cibulka, Josef, et al. “On the Geometric Ramsey Number of Outerplanar Graphs.”10.1007/s00454-014-9646-x__Discrete &; Computational Geometry, vol. 53, no. 1, Springer, 2014, pp. 64–79, doi:10.1007/s00454-014-9646-x.

Guerrero, Paul, et al. “Partial Shape Matching Using Transformation Parameter Similarity.”10.1111/cgf.12509__Computer Graphics Forum, vol. 34, no. 1, Wiley, 2014, pp. 239–52, doi:10.1111/cgf.12509.

Sassi, Massimiliano, et al. “An Auxin-Mediated Shift toward Growth Isotropy Promotes Organ Formation at the Shoot Meristem in Arabidopsis.”10.1016/j.cub.2014.08.036__Current Biology, vol. 24, no. 19, Cell Press, 2014, pp. 2335–42, doi:10.1016/j.cub.2014.08.036.

Jha, Susmit, et al. Game Theoretic Secure Localization in Wireless Sensor Networks. IEEE, 2014, pp. 85–90, doi:10.1109/IOT.2014.7030120.

Chen, Xu, et al. “Inhibition of Cell Expansion by Rapid AB-Mediated Auxin Effect on Microtubules.”10.1038/nature13889__Nature, vol. 516, no. 729, Nature Publishing Group, 2014, pp. 90–93, doi:10.1038/nature13889.

Hofferek, Georg, and Ashutosh Gupta. “Suraq - a Controller Synthesis Tool Using Uninterpreted Functions.”10.1007/978-3-319-13338-6_6__HVC 2014, edited by Eran Yahav, vol. 8855, Springer, 2014, pp. 68–74, doi:10.1007/978-3-319-13338-6_6.

Gupta, Ashutosh, et al. “Extensional Crisis and Proving Identity.”10.1007/978-3-319-11936-6_14__ATVA 2014, edited by Franck Cassez and Jean-François Raskin, vol. 8837, Springer, 2014, pp. 185–200, doi:10.1007/978-3-319-11936-6_14.

Henzinger, Thomas A., et al. “Lipschitz Robustness of Finite-State Transducers.”10.4230/LIPIcs.FSTTCS.2014.431__Leibniz International Proceedings in Informatics, LIPIcs, vol. 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 431–43, doi:10.4230/LIPIcs.FSTTCS.2014.431.

Samanta, Roopsha, et al. Cost-Aware Automatic Program Repair. Edited by Markus Müller-Olm and Helmut Seidl, vol. 8723, Springer, 2014, pp. 268–84, doi:10.1007/978-3-319-10936-7_17.