2008 |
11 | EE | Javier Esparza,
Stefan Kiefer,
Michael Luttenberger:
Derivation Tree Analysis for Accelerated Fixed-Point Computation.
Developments in Language Theory 2008: 301-313 |
10 | EE | Javier Esparza,
Stefan Kiefer,
Michael Luttenberger:
Newton's Method for omega-Continuous Semirings.
ICALP (2) 2008: 14-26 |
9 | EE | Javier Esparza,
Stefan Kiefer,
Michael Luttenberger:
Solving Monotone Polynomial Equations.
IFIP TCS 2008: 285-298 |
8 | EE | Javier Esparza,
Stefan Kiefer,
Michael Luttenberger:
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations.
STACS 2008: 289-300 |
7 | EE | Javier Esparza,
Stefan Kiefer,
Michael Luttenberger:
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations
CoRR abs/0802.2856: (2008) |
6 | EE | Michael Luttenberger:
Strategy Iteration using Non-Deterministic Strategies for Solving Parity Games
CoRR abs/0806.2923: (2008) |
2007 |
5 | EE | Javier Esparza,
Stefan Kiefer,
Michael Luttenberger:
An Extension of Newton's Method to omega -Continuous Semirings.
Developments in Language Theory 2007: 157-168 |
4 | EE | Javier Esparza,
Stefan Kiefer,
Michael Luttenberger:
On Fixed Point Equations over Commutative Semirings.
STACS 2007: 296-307 |
3 | 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 |
2 | EE | Michael Luttenberger:
Reachability Analysis of Procedural Programs with Affine Integer Arithmetic.
CIAA 2006: 281-282 |
2004 |
1 | EE | Matthias Hopf,
Michael Luttenberger,
Thomas Ertl:
Hierarchical Splatting of Scattered 4D Data.
IEEE Computer Graphics and Applications 24(4): 64-72 (2004) |