| 2008 |
| 6 | EE | Javier Esparza,
Stefan Kiefer,
Michael Luttenberger:
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations.
STACS 2008: 289-300 |
| 5 | EE | Javier Esparza,
Stefan Kiefer,
Michael Luttenberger:
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations
CoRR abs/0802.2856: (2008) |
| 2007 |
| 4 | EE | Javier Esparza,
Stefan Kiefer,
Michael Luttenberger:
An Extension of Newton's Method to omega -Continuous Semirings.
Developments in Language Theory 2007: 157-168 |
| 3 | EE | Javier Esparza,
Stefan Kiefer,
Michael Luttenberger:
On Fixed Point Equations over Commutative Semirings.
STACS 2007: 296-307 |
| 2 | EE | Stefan Kiefer,
Michael Luttenberger,
Javier Esparza:
On the convergence of Newton's method for monotone systems of polynomial equations.
STOC 2007: 217-226 |
| 2006 |
| 1 | EE | Javier Esparza,
Stefan Kiefer,
Stefan Schwoon:
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems.
TACAS 2006: 489-503 |