MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Stefan Kiefer" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

On the convergence of Newton’s method for monotone systems of polynomial equations
by Stefan Kiefer, Michael Luttenberger, Javier Esparza — 2007 — In Proceedings of STOC
… ∗ Stefan Kiefer, Michael Luttenberger, and Javier Esparza Institute for Formal Methods in Computer Science…
Cited by 2 (1 self) – Add To MetaCart

Convergence thresholds of Newton’s method for monotone polynomial equations
by Javier Esparza, Stefan Kiefer, Michael Luttenberger — 2007 — Proc. STACS
…CONVERGENCE THRESHOLDS OF NEWTON’S METHOD FOR MONOTONE POLYNOMIAL EQUATIONS JAVIER ESPARZA, STEFAN…
Cited by 1 (0 self) – Add To MetaCart

Abstraction refinement with Craig interpolation and symbolic pushdown systems
by Javier Esparza, Stefan Kiefer, Stefan Schwoon — 2006 — In Proc. TACAS, LNCS 3920
…, Stefan Kiefer, and Stefan Schwoon Institute for Formal Methods in Computer Science, University…
Cited by 10 (1 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB