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.

2456 Publications

2011 | Book Chapter | IST-REx-ID: 3311
Edelsbrunner, H. (2011). Alpha shapes - a survey. In Tessellations in the Sciences. Springer.

2011 | Conference Paper | IST-REx-ID: 3359
Cerny, P., & Henzinger, T. A. (2011). From boolean to quantitative synthesis (pp. 149–154). Presented at the EMSOFT: Embedded Software , Taipei; Taiwan: ACM.
View | DOI

2011 | Conference Paper | IST-REx-ID: 3361   OA
Cerny, P., Chatterjee, K., & Henzinger, T. A. (2011). The complexity of quantitative information flow problems (pp. 205–217). Presented at the CSF: Computer Security Foundations, Cernay-la-Ville, France: IEEE.
View | Files available | DOI

2011 | Conference Paper | IST-REx-ID: 3330   OA
Kerber, M., & Sagraloff, M. (2011). Root refinement for real polynomials (pp. 209–216). Presented at the ISSAC: International Symposium on Symbolic and Algebraic Computation, California, USA: Springer.
View | DOI | Download (ext.) | arXiv

2011 | Book Chapter | IST-REx-ID: 3335   OA
Van De Weygaert, R., Vegter, G., Edelsbrunner, H., Jones, B., Pranav, P., Park, C., … Teillaud, M. (2011). Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web. In M. Gavrilova, K. Tan, & M. Mostafavi (Eds.), Transactions on Computational Science XIV (Vol. 6970, pp. 60–101). Springer.
View | DOI | Download (ext.) | arXiv

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: APA

Export / Embed