Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
3756 Publications
2014 | Journal Article | IST-REx-ID: 1842 |

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.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 1844 |

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.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1852 |

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.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 1854 |

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.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 1870 |

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.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 1872 |

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.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 1875 |

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.
View
| Files available
| DOI