bibliographer - Michael Luttenberger

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Equivalence of Linear Tree Transducers with Output in the Free Group Raphaela Løbel Michael Luttenberger Helmut Seidl [github]

Derivation tree analysis for accelerated fixed-point computation Javier Esparza Stefan Kiefer Michael Luttenberger [github]

Solving Fixed-Point Equations by Derivation Tree Analysis Javier Esparza Michael Luttenberger [github]

Computing the Least Fixed Point of Positive Polynomial Systems Javier Esparza Stedan Kiefer Michael Luttenberger [github]

Newtonian Program Analysis Javier Esparza Stefan Kiefer Michael Luttenberger [github]

FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings Javier Esparza Michael Luttenberger Maximilian Schlund [github]

Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity Georg Bachmeier Michael Luttenberger Maximilian Schlund [github]

Parikh's Theorem: A simple and direct automaton construction Javier Esparza Pierre Ganty Stefan Kiefer Michael Luttenberger [github]

Solving Mean-Payoff Games on the GPU Philipp J. Meyer Michael Luttenberger [github]

Practical synthesis of reactive systems from LTL specifications via parity games Michael Luttenberger Philipp J. Meyer Salomon Sickert [github]

Parikh's theorem: A simple and direct automaton construction Javier Esparza Pierre Ganty Stefan Kiefer Michael Luttenberger [github]

Library Size: 13G (11 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]