Fulek, Radoslav, Jan Kyndl, Igor Malinovi, and Dömötör Pálvölgyi. “Clustered Planarity Testing Revisited.”https://doi.org/10.1007/978-3-662-45803-7_36__In International Symposium on Graph Drawing, 8871:428–36. Cham: Springer Nature, 2014.https://doi.org/10.1007/978-3-662-45803-7_36 .

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

Gupta, Ashutosh, Corneliu Popeea, and Andrey Rybalchenko. “Generalised Interpolation by Solving Recursion Free-Horn Clauses.”https://doi.org/10.4204/EPTCS.169.5__In Electronic Proceedings in Theoretical Computer Science, EPTCS, 169:31–38. Open Publishing, 2014.https://doi.org/10.4204/EPTCS.169.5 .

Savin, Cristina, and Sophie Denève. “Spatio-Temporal Representations of Uncertainty in Spiking Neural Networks,” 3:2024–32. Neural Information Processing Systems, 2014.

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

Huber, Stefan, Martin Held, Peter Meerwald, and Roland Kwitt. “Topology-Preserving Watermarking of Vector Graphics.”https://doi.org/10.1142/S0218195914500034__International Journal of Computational Geometry and Applications. World Scientific Publishing, 2014.https://doi.org/10.1142/S0218195914500034 .

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

Jaksi, Vojkan, Claude Pillet, and Robert Seiringer. “Introduction.”https://doi.org/10.1063/1.4884877__Journal of Mathematical Physics. American Institute of Physics, 2014.https://doi.org/10.1063/1.4884877 .

Muelling, Katharina, Oliver Kroemer, Christoph Lampert, and Bernhard Schölkopf. “Movement Templates for Learning of Hitting and Batting.”https://doi.org/10.1007/978-3-319-03194-1_3__In Learning Motor Skills, edited by Jens Kober and Jan Peters, 97:69–82. From Algorithms to Robot Experiments. Springer, 2014.https://doi.org/10.1007/978-3-319-03194-1_3 .

Risso, Valeria, Fadia Manssour Triedo, Asuncion Delgado Delgado, Rocio Arco, Alicia Barroso Deljesús, Álvaro Inglés Prieto, Raquel Godoy Ruiz, et al. “Mutational Studies on Resurrected Ancestral Proteins Reveal Conservation of Site-Specific Amino Acid Preferences throughout Evolutionary History.”https://doi.org/10.1093/molbev/msu312__Molecular Biology and Evolution. Oxford University Press, 2014.https://doi.org/10.1093/molbev/msu312 .

Cibulka, Josef, Pu Gao, Marek Krcál, Tomás Valla, and Pavel Valtr. “On the Geometric Ramsey Number of Outerplanar Graphs.”https://doi.org/10.1007/s00454-014-9646-x__Discrete &; Computational Geometry. Springer, 2014.https://doi.org/10.1007/s00454-014-9646-x .

Guerrero, Paul, Thomas Auzinger, Michael Wimmer, and Stefan Jeschke. “Partial Shape Matching Using Transformation Parameter Similarity.”https://doi.org/10.1111/cgf.12509__Computer Graphics Forum. Wiley, 2014.https://doi.org/10.1111/cgf.12509 .

Sassi, Massimiliano, Olivier Ali, Frédéric Boudon, Gladys Cloarec, Ursula Abad, Coralie Cellier, Xu Chen, et al. “An Auxin-Mediated Shift toward Growth Isotropy Promotes Organ Formation at the Shoot Meristem in Arabidopsis.”https://doi.org/10.1016/j.cub.2014.08.036__Current Biology. Cell Press, 2014.https://doi.org/10.1016/j.cub.2014.08.036 .

Jha, Susmit, Stavros Tripakis, Sanjit Seshia, and Krishnendu Chatterjee. “Game Theoretic Secure Localization in Wireless Sensor Networks,”https://doi.org/10.1109/IOT.2014.7030120__85–90. IEEE, 2014.https://doi.org/10.1109/IOT.2014.7030120 .

Chen, Xu, Laurie Grandont, Hongjiang Li, Robert Hauschild, Sébastien Paque, Anas Abuzeineh, Hana Rakusova, Eva Benková, Catherine Perrot Rechenmann, and Jií Friml. “Inhibition of Cell Expansion by Rapid AB-Mediated Auxin Effect on Microtubules.”https://doi.org/10.1038/nature13889__Nature. Nature Publishing Group, 2014.https://doi.org/10.1038/nature13889 .

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

Gupta, Ashutosh, Laura Kovács, Bernhard Kragl, and Andrei Voronkov. “Extensional Crisis and Proving Identity.”https://doi.org/10.1007/978-3-319-11936-6_14__In ATVA 2014, edited by Franck Cassez and Jean-François Raskin, 8837:185–200. Springer, 2014.https://doi.org/10.1007/978-3-319-11936-6_14 .

Henzinger, Thomas A, Jan Otop, and Roopsha Samanta. “Lipschitz Robustness of Finite-State Transducers.”https://doi.org/10.4230/LIPIcs.FSTTCS.2014.431__In Leibniz International Proceedings in Informatics, LIPIcs, 29:431–43. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014.https://doi.org/10.4230/LIPIcs.FSTTCS.2014.431 .

Samanta, Roopsha, Oswaldo Olivo, and Emerson Allen. “Cost-Aware Automatic Program Repair.”https://doi.org/10.1007/978-3-319-10936-7_17__edited by Markus Müller-Olm and Helmut Seidl, 8723:268–84. Springer, 2014.https://doi.org/10.1007/978-3-319-10936-7_17 .

Dolbilin, Nikolai, Herbert Edelsbrunner, Alexey Glazyrin, and Oleg Musin. “Functionals on Triangulations of Delaunay Sets.”https://doi.org/10.17323/1609-4514-2014-14-3-491-504__Moscow Mathematical Journal. Independent University of Moscow, 2014.https://doi.org/10.17323/1609-4514-2014-14-3-491-504 .