Publikationen in Zusammenarbeit mit Forschern von Consejo Superior de Investigaciones Científicas (38)

2023

  1. A Rule-Based Approach for Designing and Composing Abstract Domains

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

  2. Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  3. Some Thoughts on How to Teach Prolog

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 107-123

  4. 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)

  5. Types, Modes and so Much More – The Prolog Way

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 23-37

2021

  1. Erratum: A general framework for static profiling of parametric resource usage (Theory and Practice of Logic Programming (2016) 16:5–6 (849–865) DOI: 10.1017/S1471068416000442)

    Theory and Practice of Logic Programming

  2. Regular path clauses and their application in solving loops

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  3. Testing Your (Static Analysis) Truths

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

  4. VeriFly: On-the-fly Assertion Checking via Incrementality

    Theory and Practice of Logic Programming, Vol. 21, Núm. 6, pp. 768-784

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. An Integrated Approach to Assertion-Based Random Testing in Prolog

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

  3. Computing Abstract Distances in Logic Programs

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

  4. Cost Analysis of Smart Contracts Via Parametric Resource Analysis

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

2019

  1. A General Methodology for Energy-efficient Scheduling in Multicore Environments Based on Evolutionary Algorithms

    Journal of Multiple-Valued Logic and Soft Computing, Vol. 32, Núm. 3-4, pp. 313-341

  2. Towards computing abstract distances in logic programs

    Electronic Proceedings in Theoretical Computer Science, EPTCS

2018

  1. Inferring energy bounds via static program analysis and evolutionary modeling of basic blocks

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

  2. Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption

    Theory and Practice of Logic Programming, Vol. 18, Núm. 2, pp. 167-223

  3. Towards static performance guarantees for programs with run-time checks

    OpenAccess Series in Informatics

2017

  1. An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors

    Logic Journal of the IGPL, Vol. 25, Núm. 6, pp. 1006-1019

  2. Preface

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