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.




2616 Publications

2011 | Conference Paper | IST-REx-ID: 3264
Solving recursion-free Horn clauses over LI+UIF
A. Gupta, C. Popeea, A. Rybalchenko, in:, H. Yang (Ed.), Springer, 2011, pp. 188–203.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3360   OA
Determinizing discounted-sum automata
U. Boker, T.A. Henzinger, in:, Springer, 2011, pp. 82–96.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5385   OA
Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.
View | Files available | DOI
 
2011 | Book Chapter | IST-REx-ID: 3311
Alpha shapes - a survey
H. Edelsbrunner, in:, Tessellations in the Sciences, Springer, 2011.
View
 
2011 | Conference Paper | IST-REx-ID: 3330   OA
Root refinement for real polynomials
M. Kerber, M. Sagraloff, in:, Springer, 2011, pp. 209–216.
View | DOI | Download (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed