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.




2576 Publications

2012 | Journal Article | IST-REx-ID: 3331   OA
M. Kerber and M. Sagraloff, “A worst case bound for topology computation of algebraic curves,” Journal of Symbolic Computation, vol. 47, no. 3, pp. 239–258, 2012.
View | DOI | Download (ext.)
 
2012 | Journal Article | IST-REx-ID: 3115
E. Berberich, D. Halperin, M. Kerber, and R. Pogalnikova, “Deconstructing approximate offsets,” Discrete & Computational Geometry, vol. 48, no. 4, pp. 964–989, 2012.
View | Files available | DOI | Download (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 3836
A. Ghosal, D. Iercan, C. Kirsch, T. A. Henzinger, and A. Sangiovanni Vincentelli, “Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code,” Science of Computer Programming, vol. 77, no. 2, pp. 96–112, 2012.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 494
U. Boker and O. Kupferman, “Translating to Co-Büchi made tight, unified, and useful,” ACM Transactions on Computational Logic (TOCL), vol. 13, no. 4, 2012.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 2888
T. A. Henzinger, “Quantitative reactive models,” in Conference proceedings MODELS 2012, Innsbruck, Austria, 2012, vol. 7590, pp. 1–2.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed