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

Deep learning-based synthetic-CT generation in radiotherapy and PET: a review., , , and . CoRR, (2021)Derivatives in Proton CT., , , , , , , , , and 42 other author(s). CoRR, (2022)Component J: A component-based programming language with dynamic reconfiguration., , and . Comput. Sci. Inf. Syst., 5 (2): 63-86 (2008)Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact)., , and . Dagstuhl Artifacts Ser., 9 (2): 20:1-20:3 (2023)Towards an augmented reality approach to build use-case diagrams., , , and . ER (Companion), volume 3618 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Derivations with Holes for Concept-Based Program Synthesis., , , , and . Onward!, page 63-79. ACM, (2022)Verification of Snapshot Isolation in Transactional Memory Java Programs., , , and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 640-664. Springer, (2012)Subtyping First-Class Polymorphic Components., and . ESOP, volume 3444 of Lecture Notes in Computer Science, page 342-356. Springer, (2005)Types for Dynamic Reconfiguration., and . ESOP, volume 3924 of Lecture Notes in Computer Science, page 214-229. Springer, (2006)Concurrent typed intermediate language., , and . SAC, page 1587-1588. ACM, (2013)