Publications in collaboration with researchers from University of Münster (4)

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