Author of the publication

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

On Supergraphs Satisfying CMSO Properties.. Log. Methods Comput. Sci., (2021)Synthesis and Analysis of Petri Nets from Causal Specifications.. CAV (2), volume 13372 of Lecture Notes in Computer Science, page 447-467. Springer, (2022)Causality in Bounded Petri Nets is MSO Definable.. WoLLIC, volume 9803 of Lecture Notes in Computer Science, page 200-214. Springer, (2016)On Weak Isomorphism of Rooted Vertex-Colored Graphs., and . WG, volume 11159 of Lecture Notes in Computer Science, page 266-278. Springer, (2018)Satisfiability via Smooth Pictures.. SAT, volume 9710 of Lecture Notes in Computer Science, page 13-28. Springer, (2016)Ground Reachability and Joinability in Linear Term Rewriting Systems are Fixed Parameter Tractable with Respect to Depth.. IPEC, volume 63 of LIPIcs, page 25:1-25:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)A Strongly-Uniform Slicewise Polynomial-Time Algorithm for the Embedded Planar Diameter Improvement Problem., , and . IPEC, volume 115 of LIPIcs, page 25:1-25:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Representations of Monotone Boolean Functions by Linear Programs., and . CCC, volume 79 of LIPIcs, page 3:1-3:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)On the Fine Grained Complexity of Finite Automata Non-emptiness of Intersection., and . DLT, volume 12086 of Lecture Notes in Computer Science, page 69-82. Springer, (2020)Symbolic Solutions for Symbolic Constraint Satisfaction Problems., and . KR, page 49-58. (2020)