Hofbauer, Harald F., Florian H. Schopf, Hannes Schleifer, Oskar L. Knittelfelder, Bartholomäus Pieber, Gerald N. Rechberger, Heimo Wolinski, et al. “Regulation of Gene Expression through a Transcriptional Repressor That Senses Acyl-Chain Length in Membrane Phospholipids.”https://doi.org/10.1016/j.devcel.2014.04.025__Developmental Cell. Elsevier, 2014.https://doi.org/10.1016/j.devcel.2014.04.025 .

Chatterjee, Krishnendu, Monika H Henzinger, Sebastian Krinninger, Veronika Loitzenbauer, and Michael Raskin. “Approximating the Minimum Cycle Mean.”https://doi.org/10.1016/j.tcs.2014.06.031__Theoretical Computer Science. Elsevier, 2014.https://doi.org/10.1016/j.tcs.2014.06.031 .

Dragoi, Cezara, Thomas A Henzinger, Helmut Veith, Josef Widder, and Damien Zufferey. “A Logic-Based Framework for Verifying Consensus Algorithms,”https://doi.org/10.1007/978-3-642-54013-4_10__8318:161–81. Springer, 2014.https://doi.org/10.1007/978-3-642-54013-4_10 .

Gordon, Andrew, Thomas A Henzinger, Aditya Nori, and Sriram Rajamani. “Probabilistic Programming.”https://doi.org/10.1145/2593882.2593900__In Proceedings of the on Future of Software Engineering, 167–81. ACM, 2014.https://doi.org/10.1145/2593882.2593900 .

Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “On the BCS Gap Equation for Superfluid Fermionic Gases.”https://doi.org/10.1142/9789814618144_0007__In Proceedings of the QMat Conference, 127–37. World Scientific Publishing, 2014.https://doi.org/10.1142/9789814618144_0007 .

Guerrero, Paul, Stefan Jeschke, Michael Wimmer, and Peter Wonka. “Edit Propagation Using Geometric Relationship Functions.”https://doi.org/10.1145/2591010__ACM Transactions on Graphics. ACM, 2014.https://doi.org/10.1145/2591010 .

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 .

Mongillo, Massimo, Panayotis Spathis, Georgios Katsaros, Silvano De Franceschi, Pascal Gentile, Riccardo Rurali, and Xavier Cartoixà. “PtSi Clustering in Silicon Probed by Transport Spectroscopy.”https://doi.org/10.1103/PhysRevX.3.041025__Physical Review X. American Physical Society, 2014.https://doi.org/10.1103/PhysRevX.3.041025 .

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 .

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 .

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 .

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 .