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 Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)., , , and . PEPM, page 16-38. ACM, (2024)Generation of Test Data Structures Using Constraint Logic Programming., and . TAP@TOOLS, volume 7305 of Lecture Notes in Computer Science, page 115-131. Springer, (2012)Towards Benchmarking of Solidity Verification Tools., , , , and . FMBC@CAV, volume 118 of OASIcs, page 6:1-6:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Contextual Specialization of Constraint Logic Programs., and . APPIA-GULP-PRODE, page 455-470. (1999)Evaluating the Aspect-Category-Opinion-Sentiment Analysis Task on a Custom Dataset (short paper)., and . NL4AI@AI*IA, volume 3551 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Solving Horn Clauses on Inductive Data Types Without Induction - ERRATUM., , , and . Theory Pract. Log. Program., 19 (4): 629 (2019)Verification of Programs by Combining Iterated Specialization with Interpolation., , , and . HCVS, volume 169 of EPTCS, page 3-18. (2014)A Specification for Security Services on Computational Grids., , , and . GSEM, volume 3270 of Lecture Notes in Computer Science, page 119-135. Springer, (2004)Visualizing CHC Verification Conditions for Smart Contracts Auditing., , and . CILC, volume 3733 of CEUR Workshop Proceedings, CEUR-WS.org, (2024)Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)., and . CoRR, (2017)