Author of the publication

Decidability for Sturmian Words.

, , , , , and . CSL, volume 216 of LIPIcs, page 24:1-24:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

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.

 

Other publications of authors with the same name

Eigenmodes of Surface Energies for Shape Analysis., , , and . GMP, volume 6130 of Lecture Notes in Computer Science, page 296-314. Springer, (2010)Exactly Solving the Maximum Weight Independent Set Problem on Large Real-World Graphs., , , , and . ALENEX, page 144-158. SIAM, (2019)Animating deformable objects using sparse spacetime constraints., , , and . ACM Trans. Graph., 33 (4): 109:1-109:10 (2014)Load-Balanced Bottleneck Objectives in Process Mapping., , and . CoRR, (2020)Shared-Memory Branch-and-Reduce for Multiterminal Cuts., , and . ALENEX, page 42-55. SIAM, (2020)Bézier clipping is quadratically convergent.. Comput. Aided Geom. Des., 26 (1): 61-74 (2009)Boosting Data Reduction for the Maximum Weight Independent Set Problem Using Increasing Transformations., , , , and . CoRR, (2020)Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata., , , and . CoRR, (2021)GPU computing in discrete optimization. Part I: Introduction to the GPU., , , and . EURO J. Transp. Logist., 2 (1-2): 129-157 (2013)GPU computing in discrete optimization. Part II: Survey focused on routing problems., , , and . EURO J. Transp. Logist., 2 (1-2): 159-186 (2013)