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

Lift & Project Systems Performing on the Partial Vertex Cover Polytope., and . FSTTCS, volume 29 of LIPIcs, page 199-211. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Model-based Engineering of Embedded Real-time Systems, , , , and . Lecture Notes in Computer Science Springer, Berlin, Heidelberg, New York, (2011)Branch-on-random., and . CGO, page 84-93. ACM, (2008)An Authentication IC with Visible Light Based Interrogation in 65nm CMOS., , , and . CICC, page 1-4. IEEE, (2020)VR Human Body Treatment Game 'BodyCureBot' Using Hand Tracking., , , and . HCI (38), volume 1581 of Communications in Computer and Information Science, page 39-45. Springer, (2022)Recent Advances, Applications, and Open Challenges in Machine Learning for Health: Reflections from Research Roundtables at ML4H 2023 Symposium., , , , , , , , , and 33 other author(s). CoRR, (2024)Simple Reference Immutability for System F-sub., and . CoRR, (2023)Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back., , , and . Proc. ACM Program. Lang., 6 (OOPSLA1): 1-30 (2022)A Low-Power Authentication IC for Visible-Light-Based Interrogation., , , , and . IEEE Trans. Ind. Electron., 69 (3): 3120-3130 (2022)Lift & project systems performing on the partial-vertex-cover polytope., , , , , and . Theor. Comput. Sci., (2020)