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
\textsc{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
Newtonian program analysis -- an introduction	2010-12-13	Paper
Space-efficient scheduling of stochastically generated tasks	2010-09-07	Paper
Scheduling stochastic branching processes	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