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

2023

  1. Preface

    Communications in Computer and Information Science

  2. Preface

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

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