Author of the publication

The Taming of the Semi-Linear Set.

, and . ICALP, volume 55 of LIPIcs, page 128:1-128:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

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

Certificates of Non-Membership for Classes of Read-Once Functions., , and . Fundam. Informaticae, 132 (1): 63-77 (2014)Convergence of Opinion Diffusion is PSPACE-complete., , , and . CoRR, (2019)Complexity of regular abstractions of one-counter languages., , , , , and . CoRR, (2016)Notes on Counting with Finite Machines.. FSTTCS, volume 29 of LIPIcs, page 339-350. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)O-Minimal Invariants for Discrete-Time Dynamical Systems., , , and . ACM Trans. Comput. Log., 23 (2): 9:1-9:20 (2022)Nonnegative Matrix Factorization Requires Irrationality., , , , and . SIAM J. Appl. Algebra Geom., 1 (1): 285-307 (2017)Shortest paths in one-counter systems., , , , and . CoRR, (2015)Globe-hopping., , , and . CoRR, (2020)Higher-Order Quantified Boolean Satisfiability., , , and . MFCS, volume 241 of LIPIcs, page 33:1-33:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Asymmetric Distances for Approximate Differential Privacy., , and . CONCUR, volume 140 of LIPIcs, page 10:1-10:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)