( en | de | ru )

 

Disambiguation of "Luttenberger, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Space-efficient scheduling of stochastically generated tasks.

, , , and . Inf. Comput., (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Luttenberger

Theodor Luttenberger

Klaus Luttenberger

Joram Luttenberger

Eduard Luttenberger

 

Other publications of authors with the same name

On the Balancedness of Tree-to-word Transducers., , and . CoRR, (2019)Strategy Iteration using Non-Deterministic Strategies for Solving Parity Games. CoRR, (2008)Computing the Longest Common Prefix of a Context-free Language in Polynomial Time., , and . STACS, volume 96 of LIPIcs, page 48:1-48:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Lösen polynomieller Gleichungssysteme über Semiringen.. Ausgezeichnete Informatikdissertationen, volume D-11 of LNI, GI, (2010)The Reactive Synthesis Competition (SYNTCOMP): 2018-2021., , , , , , , , , and 15 other author(s). CoRR, (2022)On the Balancedness of Tree-to-Word Transducers., , and . DLT, volume 12086 of Lecture Notes in Computer Science, page 222-236. Springer, (2020)Newtonian program analysis., , and . J. ACM, 57 (6): 33:1-33:47 (2010)Strix: Explicit Reactive Synthesis Strikes Back!, , and . CAV (1), volume 10981 of Lecture Notes in Computer Science, page 578-586. Springer, (2018)An Extension of Newton's Method to omega -Continuous Semirings., , and . Developments in Language Theory, volume 4588 of Lecture Notes in Computer Science, page 157-168. Springer, (2007)Solving Mean-Payoff Games on the GPU., and . ATVA, volume 9938 of Lecture Notes in Computer Science, page 262-267. (2016)