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

Confluence Modulo Equivalence in Constraint Handling Rules., and . LOPSTR, volume 8981 of Lecture Notes in Computer Science, page 41-58. Springer, (2014)Energy Consumption and Performance of Heapsort in Hardware and Software., , , , , , , and . CoRR, (2022)An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion., , and . VPT@ETAPS, volume 341 of EPTCS, page 33-41. (2021)Confluence and Convergence in Probabilistically Terminating Reduction Systems., and . LOPSTR, volume 10855 of Lecture Notes in Computer Science, page 164-179. Springer, (2017)Confluence and convergence modulo equivalence in probabilistically terminating reduction systems., and . Int. J. Approx. Reason., (2019)Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems., and . PPDP, page 9:1-9:14. ACM, (2020)An Approach to Estimating Energy Consumption of Web-based IT Systems., , and . CERCIRAS, volume 3145 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)On Proving Confluence Modulo Equivalence for Constraint Handling Rules., and . CoRR, (2016)Energy Complexity for Sorting Algorithms in Java., , , , and . CoRR, (2023)Towards Comparing Performance of Algorithms in Hardware and Software., and . CoRR, (2022)