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

Lifting On-Demand Analysis to Higher-Order Languages., , , , , , , and . SAS, volume 14284 of Lecture Notes in Computer Science, page 460-484. Springer, (2023)A Racket-Based Robot to Teach First-Year Computer Science., , , , , , , , and . ELS, page 54-62. ELSAA, (2014)Teaching Functional Patterns through Robotic Applications., , , , and . TFPIE, volume 230 of EPTCS, page 17-29. (2016)A Proof-Theoretic Trust and Reputation Model for VANET., , , and . EuroS&P Workshops, page 146-152. IEEE, (2017)Building Call Graph of WebAssembly Programs via Abstract Semantics., , and . CoRR, (2024)Differential cost analysis with simultaneous potentials and anti-potentials., , , and . PLDI, page 442-457. ACM, (2022)Implementing a Digital Twin for a Robotic Platform to Support Large-Scale Coding Classes., , and . ICPEC, volume 122 of OASIcs, page 15:1-15:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Architecture as Code., , , , and . ICSA, page 187-198. IEEE, (2025)Automatic Annotation of Confidential Data in Java Code., , , and . FPS, volume 13291 of Lecture Notes in Computer Science, page 146-161. Springer, (2021)Symbolic Model Checking for One-Resource RB+-ATL., , , and . IJCAI, page 1069-1075. AAAI Press, (2015)