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

A calculational fusion system HYLO., , , and . Algorithmic Languages and Calculi, volume 95 of IFIP Conference Proceedings, page 76-106. Chapman & Hall, (1997)Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels., and . CoRR, (2018)A programmable editor for developing structured documents based on bidirectional transformations., , and . PEPM, page 178-189. ACM, (2004)A library of constructive skeletons for sequential style of parallel programming., , , and . Infoscale, volume 152 of ACM International Conference Proceeding Series, page 13. ACM, (2006)Programmable View Update Strategies on Relations., , and . Proc. VLDB Endow., 13 (5): 726-739 (2020)Bidirectional Transformations for Self-Adaptive Systems., , , , and . Engineering Adaptive Software Systems, Springer, (2019)The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer., , , and . POPL, page 177-185. ACM, (2009)Automatic inversion generates divide-and-conquer parallel programs., , , , and . PLDI, page 146-155. ACM, (2007)A Lazy Desugaring System for Evaluating Programs with Sugars., , , and . FLOPS, volume 13215 of Lecture Notes in Computer Science, page 243-261. Springer, (2022)Supporting automatic model inconsistency fixing., , , , , and . ESEC/SIGSOFT FSE, page 315-324. ACM, (2009)