| 2006 | ISSAC | High-performance implementations of the Descartes method. | Jeremy R. Johnson, Werner Krandick, Kevin Lynch, David G. Richardson, Anatole D. Ruslanov |
| 2005 | CaiSE | Wireless Internet Collaboration System on Smartphones. | Nadya Belov, Ilya Braude, Werner Krandick, Joshua Shaffer |
| 2005 | CASC | A Descartes Algorithm for Polynomials with Bit-Stream Coefficients. | Arno Eigenwillig, Lutz Kettner, Werner Krandick, Kurt Mehlhorn, Susanne Schmitt, Nicola Wolpert |
| 2005 | CASC | Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library. | David G. Richardson, Werner Krandick |
| 2005 | ISSAC | Architecture-aware classical Taylor shift by 1. | Jeremy R. Johnson, Werner Krandick, Anatole D. Ruslanov |
| 2000 | ISSAC | Multiprecision floating point addition. | George E. Collins, Werner Krandick |
| 1999 | HiPC | Parallel Real Root Isolation Using the Descartes Method. | Thomas Decker, Werner Krandick |
| 1997 | ISSAC | Polynomial Real Root Isolation using Approximate Arithmetic. | Jeremy R. Johnson, Werner Krandick |
| 1996 | ISSAC | A Tangent-Secant Method for Polynomial Complex Root Calculation. | George E. Collins, Werner Krandick |
| 1993 | ARITH | Efficient multiprecision floating point multiplication with optimal directional rounding. | Werner Krandick, Jeremy R. Johnson |
| 1993 | ISSAC | A Hybrid Method for High Precision Calculation of Polynomial Real Roots. | George E. Collins, Werner Krandick |
| 1992 | ISSAC | An Efficient Algorithm for Infallible Polynomial Complex Root Isolation. | George E. Collins, Werner Krandick |