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

Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation., , , , , , and . Proc. ACM Program. Lang., 4 (POPL): 20:1-20:31 (2020)Remote Control: A Simple Deadlock Avoidance Scheme for Modular System on Chip., , , , and . CoRR, (2019)Sensor Placement for 3-Coverage with Minimum Separation Requirements., , , and . DCOSS, volume 5067 of Lecture Notes in Computer Science, page 266-281. Springer, (2008)A Polynomial Kernel for Block Graph Deletion., and . IPEC, volume 43 of LIPIcs, page 270-281. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)An FPT Algorithm and a Polynomial Kernel for Linear Rankwidth-1 Vertex Deletion., , , and . IPEC, volume 43 of LIPIcs, page 138-150. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Autonomous business card exchange system using ZigBee interfaced to portable mobile phone., , and . ICWN, page 509-513. CSREA Press, (2008)Vertex Cover Problem Parameterized Above and Below Tight Bounds., , , and . Theory Comput. Syst., 48 (2): 402-410 (2011)Constructive algorithm for path-width of matroids., , and . CoRR, (2015)On Complexity of Minimum Leaf Out-branching Problem, , and . CoRR, (2008)A Probabilistic Approach to Problems Parameterized Above Tight Lower Bound, , , and . CoRR, (2009)