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.
4074 Publications
2017 | Journal Article | IST-REx-ID: 1065 | 
Chatterjee, K., & Osang, G. F. (2017). Pushdown reachability with constant treewidth. Information Processing Letters. Elsevier. https://doi.org/10.1016/j.ipl.2017.02.003
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1066
Chatterjee, K., Henzinger, T. A., Otop, J., & Velner, Y. (2017). Quantitative fair simulation games. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2016.10.006
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1067 |
Morita, H., Grigolon, S., Bock, M., Krens, G., Salbreux, G., & Heisenberg, C.-P. J. (2017). The physical basis of coordinated tissue spreading in zebrafish gastrulation. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2017.01.010
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1072 |
Bauer, U., & Edelsbrunner, H. (2017). The Morse theory of Čech and delaunay complexes. Transactions of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/tran/6991
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 1073 |
Čadek, M., Krcál, M., & Vokřínek, L. (2017). Algorithmic solvability of the lifting extension problem. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-016-9855-6
View
| DOI
| Download Submitted Version (ext.)