Gupta, A., Popeea, C., &; Rybalchenko, A. (2014). Generalised interpolation by solving recursion free-horn clauses. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 169, pp. 31–38). Vienna, Austria: Open Publishing.https://doi.org/10.4204/EPTCS.169.5 

Huber, S., Held, M., Meerwald, P., &; Kwitt, R. (2014). Topology-preserving watermarking of vector graphics. International Journal of Computational Geometry and Applications. World Scientific Publishing.https://doi.org/10.1142/S0218195914500034 

Seiringer, R. (2014). Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation. Journal of Mathematical Physics. American Institute of Physics.https://doi.org/10.1063/1.4881536 

Risso, V., Manssour Triedo, F., Delgado Delgado, A., Arco, R., Barroso Deljesús, A., Inglés Prieto, Á.,https://doi.org/10.1093/molbev/msu312__Sánchez Ruiz, J. (2014). Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history. Molecular Biology and Evolution. Oxford University Press.https://doi.org/10.1093/molbev/msu312 

Cibulka, J., Gao, P., Krcál, M., Valla, T., &; Valtr, P. (2014). On the geometric ramsey number of outerplanar graphs. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-014-9646-x 

Guerrero, P., Auzinger, T., Wimmer, M., &; Jeschke, S. (2014). Partial shape matching using transformation parameter similarity. Computer Graphics Forum. Wiley.https://doi.org/10.1111/cgf.12509 

Sassi, M., Ali, O., Boudon, F., Cloarec, G., Abad, U., Cellier, C.,https://doi.org/10.1016/j.cub.2014.08.036__Traas, J. (2014). An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2014.08.036 

Chen, X., Grandont, L., Li, H., Hauschild, R., Paque, S., Abuzeineh, A.,https://doi.org/10.1038/nature13889__Friml, J. (2014). Inhibition of cell expansion by rapid AB-mediated auxin effect on microtubules. Nature. Nature Publishing Group.https://doi.org/10.1038/nature13889 

Gupta, A., Kovács, L., Kragl, B., &; Voronkov, A. (2014). Extensional crisis and proving identity. In F. Cassez &; J.-F. Raskin (Eds.), ATVA 2014 (Vol. 8837, pp. 185–200). Sydney, Australia: Springer.https://doi.org/10.1007/978-3-319-11936-6_14 

Henzinger, T. A., Otop, J., &; Samanta, R. (2014). Lipschitz robustness of finite-state transducers. In Leibniz International Proceedings in Informatics, LIPIcs (Vol. 29, pp. 431–443). Delhi, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.FSTTCS.2014.431 

Samanta, R., Olivo, O., &; Allen, E. (2014). Cost-aware automatic program repair. In M. Müller-Olm &; H. Seidl (Eds.) (Vol. 8723, pp. 268–284). Presented at the SAS: Static Analysis Symposium, Munich, Germany: Springer.https://doi.org/10.1007/978-3-319-10936-7_17 

Dolbilin, N., Edelsbrunner, H., Glazyrin, A., &; Musin, O. (2014). Functionals on triangulations of delaunay sets. Moscow Mathematical Journal. Independent University of Moscow.https://doi.org/10.17323/1609-4514-2014-14-3-491-504 

Hermundstad, A., Briguglio, J., Conte, M., Victor, J., Balasubramanian, V., &; Tkadik, G. (2014). Variance predicts salience in central sensory processing. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.03722 

Körner, C., Braunstein, V., Stangl, M., Schlögl, A., Neuper, C., &; Ischebeck, A. (2014). Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection. Psychophysiology. Wiley-Blackwell.https://doi.org/10.1111/psyp.12062 

Ocana, S., Meidl, P., Bonfils, D., &; Taborsky, M. (2014). Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids. Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society.https://doi.org/10.1098/rspb.2014.0253 

Bräunlich, G., Hainzl, C., &; Seiringer, R. (2014). Translation-invariant quasi-free states for fermionic systems and the BCS approximation. Reviews in Mathematical Physics. World Scientific Publishing.https://doi.org/10.1142/S0129055X14500123 

Grabowska, A., Wywia, E., Dunin Horkawicz, S., asica, A., Wösten, M., Nagy-Staron, A. A.,https://doi.org/10.1371/journal.pone.0106247__Jagusztyn Krynicka, E. (2014). Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0106247 

Edamura, M., Murakami, G., Meng, H., Itakura, M., Shigemoto, R., Fukuda, A., &; Nakahara, D. (2014). Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0107099 

Marhavá, P., Hirsch, S., Feraru, E., Tejos, R., Van Wijk, R., Viaene, T.,https://doi.org/10.1073/pnas.1324264111__Friml, J. (2014). SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1324264111 

Kollár, R., Bodova, K., Nosek, J., &; Tomáska, d. (2014). Mathematical model of alternative mechanism of telomere length maintenance. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics.https://doi.org/10.1103/PhysRevE.89.032701