- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c13 |      | Michael Luttenberger, Maximilian Schlund: Convergence of Newton's Method over Commutative Semirings. LATA 2013: 407-418 |
| 2012 | ||
| j6 | | Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger: Space-efficient scheduling of stochastically generated tasks. Inf. Comput. 210: 87-110 (2012) |
| 2011 | ||
| j5 | | Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger: Parikhʼs theorem: A simple and direct automaton construction. Inf. Process. Lett. 111(12): 614-619 (2011) |
| j4 | | Javier Esparza, Stefan Kiefer, Michael Luttenberger: Derivation tree analysis for accelerated fixed-point computation. Theor. Comput. Sci. 412(28): 3226-3241 (2011) |
| c12 | | Javier Esparza, Michael Luttenberger: Solving Fixed-Point Equations by Derivation Tree Analysis. CALCO 2011: 19-35 |
| c11 | | Chih-Hong Cheng, Alois Knoll, Michael Luttenberger, Christian Buckl: GAVS+: An Open Platform for the Research of Algorithmic Game Solving. TACAS 2011: 258-261 |
| i6 | | Michael Luttenberger: An Extension of Parikh's Theorem beyond Idempotence. CoRR abs/1112.2864 (2011) |
| 2010 | ||
| j3 | | Javier Esparza, Stefan Kiefer, Michael Luttenberger: Newtonian program analysis. J. ACM 57(6): 33 (2010) |
| j2 | | Javier Esparza, Stefan Kiefer, Michael Luttenberger: Computing the Least Fixed Point of Positive Polynomial Systems. SIAM J. Comput. 39(6): 2282-2335 (2010) |
| c10 | | Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, Alois Knoll: GAVS: Game Arena Visualization and Synthesis. ATVA 2010: 347-352 |
| c9 | | Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger: Space-Efficient Scheduling of Stochastically Generated Tasks. ICALP (2) 2010: 539-550 |
| p1 | | Javier Esparza, Michael Luttenberger: Newtonian Program Analysis - An Introduction. Logics and Languages for Reliability and Security 2010: 31-72 |
| i5 | | Javier Esparza, Stefan Kiefer, Michael Luttenberger: Computing the Least Fixed Point of Positive Polynomial Systems. CoRR abs/1001.0340 (2010) |
| i4 | | Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger: Space-efficient scheduling of stochastically generated tasks. CoRR abs/1004.4286 (2010) |
| i3 | | Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger: Parikh's Theorem: A simple and direct construction. CoRR abs/1006.3825 (2010) |
| 2008 | ||
| c8 | | Javier Esparza, Stefan Kiefer, Michael Luttenberger: Derivation Tree Analysis for Accelerated Fixed-Point Computation. Developments in Language Theory 2008: 301-313 |
| c7 | | Javier Esparza, Stefan Kiefer, Michael Luttenberger: Newton's Method for omega-Continuous Semirings. ICALP (2) 2008: 14-26 |
| c6 | | Javier Esparza, Stefan Kiefer, Michael Luttenberger: Solving Monotone Polynomial Equations. IFIP TCS 2008: 285-298 |
| c5 | | Javier Esparza, Stefan Kiefer, Michael Luttenberger: Convergence Thresholds of Newton's Method for Monotone Polynomial Equations. STACS 2008: 289-300 |
| i2 | | Javier Esparza, Stefan Kiefer, Michael Luttenberger: Convergence Thresholds of Newton's Method for Monotone Polynomial Equations. CoRR abs/0802.2856 (2008) |
| i1 | | Michael Luttenberger: Strategy Iteration using Non-Deterministic Strategies for Solving Parity Games. CoRR abs/0806.2923 (2008) |
| 2007 | ||
| c4 | | Javier Esparza, Stefan Kiefer, Michael Luttenberger: An Extension of Newton's Method to omega -Continuous Semirings. Developments in Language Theory 2007: 157-168 |
| c3 | | Javier Esparza, Stefan Kiefer, Michael Luttenberger: On Fixed Point Equations over Commutative Semirings. STACS 2007: 296-307 |
| c2 | | Stefan Kiefer, Michael Luttenberger, Javier Esparza: On the convergence of Newton's method for monotone systems of polynomial equations. STOC 2007: 217-226 |
| 2006 | ||
| c1 | | Michael Luttenberger: Reachability Analysis of Procedural Programs with Affine Integer Arithmetic. CIAA 2006: 281-282 |
| 2004 | ||
| j1 | | Matthias Hopf, Michael Luttenberger, Thomas Ertl: Hierarchical Splatting of Scattered 4D Data. IEEE Computer Graphics and Applications 24(4): 64-72 (2004) |
| 1 | Tomás Brázdil | |
| 2 | Christian Buckl | |
| 3 | Chih-Hong Cheng | |
| 4 | Thomas Ertl | |
| 5 | Javier Esparza | |
| 6 | Pierre Ganty | |
| 7 | Matthias Hopf | |
| 8 | Stefan Kiefer | |
| 9 | Alois Knoll | |
| 10 | Maximilian Schlund |
Colors in the list of coauthors
Last update Mon May 20 06:52:29 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page