Publicaciones en colaboración con investigadores/as de University of Münster (8)

2024

  1. Preface

    Communications in Computer and Information Science

  2. Preface

    Communications in Computer and Information Science

  3. Preface

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

  4. Preface

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

2023

  1. Preface

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

  2. Preface

    Communications in Computer and Information Science

2015

  1. Checking Java assertions using automated test-case generation

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

2002

  1. Declarative debugging for encapsulated search

    Electronic Notes in Theoretical Computer Science