Publications in collaboration with researchers from Roskilde University (7)

2023

  1. Preface

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2021

  1. Regular path clauses and their application in solving loops

    Electronic Proceedings in Theoretical Computer Science, EPTCS

2020

  1. A General Framework for Static Cost Analysis of Parallel Logic Programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. From big-step to small-step semantics and back with interpreter specialisation

    Electronic Proceedings in Theoretical Computer Science, EPTCS

2016

  1. A transformational approach to parametric accumulated-cost static profiling

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Inferring parametric energy consumption functions at different software levels: ISA vs. LLVM IR

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)