Search the dblp DataBase

Publications of Author

1. Javier Esparza, Stefan Kiefer, Michael Luttenberger
   On Fixed Point Equations over Commutative Semirings. [Citation Graph (0, 0)][DBLP]
   STACS, 2007, pp:296-307 [Conf]
   
2. Michael Luttenberger
   Reachability Analysis of Procedural Programs with Affine Integer Arithmetic. [Citation Graph (0, 0)][DBLP]
   CIAA, 2006, pp:281-282 [Conf]
   
3. Matthias Hopf, Michael Luttenberger, Thomas Ertl
   Hierarchical Splatting of Scattered 4D Data. [Citation Graph (0, 0)][DBLP]
   IEEE Computer Graphics and Applications, 2004, v:24, n:4, pp:64-72 [Journal]
   
4. Javier Esparza, Stefan Kiefer, Michael Luttenberger
   An Extension of Newton's Method to omega -Continuous Semirings. [Citation Graph (0, 0)][DBLP]
   Developments in Language Theory, 2007, pp:157-168 [Conf]
   
5. Stefan Kiefer, Michael Luttenberger, Javier Esparza
   On the convergence of Newton's method for monotone systems of polynomial equations. [Citation Graph (0, 0)][DBLP]
   STOC, 2007, pp:217-226 [Conf]
   
6. 
   GAVS: Game Arena Visualization and Synthesis. [Citation Graph (, )][DBLP]
   
   
7. 
   Derivation Tree Analysis for Accelerated Fixed-Point Computation. [Citation Graph (, )][DBLP]
   
   
8. 
   Newton's Method for omega-Continuous Semirings. [Citation Graph (, )][DBLP]
   
   
9. 
   Space-Efficient Scheduling of Stochastically Generated Tasks. [Citation Graph (, )][DBLP]
   
   
10. 
    Solving Monotone Polynomial Equations. [Citation Graph (, )][DBLP]
    
    
11. 
    Convergence Thresholds of Newton's Method for Monotone Polynomial Equations. [Citation Graph (, )][DBLP]
    
    
12. 
    Convergence Thresholds of Newton's Method for Monotone Polynomial Equations [Citation Graph (, )][DBLP]
    
    
13. 
    Strategy Iteration using Non-Deterministic Strategies for Solving Parity Games [Citation Graph (, )][DBLP]
    
    
14. 
    Computing the Least Fixed Point of Positive Polynomial Systems [Citation Graph (, )][DBLP]
    
    
15. 
    Space-efficient scheduling of stochastically generated tasks [Citation Graph (, )][DBLP]
    
    
16. 
    Parikh's Theorem: A simple and direct construction [Citation Graph (, )][DBLP]