Michael Luttenberger

Available identifiers

zbMath Open luttenberger.michaelMaRDI QIDQ418124

List of research outcomes

Publication	Date of Publication	Type
On the Balancedness of Tree-to-Word Transducers	2023-08-15	Paper
Equivalence of Linear Tree Transducers with Output in the Free Group	2022-10-13	Paper
On the Balancedness of Tree-to-Word Transducers	2022-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q3304147	2020-08-05	Paper
Practical synthesis of reactive systems from LTL specifications via parity games	2020-03-06	Paper
Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity	2016-04-08	Paper
FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings	2016-02-17	Paper
Convergence of Newton's method over commutative semirings	2015-12-28	Paper
FPsolve: A Generic Solver for Fixpoint Equations over Semirings	2014-09-26	Paper
Solving Parity Games on the GPU	2014-07-08	Paper
A Brief History of Strahler Numbers	2014-03-31	Paper
Putting Newton into Practice: A Solver for Polynomial Equations over Semirings	2014-01-17	Paper
Parikh's theorem: a simple and direct automaton construction	2013-03-28	Paper
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations	2013-03-19	Paper
Convergence of Newton’s Method over Commutative Semirings	2013-03-18	Paper
Space-efficient scheduling of stochastically generated tasks	2012-05-24	Paper
Solving Fixed-Point Equations by Derivation Tree Analysis	2011-09-02	Paper
Derivation tree analysis for accelerated fixed-point computation	2011-07-07	Paper
Newtonian program analysis	2011-05-16	Paper
Computing the Least Fixed Point of Positive Polynomial Systems	2011-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q3060977	2010-12-13	Paper
Space-Efficient Scheduling of Stochastically Generated Tasks	2010-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q5190774	2009-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q3549616	2009-01-05	Paper
Derivation Tree Analysis for Accelerated Fixed-Point Computation	2008-10-30	Paper
Newton’s Method for ω-Continuous Semirings	2008-08-19	Paper
An Extension of Newton’s Method to ω-Continuous Semirings	2007-11-28	Paper
Reachability Analysis of Procedural Programs with Affine Integer Arithmetic	2007-09-06	Paper
On Fixed Point Equations over Commutative Semirings	2007-09-03	Paper

Research outcomes over time

This page was built for person: Michael Luttenberger