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.
4528 Publications
2015 | Journal Article | IST-REx-ID: 1687 |

Sarris, M., & Sixt, M. K. (2015). Navigating in tissue mazes: Chemoattractant interpretation in complex environments. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2015.08.001
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1685 |

Cohen Addad, V., & de Mesmay, A. N. (2015). A fixed parameter tractable approximation scheme for the optimal cut graph of a surface (Vol. 9294, pp. 386–398). Presented at the ESA: European Symposium on Algorithms, Patras, Greece: Springer. https://doi.org/10.1007/978-3-662-48350-3_33
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1688 |

Karasev, R., Kynčl, J., Paták, P., Patakova, Z., & Tancer, M. (2015). Bounds for Pach’s selection theorem and for the minimum solid angle in a simplex. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-015-9720-z
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1680
Michaliszyn, J., Otop, J., & Kieroňski, E. (2015). On the decidability of elementary modal logics. ACM Transactions on Computational Logic. ACM. https://doi.org/10.1145/2817825
View
| DOI
2015 | Journal Article | IST-REx-ID: 1682 |

Franek, P., & Krcál, M. (2015). Robust satisfiability of systems of equations. Journal of the ACM. ACM. https://doi.org/10.1145/2751524
View
| DOI
| Download Preprint (ext.)