dblp.uni-trier.dewww.uni-trier.de

Stefan Kiefer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Javier Esparza [1] [2] [3] [4] [5] [6]
2Michael Luttenberger [2] [3] [4] [5] [6]
3Stefan Schwoon [1]

Copyright © Wed May 28 02:56:03 2008 by Michael Ley (ley@uni-trier.de)