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.

Dolbilin, Nikolai, et al. “Functionals on Triangulations of Delaunay Sets.”10.17323/1609-4514-2014-14-3-491-504__Moscow Mathematical Journal, vol. 14, no. 3, Independent University of Moscow, 2014, pp. 491–504, doi:10.17323/1609-4514-2014-14-3-491-504.

Sixt, Michael K., and Kari Vaahtomeri. “Physiology: Relax and Come In.”10.1038/514441a__Nature, vol. 514, no. 7523, Springer Nature, 2014, pp. 441–42, doi:10.1038/514441a.

Hermundstad, Ann, et al. “Variance Predicts Salience in Central Sensory Processing.”10.7554/eLife.03722__ELife, no. November, e03722, eLife Sciences Publications, 2014, doi:10.7554/eLife.03722.

Körner, Christof, et al. “Sequential Effects in Continued Visual Search: Using Fixation-Related Potentials to Compare Distractor Processing before and after Target Detection.”10.1111/psyp.12062__Psychophysiology, vol. 51, no. 4, Wiley-Blackwell, 2014, pp. 385–95, doi:10.1111/psyp.12062.

Ocana, Sabine, et al. “Y-Linked Mendelian Inheritance of Giant and Dwarf Male Morphs in Shell-Brooding Cichlids.”10.1098/rspb.2014.0253__Proceedings of the Royal Society of London Series B Biological Sciences, vol. 281, no. 1794, 20140253, The Royal Society, 2014, doi:10.1098/rspb.2014.0253.

Chwastyk, Mateusz, et al. “Theoretical Tests of the Mechanical Protection Strategy in Protein Nanomechanics.”10.1002/prot.24436__Proteins: Structure, Function and Bioinformatics, vol. 82, no. 5, Wiley-Blackwell, 2014, pp. 717–26, doi:10.1002/prot.24436.

Landau, Dan, et al. “Novel Putative Driver Gene Mutations in Chronic Lymphocytic Leukemia (CLL): Results from a Combined Analysis of Whole Exome Sequencing of 262 Primary CLL Aamples.” Blood, vol. 124, no. 21, American Society of Hematology, 2014, pp. 1952–1952.

Bräunlich, Gerhard, et al. “Translation-Invariant Quasi-Free States for Fermionic Systems and the BCS Approximation.”10.1142/S0129055X14500123__Reviews in Mathematical Physics, vol. 26, no. 7, 1450012, World Scientific Publishing, 2014, doi:10.1142/S0129055X14500123.

Grabowska, Anna, et al. “Functional and Bioinformatics Analysis of Two Campylobacter Jejuni Homologs of the Thiol-Disulfide Oxidoreductase, DsbA.”10.1371/journal.pone.0106247__PLoS One, vol. 9, no. 9, e106247, Public Library of Science, 2014, doi:10.1371/journal.pone.0106247.

Edamura, Mitsuhiro, et al. “Functional Deficiency of MHC Class i Enhances LTP and Abolishes LTD in the Nucleus Accumbens of Mice.”10.1371/journal.pone.0107099__PLoS One, vol. 9, no. 9, e107099, Public Library of Science, 2014, doi:10.1371/journal.pone.0107099.

Marhavá, Petra, et al. “SAC Phosphoinositide Phosphatases at the Tonoplast Mediate Vacuolar Function in Arabidopsis.”10.1073/pnas.1324264111__PNAS, vol. 111, no. 7, National Academy of Sciences, 2014, pp. 2818–23, doi:10.1073/pnas.1324264111.

Kollár, Richard, et al. “Mathematical Model of Alternative Mechanism of Telomere Length Maintenance.”10.1103/PhysRevE.89.032701__Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 89, no. 3, 032701, American Institute of Physics, 2014, doi:10.1103/PhysRevE.89.032701.

Naramoto, Satoshi, et al. “Insights into the Localization and Function of the Membrane Trafficking Regulator GNOM ARF-GEF at the Golgi Apparatus in Arabidopsis.”10.1105/tpc.114.125880__Plant Cell, vol. 26, no. 7, American Society of Plant Biologists, 2014, pp. 3062–76, doi:10.1105/tpc.114.125880.

Williams, Scott, et al. “Par3-MInsc and G;110.1038/ncb3001__Cooperate to Promote Oriented Epidermal Cell Divisions through LGN.”10.1038/ncb3001__Nature Cell Biology, vol. 16, no. 8, Nature Publishing Group, 2014, pp. 758–69, doi:10.1038/ncb3001.

Ritzau Jost, Andreas, et al. “Ultrafast Action Potentials Mediate Kilohertz Signaling at a Central Synapse.”10.1016/j.neuron.2014.08.036__Neuron, vol. 84, no. 1, Elsevier, 2014, pp. 152–63, doi:10.1016/j.neuron.2014.08.036.

Arikan, Murat, et al. “Large-Scale Point-Cloud Visualization through Localized Textured Surface Reconstruction.”10.1109/TVCG.2014.2312011__IEEE Transactions on Visualization and Computer Graphics, vol. 20, no. 9, IEEE, 2014, pp. 1280–92, doi:10.1109/TVCG.2014.2312011.