A. Gupta, C. Popeea, and A. Rybalchenko, “Generalised interpolation by solving recursion free-horn clauses,” in Electronic Proceedings in Theoretical Computer Science, EPTCS, Vienna, Austria, 2014, vol. 169, pp. 31–38.
LibreCat: https://research-explorer.ista.ac.at/record/1702
DOI: 10.4204/EPTCS.169.5

S. Huber, M. Held, P. Meerwald, and R. Kwitt, “Topology-preserving watermarking of vector graphics,” International Journal of Computational Geometry and Applications, vol. 24, no. 1. World Scientific Publishing, pp. 61–86, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1816
DOI: 10.1142/S0218195914500034

R. Seiringer, “Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation,” Journal of Mathematical Physics, vol. 55, no. 7. American Institute of Physics, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1821
DOI: 10.1063/1.4881536

V. Risso et al., “Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history,” Molecular Biology and Evolution, vol. 32, no. 2. Oxford University Press, pp. 440–455, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1844
DOI: 10.1093/molbev/msu312

J. Cibulka, P. Gao, M. Krcál, T. Valla, and P. Valtr, “On the geometric ramsey number of outerplanar graphs,” Discrete &; Computational Geometry, vol. 53, no. 1. Springer, pp. 64–79, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1842
DOI: 10.1007/s00454-014-9646-x

P. Guerrero, T. Auzinger, M. Wimmer, and S. Jeschke, “Partial shape matching using transformation parameter similarity,” Computer Graphics Forum, vol. 34, no. 1. Wiley, pp. 239–252, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1854
DOI: 10.1111/cgf.12509

M. Sassi et al., “An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis,” Current Biology, vol. 24, no. 19. Cell Press, pp. 2335–2342, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1852
DOI: 10.1016/j.cub.2014.08.036

X. Chen et al., “Inhibition of cell expansion by rapid AB-mediated auxin effect on microtubules,” Nature, vol. 516, no. 729. Nature Publishing Group, pp. 90–93, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1862
DOI: 10.1038/nature13889
PMID: 25409144

A. Gupta, L. Kovács, B. Kragl, and A. Voronkov, “Extensional crisis and proving identity,” in ATVA 2014, Sydney, Australia, 2014, vol. 8837, pp. 185–200.
LibreCat: https://research-explorer.ista.ac.at/record/1872
DOI: 10.1007/978-3-319-11936-6_14

T. A. Henzinger, J. Otop, and R. Samanta, “Lipschitz robustness of finite-state transducers,” in Leibniz International Proceedings in Informatics, LIPIcs, Delhi, India, 2014, vol. 29, pp. 431–443.
LibreCat: https://research-explorer.ista.ac.at/record/1870
DOI: 10.4230/LIPIcs.FSTTCS.2014.431

R. Samanta, O. Olivo, and E. Allen, “Cost-aware automatic program repair,” presented at the SAS: Static Analysis Symposium, Munich, Germany, 2014, vol. 8723, pp. 268–284.
LibreCat: https://research-explorer.ista.ac.at/record/1875
DOI: 10.1007/978-3-319-10936-7_17

N. Dolbilin, H. Edelsbrunner, A. Glazyrin, and O. Musin, “Functionals on triangulations of delaunay sets,” Moscow Mathematical Journal, vol. 14, no. 3. Independent University of Moscow, pp. 491–504, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1876
DOI: 10.17323/1609-4514-2014-14-3-491-504
arXiv: 1211.7053

A. Hermundstad, J. Briguglio, M. Conte, J. Victor, V. Balasubramanian, and G. Tkadik, “Variance predicts salience in central sensory processing,” eLife, no. November. eLife Sciences Publications, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1886
DOI: 10.7554/eLife.03722

C. Körner, V. Braunstein, M. Stangl, A. Schlögl, C. Neuper, and A. Ischebeck, “Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection,” Psychophysiology, vol. 51, no. 4. Wiley-Blackwell, pp. 385–395, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1890
DOI: 10.1111/psyp.12062

S. Ocana, P. Meidl, D. Bonfils, and M. Taborsky, “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, vol. 281, no. 1794. The Royal Society, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1892
DOI: 10.1098/rspb.2014.0253
PMID: 25232141

G. Bräunlich, C. Hainzl, and R. Seiringer, “Translation-invariant quasi-free states for fermionic systems and the BCS approximation,” Reviews in Mathematical Physics, vol. 26, no. 7. World Scientific Publishing, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1889
DOI: 10.1142/S0129055X14500123
arXiv: 1305.5135

A. Grabowska et al., “Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA,” PLoS One, vol. 9, no. 9. Public Library of Science, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1894
DOI: 10.1371/journal.pone.0106247

M. Edamura et al., “Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice,” PLoS One, vol. 9, no. 9. Public Library of Science, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1895
DOI: 10.1371/journal.pone.0107099

P. Marhavá et al., “SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis,” PNAS, vol. 111, no. 7. National Academy of Sciences, pp. 2818–2823, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1893
DOI: 10.1073/pnas.1324264111

R. Kollár, K. Bodova, J. Nosek, and d. Tomáska, “Mathematical model of alternative mechanism of telomere length maintenance,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 89, no. 3. American Institute of Physics, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1896
DOI: 10.1103/PhysRevE.89.032701