Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2372 Publications
2015 | Journal Article | IST-REx-ID: 1682 | 
Franek P, Krcál M. 2015. Robust satisfiability of systems of equations. Journal of the ACM. 62(4), 26.
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1685 |
Cohen Addad V, De Mesmay AN. 2015. A fixed parameter tractable approximation scheme for the optimal cut graph of a surface. ESA: European Symposium on Algorithms, LNCS, vol. 9294. 386–398.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1687 |
Sarris M, Sixt MK. 2015. Navigating in tissue mazes: Chemoattractant interpretation in complex environments. Current Opinion in Cell Biology. 36(10), 93–102.
View
| Files available
| DOI
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. 54(3), 610–636.
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1689 |
Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. 2015. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control 259–268.
View
| Files available
| DOI
| Download Preprint (ext.)