| 2009 |
|---|
| 12 | EE | Morten Kühnrich,
Stefan Schwoon,
Jirí Srba,
Stefan Kiefer:
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains.
FOSSACS 2009: 440-455 |
| 11 | EE | Morten Kühnrich,
Stefan Schwoon,
Jirí Srba,
Stefan Kiefer:
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
CoRR abs/0901.0501: (2009) |
| 2008 |
|---|
| 10 | EE | Javier Esparza,
Stefan Kiefer,
Michael Luttenberger:
Derivation Tree Analysis for Accelerated Fixed-Point Computation.
Developments in Language Theory 2008: 301-313 |
| 9 | EE | Javier Esparza,
Thomas Gawlitza,
Stefan Kiefer,
Helmut Seidl:
Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations.
ICALP (1) 2008: 698-710 |
| 8 | EE | Javier Esparza,
Stefan Kiefer,
Michael Luttenberger:
Newton's Method for omega-Continuous Semirings.
ICALP (2) 2008: 14-26 |
| 7 | EE | Javier Esparza,
Stefan Kiefer,
Michael Luttenberger:
Solving Monotone Polynomial Equations.
IFIP TCS 2008: 285-298 |
| 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 |
