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.
3158 Publications
2012 | Journal Article | IST-REx-ID: 3836
Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code
A. Ghosal, D. Iercan, C. Kirsch, T.A. Henzinger, A. Sangiovanni Vincentelli, Science of Computer Programming 77 (2012) 96–112.
View
| DOI
A. Ghosal, D. Iercan, C. Kirsch, T.A. Henzinger, A. Sangiovanni Vincentelli, Science of Computer Programming 77 (2012) 96–112.
2012 | Journal Article | IST-REx-ID: 3846 | 
A survey of stochastic ω regular games
K. Chatterjee, T.A. Henzinger, Journal of Computer and System Sciences 78 (2012) 394–413.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, Journal of Computer and System Sciences 78 (2012) 394–413.
2012 | Journal Article | IST-REx-ID: 3115 |
Deconstructing approximate offsets
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, Discrete & Computational Geometry 48 (2012) 964–989.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, Discrete & Computational Geometry 48 (2012) 964–989.
2012 | Journal Article | IST-REx-ID: 3117 |
Minimizing a sum of submodular functions
V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 2246–2258.
View
| DOI
| Download Preprint (ext.)
V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 2246–2258.
2012 | Journal Article | IST-REx-ID: 3118 |
Tracking surfaces with evolving topology
M. Bojsen-Hansen, H. Li, C.J. Wojtan, ACM Transactions on Graphics 31 (2012).
View
| Files available
| DOI
M. Bojsen-Hansen, H. Li, C.J. Wojtan, ACM Transactions on Graphics 31 (2012).